运用赋值相异生成高效率测试图形

• 作者: 梁峰 雷绍充
• 来源期刊: 西安交通大学学报
• 关键词: 赋值相异 测试生成 敏化路径 湮没
• 年，卷（期）: 2007,（2）
• 所属期刊栏目: 专题研究
• 页码范围: 195-199
• 页数: 5页
• 分类号: TN407|TP391.7
• 语种: 中文
• DOI: 10.3321/j.issn:0253-987X.2007.02.015

摘要

针对传统算法中赋值相异导致测试生成失败的问题,提出新的解决思路,利用赋值相异信息确认故障效应传播路径,以确保每次测试生成成功.与传统方法不同的是,新方法通过对故障传播函数的分析,总结出支配故障传播的规律,即故障传播不仅仅受线确认条件约束,还受敏化路径的拓扑结构的约束,线确认和蕴涵所导致的赋值相异有助于建立敏化正确的故障传播路径.进而提出自湮没和它湮没的概念和分析方法,并发展为运用赋值相异信息来确认故障效应传播路径的方法.新方法可生成精简的、故障覆盖率高的测试图形,并尽可能多地检测多重故障.基于ISCAS85 Benchmark的实验结果表明,新方法的测试数据长度和故障覆盖率均优于Synopsys Tetramax等现有方法.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	梁峰	西安交通大学电子与信息工程学院	42	263	9.0	15.0
2	雷绍充	西安交通大学电子与信息工程学院	17	53	5.0	7.0