Abstract:

It is valuable to make the debugging automated and locate the fault in case of software failure.The method of software fault localization based on searching in divided Execution Trace Spectra（ETS） is presented.By successfully introducing the idea of divide and conquer，the method divides a whole ETS into two segments according to the number of predicates and searches dividedly to decrease the code under suspicion.At the same time，a new function of suspiciousness is presented.By using it we can analyze synthetically and locate the fault finally.This method consumes less time，can be applied to many areas and reduces code scope of searching for fault localization dramatically.It is proved efficiently by experiment.

摘要： 软件失效发生后，如何自动调试程序和定位引发失效的软件故障是一个非常有价值的研究课题。提出了一个基于执行轨迹谱（ETS）分段检测的软件故障定位方法。该方法在已有基于ETS的故障定位方法的基础上引入分治策略，按照谓词分段的方法，把ETS逐步分段检测，从而逐步排除无故障的代码。此外，还提出一种新的故障可疑度函数，在故障检测的最后阶段进行综合分析，可最终有效定位故障。该方法耗时少，应用范围广，能快速缩减故障定位中代码审查的范围，经实验验证，是一种行之有效的软件故障定位方法。