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

Analysis of Program's First-error-behavior Induced by ODC Software Defects

作　　者：张作昌[1] 朱丽娜[1,2] 

机构地区：[1]广西财经学院,南宁530003 [2]上海交通大学电子信息与电气工程学院,上海200240

出　　处：《小型微型计算机系统》2017年第3期509-514,共6页Journal of Chinese Computer Systems

基　　金：国家自然科学基金项目(61562004)资助;广西自然科学基金项目(2013GXNSFBA019274)资助;广西财经学院管理科学与工程学院学科建设课题项目(GK2015002)资助;广西重点学科"管理科学与工程"建设经费资助.

摘　　要：有效地检测、定位和屏蔽软件错误可以提高程序的容错能力,从而提升程序的可靠性.为缩短程序中错误传播路径,尽早发现程序错误,提出一种程序首错误特征的分析方法.提出一种细粒度基本块的程序状态提取方法(FGBB),以充分反映程序的控制流特征及运行时中间计算特征;提出一种获取并量化首错误特征的方法;以Mi Bench基准程序为研究对象,采用故障注入的方法,获取了大量与首错误相关的统计数据.实验表明,程序的首错误特征与程序固有的功能特征和结构特征有关,并且由首错误引发的程序失效概率普遍偏高,这意味着针对程序首错误的正确检测和修复可以有效提高程序的容错能力.By effectively detecting,locating and masking software error,program＇s ability of fault tolerance gets improved,as well as the reliability. A characterization method of program＇s In＇st-error is proposed,in order to shorten the error propagation path. A method of program states capturing-which is Fine Granularity Basic Block, FGBB-is presented. It shows the control flow and inter-computing features during program execution. Then, a quantitative approach to characterize the first-error behaviors is presented. Fault injection experiments by using MiBench benchmarks are applied,in order to obtain statistical data. The experimental results show that, first-errors have effects with program＇s functional and structural features. Moreover, the probability of failures induced by first-errors is usually high,which demonstrates that the ability of fault tolerance can be improved by appropriate detection and recovery mechanism to software faults and errors.

关 键 词：软件故障 首错误 控制流 软件失效 故障传播 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]