基于SAT的多目标故障测试向量动态压缩方法

• 作者: 刘波峰 张诗芳 朱志杰
• 来源期刊: 计算机应用研究
• 关键词: 布尔满足性求解器 多目标故障 动态压缩算法 最大故障列表
• 年，卷（期）: 2013,（9）
• 所属期刊栏目: 算法研究探讨
• 页码范围: 2681-2683
• 页数: 3页
• 分类号: TP301
• 语种: 中文
• DOI: 10.3969/j.issn.1001-3695.2013.09.030

摘要

针对传统的自动测试图形向量生成采用逐个求解单一故障模型导致生成测试向量数据量巨大的缺点,提出一种基于布尔满足性(boolean satisfiability,SAT)的多目标故障测试向量动态压缩方法,同时论证多目标故障测试生成问题为布尔满足性问题.该方法将具有鲁棒性的SAT算法嵌入经典的动态压缩流程中,首先利用经典动态压缩算法求解最小测试向量检测大部分失效故障,然后采用SAT求解器对未测出的多故障电路进行同一求解和附加约束求解方式,最终得到故障覆盖率高的测试向量和同一测试最大故障列表.实验数据表明,在相同电路模型情况下,此方法求得的测试向量相比经典动态压缩减少高达70％.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	刘波峰	湖南大学电气与信息工程学院	53	259	8.0	10.0
2	朱志杰	湖南大学电气与信息工程学院	23	218	9.0	14.0
3	张诗芳	湖南大学电气与信息工程学院	2	10	1.0	2.0