基于布尔逻辑的测试选择算法

• 作者: 刘冠军 杨鹏 沈亲沐 邱静
• 来源期刊: 测试技术学报
• 学科: 工学
• 关键词: 测试性设计 测试选择 布尔逻辑 故障检测 故障隔离
• 年，卷（期）: 2007,（5）
• 所属期刊栏目: 测试技术与理论研究
• 页码范围: 386-390
• 页数: 5页
• 分类号: TP391
• 字数: 3577字
• 语种: 中文
• DOI: 10.3969/j.issn.1671-7449.2007.05.003

摘要

提出了一种基于布尔逻辑运算的测试选择新方法.首先建立布尔关联矩阵来描述系统中故障与测试的相关关系;然后依据关联矩阵,分别定义描述故障检测用测试集和故障隔离用测试集的布尔逻辑函数;再根据布尔运算定律对逻辑函数进行展开和化简处理,并根据计算结果得到最优测试集.通过案例验证了该方法的正确性,并指出了该方法的优势及其在计算复杂性方面存在的不足.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	杨鹏	国防科技大学机电工程与自动化学院	28	237	9.0	15.0
2	邱静	国防科技大学机电工程与自动化学院	115	1406	22.0	30.0
3	刘冠军	国防科技大学机电工程与自动化学院	88	860	18.0	23.0
4	沈亲沐	国防科技大学机电工程与自动化学院	2	29	2.0	2.0