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

摘要：

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

关键词：测试性设计、测试选择、布尔逻辑、故障检测、故障隔离

所属期刊栏目：21

分类号：TP391(计算技术、计算机技术)

在线出版日期：2007-11-26（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：386-390