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

来源 :西安交通大学学报 | 被引量 : 0次 | 上传用户:ganggang821010
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
针对传统算法中赋值相异导致测试生成失败的问题,提出新的解决思路,利用赋值相异信息确认故障效应传播路径,以确保每次测试生成成功.与传统方法不同的是,新方法通过对故障传播函数的分析,总结出支配故障传播的规律,即故障传播不仅仅受线确认条件约束,还受敏化路径的拓扑结构的约束,线确认和蕴涵所导致的赋值相异有助于建立敏化正确的故障传播路径.进而提出自湮没和它湮没的概念和分析方法,并发展为运用赋值相异信息来确认故障效应传播路径的方法.新方法可生成精简的、故障覆盖率高的测试图形,并尽可能多地检测多重故障.基于ISCAS8
其他文献
“世界末日。”趴在桌上.脑子里就只剩下这一个想法。思绪像一团乱麻,不知道还能做什么。盯着课本,手里的笔只是在无意识地转动,一点学习的欲望都没有。抬起头,扫了一眼教室,黑压压
看到这样一则故事,有几个画家跟评论家开了一个玩笑,他们将清洁工打扫好的墙用照相机拍了下来,并选出一张放大,再用画框张裱起来,最后按上画名与作者称号交给评论家,评论家们见到画家的“新作”后,感觉独特,前卫且不易懂,于是召开了专门研讨会对作品大发评论。结果,各种流派、风格都相应而生,犹如一幅巨作的诞生。可是不久,画家们把他们的创作过程说了出来,并把评画过程与结果公布,于是一片哗然,评论家们也瞠目结舌。
偶尔情绪低落到只要闲下来发呆,眼泪就会想要掉下来。我想过很多次,却始终不明白究竟是什么足够我难过成这样。小千说,这个世界越来越喜欢贩卖悲伤了。我这几天不断地想起"梦
翻转机构是液压翻转犁的重要组成部分,通过对新型ILF-435A型翻转犁基本原理的介绍,进行了翻转过程中3个阶段的翻转机构运动分析,总结出与其他翻转机构技术对比的优越性。
水稻的收成高低,谷粒的数量和胖瘦是关键;而找到促使谷粒数增多的基因,让水稻增产就可能如同探囊取物。中国农科院中国水稻研究所研究员钱前等人带领的科研团队与中国科学院遗传
本文对渐开线点啮合齿轮减速器进行了性能试验、接触疲劳强度和弯曲疲劳强度试验,同时还进行了铁谱分析。共运转了426h。试验证明了该齿轮跑合性能好,其接触疲劳强度比渐开线
孩子,就算吃酱油拌饭,也要铺上干净的餐巾,优雅地坐着,把简陋的生活过得很讲究。风度与境遇无关。  孩子,去远方的时候,除了相机,记得带上纸笔。风景是相同的,但看风景的心情千差万别、永不重复。  孩子,小的时候要有见识,长大的时候要有经历,你才会有一个精致的人生!读别人的经验,长自己的经历。  孩子,无论什么时候,都要做一个善良的人。帮助那些需要帮助的人,这样上天才会恩宠你。拥有善良,会让你成为最受
用尺规作边数为3^2×2^n(n=0,1,...)的任意精度的正多边形,关键要找到5×2^k(k为整数和零)度中任意一角余弦的有理数的有限次平方根表达式,且与泰勒展开式等效,而当N属于
我国是一个历史悠久的农业国,农学著述渊远流长,农学专家人才辈出,有关农业技术与装备、农业种植、农业养殖方面的诗文亦散见于历代名家典籍之中。为弘扬民族传统文化精髓,传
2012年10月16日,纪录片《鸟之殇,千年鸟道上的大屠杀》在网上引起关注,不到一天,该片在优酷网上的点击量就超过了15万。