基于距离软件故障分析方法.docVIP

基于距离软件故障分析方法 　　摘 要：鉴于多故障之间的干扰，提出一种基于距离的软件故障分析方法，这种方法首先计算测试轨迹之间的欧式距离，然后选取距离最大的两个失效测试，基于不同的失效测试进行故障分析以提高故障定位效率，文章通过一个两故障程序实例说明了这种方法的有效性。 　　关键词：软件；距离；故障 　　软件在开发和维护过程中不可避免地会引入故障，为了分析定位这些故障，软件人员经常需要花费大量的时间和费用。因此，软件研究者们一直在寻找高效的故障分析定位方法，其中最常见的分析定位方法是基于程序覆盖的方法，如Tarantula方法[1]、程序切片方法[2]等。其基本原理是通过的失效测试越多、成功测试越少的程序元素，出现故障的可能性越大。然而在实际的程序中，程序故障通常非单一故障，基于前述基本原理进行故障分析的有效性降低。本文提出的基于距离的软件故障分析方法致力于在一定程度上分解多故障，从而提高故障分析的有效性。 　　1 多故障实例 　　文中基于一个简单的两故障实例来说明本文方法的有效性，实例如图1所示。 　　图1是一个简单的两故障程序片段，程序功能是如果a和b中最小值大于等于0输出1，小于0输出?1。其中，语句4和10是故障语句。不失一般性，我们考虑所有分支所有可能的输出结果，设输入（a，b）的值依次为（10，2），（10，-2），（-2，-10），（2，10），（2，-1