摘要
软件出现失效后,如何根据软件运行时的输入以及运行行为来快速定位引发失效的故障是一个非常有价值的研究问题.提出了故障定位的锥状框架,并基于其将故障定位问题表示为一个分层细化的过程.在软件输入层,利用程序行为累积分析技术对软件的行为进行建模分析,得到了统计故障定位模型,从而解决了软件输入层的故障定位问题.为了检验故障定位模型的效果,选择了5个软件进行实验,对其中4个设计并植入故障,另外1个为真实软件,实验获得了平均0.803的定准率和平均0.697的定全率.在此基础上,如何应用程序行为累积分析技术在软件设计模块层解决故障定位问题得到了进一步的分析.
It is an interesting and noteworthy issue to locate rapidly and effectively the fault according to the input and the program behavior in case of software failure. A drill-down framework for fault localization was proposed, based on which the fault localization problem was expressed in a step-by-step procedure with multi-hierarchy. Proposed and analyzed is a novel scheme of fault-locating method on input level using aggregate analysis of the program behavior. Statistical model of the fault-locating approach on input level was established and the corresponding solution were presented and discussed. To validate the proposal, an experiment was conducted, involving 5 software, 4 of which are injected with faults deliberately and the rest one is actual software in use. The results show that an average precision of 0. 803 and an average recall of 0. 697 are obtained. Finally, the application of aggregate analysis of the program behavior into the fault-locating method on module level was discussed.
出处
《北京航空航天大学学报》
EI
CAS
CSCD
北大核心
2006年第5期607-611,共5页
Journal of Beijing University of Aeronautics and Astronautics
基金
国家自然科学基金资助项目(60373016)