由正交缺陷分类故障引发的程序首错误特征分析
有效地检测、定位和屏蔽软件错误可以提高程序的容错能力,从而提升程序的可靠性.为缩短程序中错误传播路径,尽早发现程序错误,提出一种程序首错误特征的分析方法.提出一种细粒度基本块的程序状态提取方法(FGBB),以充分反映程序的控制流特征及运行时中间计算特征;提出一种获取并量化首错误特征的方法;以MiBench基准程序为研究对象,采用故障注入的方法,获取了大量与首错误相关的统计数据.实验表明,程序的首错误特征与程序固有的功能特征和结构特征有关,并且由首错误引发的程序失效概率普遍偏高,这意味着针对程序首错误的正确检测和修复可以有效提高程序的容错能力.
软件故障、首错误、控制流、软件失效、故障传播
38
TP311(计算技术、计算机技术)
国家自然科学基金项目61562004;广西自然科学基金项目2013GXNSFBA019274;广西财经学院管理科学与工程学院学科建设课题项目GK2015002;广西重点学科"管理科学与工程"建设经费资助
2017-08-22(万方平台首次上网日期,不代表论文的发表时间)
共6页
509-514