解析失效状态传播的软件故障定位方法

书籍简介:

本书围绕“存在部分成功测试用例的情况下，有效地报告缺陷位置，为开发人员理解和修复缺陷提供充分的信息。”这一目标，研究测试用例优选方法和基于程序不变量的故障定位方法。主要研究内容分为以下三个部分。（1）为了“最大化地利用测试信息，选择适合于故障定位的测试用例集合”，提出了面向有效故障定位的测试用例优选方法。首先，提出“失效覆盖向量相似度优先排序”准则，将执行路径与失效执行路径相似的成功测试用例赋予较高的优先级；然后提出“失效覆盖等价划分优化选择”准则，选择能够最大区分失效执行语句的成功测试用例子集合；在此基础上，建立测试用例优选模型。实验结果表明，在约简率和故障定位有效性两个指标方面，本方法均优于已有基于语句和基于向量的测试用例约简方法。（2）针对已有方法对不变量定义不完善导致可定位的缺陷种类有限、因缺少对测试用例的影响分析导致不变量违背检测的漏检等问题，提出了基于程序不变量分析多种缺陷类型的故障定位方法。首先，在浮点型范围不变量的基础上，扩展了集合型不变量和真值表型不变量，还识别了仅被失效覆盖的语句和永真/永假条件谓词这两类难于用不变量违背定位的可疑语句。然后，将测试用例优选与程序不变量故障定位相结合，以降低不变量违背检测漏检。实验结果表明，与已有基于程序不变量的故障定位方法相比，本方法可以有效定位更多种类的缺陷。（3）针对已有方法缺少对失效状态传播的分析，导致不变量违背检测的漏检和误检，难于准确定位到失效的产生根源等问题，提出了基于程序不变量解析失效状态传播的故障定位方法。一方面，利用变量到达定值分析，定位常量赋值缺陷，降低漏检。另一方面，利用依赖分析过滤掉因失效状态传播导致的不变量违背检测误检。实验结果表明，本方法能有效降低不变量故障定位的误检和漏检，且与程序谱方法相比更有效。

书籍规格:

书籍信息归属:

解析失效状态传播的软件故障定位方法是中国纺织出版社有限公司于2020.7出版的中图分类号为 TP311.53 的主题关于 软件故障－研究 的书籍。