收藏本站
收藏 | 投稿 | 手机打开
二维码
手机客户端打开本文

由正交缺陷分类故障引发的程序首错误特征分析

张作昌  朱丽娜  
【摘要】:有效地检测、定位和屏蔽软件错误可以提高程序的容错能力,从而提升程序的可靠性.为缩短程序中错误传播路径,尽早发现程序错误,提出一种程序首错误特征的分析方法.提出一种细粒度基本块的程序状态提取方法(FGBB),以充分反映程序的控制流特征及运行时中间计算特征;提出一种获取并量化首错误特征的方法;以Mi Bench基准程序为研究对象,采用故障注入的方法,获取了大量与首错误相关的统计数据.实验表明,程序的首错误特征与程序固有的功能特征和结构特征有关,并且由首错误引发的程序失效概率普遍偏高,这意味着针对程序首错误的正确检测和修复可以有效提高程序的容错能力.

知网文化
【相似文献】
中国期刊全文数据库 前20条
1 马国强,张净;管理控制流的三种途径[J];微型电脑应用;1996年04期
2 马国强,张净;管理控制流的三种途径[J];微电脑世界;1996年08期
3 薛永岭;黄皓;张博;;基于函数签名的控制流监控方法[J];计算机工程;2009年09期
4 王峰;郭长国;齐璇;施寅生;;常用的基于控制流的测试充分性准则[J];计算机工程与科学;2009年10期
5 夏耐;郭明松;茅兵;谢立;;基于简化控制流监控的程序入侵检测[J];电子学报;2007年02期
6 李爱国;洪炳熔;王司;;一种软件实现的程序控制流错误检测方法[J];宇航学报;2006年06期
7 谢巍,刘明业;控制流综合中省略状态化简的可行性[J];计算机辅助设计与图形学学报;2001年08期
8 陈桂林,黄波,臧斌宇,朱传琪;非局部跳转控制流的自动消除[J];计算机学报;2000年06期
9 陈月惠,曹军,李华,石立新,李文;基于控制流的协议一致性关系测试方法的评述[J];内蒙古大学学报(自然科学版);1997年02期
10 潘剑锋;刘守群;奚宏生;谭小彬;;一种利用动态控制流路径分析的隐藏恶意代码异常检测方法[J];中国科学院研究生院学报;2010年01期
11 孙强;樊持杰;司巧梅;;面向控制流密集型电路的高层次低功耗方法[J];计算机应用研究;2010年08期
12 吴建国;刘明业;;控制流综合子系统的研究与设计[J];安徽大学学报(自然科学版);1997年03期
13 黄琳;一个新的断言语言ALC及其实现[J];计算机应用与软件;1989年02期
14 江胜;卢炎生;;基于非结构化控制流的进化测试方法[J];计算机科学;2009年08期
15 张晓清;潘清;龚波;;基于控制流与数据流分离机制的网络服务方法[J];软件;2014年03期
16 魏仰苏;孟兆航;舒挺;;数据流控制流相叠加的可执行测试序列生成研究[J];计算机工程与应用;2007年10期
17 李剑明;谭庆平;徐建军;蒋诚;;基于路径跟踪的控制流检测[J];计算机工程;2009年20期
18 彭宇,洪炳熔;一种控制流错误检测方法的实现[J];计算机应用研究;1999年08期
19 孙喁喁;;基于随机数的复杂控制流程序迷惑设计[J];电子设计工程;2012年18期
20 李伟刚;;面向执行的工作流控制流建模技术研究[J];计算机工程与应用;2008年03期
中国重要会议论文全文数据库 前2条
1 朱伟;徐拾义;;软件控制流故障诊断的研究[A];第四届中国测试学术会议论文集[C];2006年
2 郭雄辉;赵保华;周颢;屈玉贵;;基于构造类别代数的数据流和控制流相结合的协议测试[A];2003年通信软件技术学术年会论文集[C];2003年
中国博士学位论文全文数据库 前1条
1 朱建峰;可重构处理器的控制流性能优化和可调双电压技术研究[D];清华大学;2014年
中国硕士学位论文全文数据库 前5条
1 韩伟伦;BPMN控制流可配置建模技术的研究[D];北京交通大学;2016年
2 贾勇哲;通过使用基于控制流的切入点来减少重复的通知的研究[D];天津大学;2014年
3 赵飞;BSS系统控制流通信协议的研究与实现[D];合肥工业大学;2006年
4 韩浩;ROP攻击及其变种的检测技术[D];南京大学;2011年
5 黄志军;针对ROP攻击的程序安全性检测与防御技术的研究[D];南京大学;2013年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978