期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
1
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
运用赋值相异生成高效率测试图形
1
作者
雷绍充
梁峰
《西安交通大学学报》
EI
CAS
CSCD
北大核心
2007年第2期195-199,共5页
针对传统算法中赋值相异导致测试生成失败的问题,提出新的解决思路,利用赋值相异信息确认故障效应传播路径,以确保每次测试生成成功.与传统方法不同的是,新方法通过对故障传播函数的分析,总结出支配故障传播的规律,即故障传播不仅仅受...
针对传统算法中赋值相异导致测试生成失败的问题,提出新的解决思路,利用赋值相异信息确认故障效应传播路径,以确保每次测试生成成功.与传统方法不同的是,新方法通过对故障传播函数的分析,总结出支配故障传播的规律,即故障传播不仅仅受线确认条件约束,还受敏化路径的拓扑结构的约束,线确认和蕴涵所导致的赋值相异有助于建立敏化正确的故障传播路径.进而提出自湮没和它湮没的概念和分析方法,并发展为运用赋值相异信息来确认故障效应传播路径的方法.新方法可生成精简的、故障覆盖率高的测试图形,并尽可能多地检测多重故障.基于ISCAS85Benchmark的实验结果表明,新方法的测试数据长度和故障覆盖率均优于Synopsys Tetramax等现有方法.
展开更多
关键词
赋值相异
测试生成
敏化路径
湮没
在线阅读
下载PDF
职称材料
题名
运用赋值相异生成高效率测试图形
1
作者
雷绍充
梁峰
机构
西安交通大学电子与信息工程学院
出处
《西安交通大学学报》
EI
CAS
CSCD
北大核心
2007年第2期195-199,共5页
文摘
针对传统算法中赋值相异导致测试生成失败的问题,提出新的解决思路,利用赋值相异信息确认故障效应传播路径,以确保每次测试生成成功.与传统方法不同的是,新方法通过对故障传播函数的分析,总结出支配故障传播的规律,即故障传播不仅仅受线确认条件约束,还受敏化路径的拓扑结构的约束,线确认和蕴涵所导致的赋值相异有助于建立敏化正确的故障传播路径.进而提出自湮没和它湮没的概念和分析方法,并发展为运用赋值相异信息来确认故障效应传播路径的方法.新方法可生成精简的、故障覆盖率高的测试图形,并尽可能多地检测多重故障.基于ISCAS85Benchmark的实验结果表明,新方法的测试数据长度和故障覆盖率均优于Synopsys Tetramax等现有方法.
关键词
赋值相异
测试生成
敏化路径
湮没
Keywords
assignment inconsistence
test generation
sensitized path
masking
分类号
TN407 [电子电信—微电子学与固体电子学]
TP391.7 [自动化与计算机技术—计算机应用技术]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
运用赋值相异生成高效率测试图形
雷绍充
梁峰
《西安交通大学学报》
EI
CAS
CSCD
北大核心
2007
0
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
