信息流模型在电子设备最优测试分析中的应用

算、 非对称 测试 和 模 糊 推理 等 问题 。 因而 ， 息 流 信
模 型的应用更 加广 泛 ， 别是对 大 型复杂 系统 进行 特 测试性 分析 具有 更 加 广 阔 的前 景 。本 文 以某 型搜 潜 电子设 备为 例 ， 探讨 了如何 应用 该模 型 对 系统 测
测试 集没有发现故 障的情 况 ， 为无故障结论 。 称 ｊ
ｓｓ ｈ ｕ ｌ ｉ ｇ ｍｅｈ ｄ ｏ ｎ ｏ ｍａ ｉｎ ｆ ｗ ｄ ｌ ｓ ｉ ｔｏ ｕ ｅ ，ａ ｄ ｉ ｓ ｒ ｅ ｅ ｔ ｉ ｏ ｅｇ ｖｏ ｉｓ ａ ｈ ｘ ｍ ｐ ｅ ｉ ，ｔ ｅ ｂ ｉ ｎ ｔ ｏ ｆｉ ｆ ｒ ｔ ｌ ｍｏ ｅ ｗａ ｎ ｒ ｄ ｃ ｄ ｎ ｔ ｅ ｖ ｓ ａ ｃ ｒ ａｎ ｆ ｒ ｉ ｎ ａ ｉｎ ｃ ｓ ｔ ｅ ｅ ａ ｌ ， ｄ ｏ ｏ
中 图分 类 号
Ａｐ ｌｃ ｔｏ ｆＩ ｏ ｍ ａ ｉｎ Ｆｌ ｗ ｏ ｅ ｎ ｔ ｅ Ｍ ｏ ｔＯｐｔｍ ｉ ｅ ｐ ｉａ ｉｎ ｏ ｎｆ ｒ ｔｏ ｏ Ｍ ｄ ｌｉ ｈ ｓ ｉ ｚｄ
Ｔｅ ｔＡｎａ ｙ ｉ ａ ｎｓ ｉ ｎｉ ｓ ｓ ｌ ｓ ｓ Ａｇ ｉ ｔＡｖ ｏ ｃ
Ａｂ ｔ ａ ｔ Ｔｈ ｎ ｏ ｍａ ｉ ｎ ｆｏ ｍｏ ｅ ｓｏ ｅ ｏ ｈ ｓ ｐ ｒａ ｔｍｅ ｈ ｄ Ｏ ａ ａ ｙ ｅ ｓ ｓ ｅ ｔ ｓａ ｉ ｔ ．Ｉ ｈ ｈ — ｓ ｒｃ ｅ ｉｆ ｒ ｔ ｌ ｗ ｄ ｌｉ ｎ ｆｔ ｅ ｍｏ ｔ ｉ ｏ ｔ ｎ ｔ ｏ ｓ ｔ ｎ ｌ ｓ ｙ ｔｍ ｅ ｔ ｂ ｌ ｙ ｎ ｔ ｅ ｔ ｅ ｏ ｍ ｉ
２４０） ６ ０ １ （ 军航空工程学院 海 烟台
摘
要
信息流模型是对系统进行 测试性分析的重要方法之一 ， 介绍 了信息 流模 型的建模方法 ， 以国外某 型搜潜 电 并
信 息 流 模 型 ； 试 性 ； 优 测 试 测 最
Ｔ ２ Ｐ９
子 设 备 为 例 ， 细 探 讨 了 如何 应 用 该 模 型 对 系 统 测试 进 行 最 优 化 选 择 ， 信 息 流 模 型 的 研 究有 着重 要 的现 实 意 义 。 详 对 关键词
Ｋ ｙ Ｗ ｏ ｄ ｉ ｆ ｒ ｔ ｎ ｆ ｗ ｄ ｌ ｅ ｔ ｂ ｌ ｙ，ｍｏ ｔｏ ｔ ｚ ｄ ｔ ｓ ｅ ｒ ｓ ｎ ｏ ｍａ ｉ ｌ ｍｏ ｅ ，ｔ ｓａ ｉ ｔ ｏ ｏ ｉ ｓ ｐ ｉ ｅ ｅ ｔ ｍｉ
Ｃｌ ｓ Ｎｕ ｂｅｒ Ｔ Ｐ２９ ａｓ ｍ
１ 引言
Ｓｏ ｎｇ Ｚｈｅｎ Ｄ ｉ ｏｎ ｅｎ Ｌｉ ｈ ｙｕ ｎｇ Ｙ ｇｐ ｇ ｕＺ ｅ
（ ｖ ｌ ｒ ｎ ｕ ｉ ｌ ｎ ｔ ｏ ａ ｔｃ ｌＵｎ ｖ ｒ ｉｙ Ｎａ ａ Ａｅ ｏ ａ ｔ ａ ｄ Ａｓ ｒ ｎ ｕ ｉ ｉｅ ｓ ｔ ，Ｙａ ｔ ｉ ２ ４ ０ ） ｃ ａ ａ ｎ ａ ６ ０ １
系统建模 是 对 系统 进 行 测试 性 分 析 的 基 本方 法之一 。 目前 ， 在系统 建模 方面 主要 有关联 模 型 和
结论 。测试指任何 可以用 来确定 系统运行 状态 的信 息 源 ， 障隔离结论指系统 内可 能的故 障源 。此外 ， 故
模 型还包括 另外三个特别 的基本要 素 ： 可测 输入 、 不
＊
收 稿 日期 ：０ ０年 ５月 ３日， 回 日期 ：０ ０年 ６月 ２日 ２１ 修 ２１
作 者 简 介 ： 振 宇 ， ， 教授 ， 士生 导 师 ， 究 方 向 ： 子 装 备 综 合 自动 检 测 等 。丁 勇 鹏 ， ， 士 研 究 生 ， 究 方 宋 男 副 硕 研 电 男 硕 研 向： 电子 测 试 及 综 合 保 障 等 。刘 晶 ， ， 士研 究 生 ， 究 方 向 ： 子装 备测 试 等 。 男 硕 研 电
ｄ ｔ ｉ ｄ ｙ ｄ ｓ ｕ ｓ ｓ ｈ ｗ ｏ ａ ｐ ｙ ｔ ｉ ｍｏ ｅ ｔ ｈ ｙ ｔ ｍ ｅ ｔ ａ ａ ｙ ｉ． Ｔｈ ｓ ｔ ｅ ｉ ａ ｍｐ ｒ ａ ｔ ｒ ａ ａ ｉ ｇ ｔ ｈ ｅ ａｌ ｌ ｉｃ ｓ ｅ ｏ ｔ ｐ ｌ ｈ ｓ ｅ ｄ ｌ Ｏ ｔ ｅ ｓ ｓ ｅ ｔ ｓ ｎ ｌ ｓｓ ｉ ｈ ｓｓ ｈ ｓ ｉ ｏ ｔ ｎ ｅ ｌｍｅ ｎ ｎ Ｏ ｔ ｅ ｒ ａ ｅ ｒ ｈ ｏ ｎ ｏ ｍａ ｉ ｎ ｆ ｗ ｄ １ ｅ ｓ ａ ｃ ｆｉ ｆ ｒ ｔ ｌ ｏ ｏ ｍｏ ｅ ．
模 型要素 之 间 的推 理 关 系包 括 测 试 与测 试 之
间以及测试 与结 论 之 间 的 推理 关 系 。 由于测 试 与
诊 断中 的分 析是一 种 面向失效 型 的分 析 ， 因此我 们
需要 知道每 个测试 的失效 原 因 ， 即模 型 中哪些 测 试 和结论 的失效 会导 致该测试 失 效 。对 测 试 ， 如果 测 试 和结论 ｒ 的失效 会导致 测试 ｔ 的失效 ， ｔ 即 。
可测输入和无 故障结论 。可测输 入是 一个 可以使用 测试来验证 其正 确 与否 的外 部激 励 ， 果一 个输 入 如
无法验证其 是 否正 确 ， 叫做 不 可测输 入 。对应 于 就
信息流模 型 ， 种模 型的不 同之处 在 于信息 流模 型 两
在关联模 型 的基 础上进 一步考 虑 了多 失效 、 分组 运
试进行最 优化选 择 ， 对信息 流模 型 的研究 有着 重 这
要 的现 实意 义。
２ 信 息 流模 型 的建 立
２ １ 模 型基本 要素及 其推理 关 系 ．
或 ｆ ￡， 我们 称 ｆ 观察 ｔ ｆ 或者称 ｆ 和 Ｃ 人 和 ， 。 流
信息流模型有 两 个基 本要 素 ： 测试 和 故 障隔 离
总第 １５ ９ 期
舰 船 电 子 工 程
Ｓ ｉ ｅ ｔｏ ｉ Ｅｎ ｉ ｅ ｒ ｇ ｈ ｐ Ｅｌｃ Ｎｏ ９ ｌ３ ．
ｌ２ ７
２１ ０ ０年第 ９ 期
信 息 流 模 型 在 电 子 设 备 最 优 测 试 分 析 中 的应 用
宋振字 丁 勇鹏 刘 酷