[发明专利]一种基于程序不变量的软件故障定位方法及装置

摘要

本发明公开了一种程序不变量的软件故障定位方法及装置。该方法包括：针对目标软件源代码进行语句、值和逻辑表达式级的插桩，采用预设的测试用例集合执行插桩后的源代码，获得执行信息；对预设失败测试用例集合进行聚类，并对每个聚类，选择有助于区分缺陷语句的成功测试用例集合；学习优选成功测试用例集合的执行信息，获得程序不变量集合，包括集合型、真值表型和浮点型范围不变量；根据失败测试用例集合的执行信息和程序不变量集合检测不变量违背，获得可疑语句集合。采用依赖分析过滤掉因故障传播导致的不变量违背误检，统计分析各语句处的不变量违背，计算语句可疑度。本发明提高了软件故障定位的准确性，克服了逻辑表达式缺陷定位漏检问题。

主权项

1.一种基于程序不变量的软件故障定位方法，其特征在于，包括：针对目标软件的源代码建立抽象语法树，根据所述抽象语法树对所述目标软件的源代码进行语句级别的插桩、值级别的插桩和逻辑表达式级别的插桩，采用预设的成功测试用例集合和预设的失败测试用例集合执行插桩后的所述目标软件的源代码，获得各个测试用例的执行信息，包括：语句覆盖信息、变量和表达式的值和逻辑表达式真值表；对所述预设失败测试用例集合进行聚类分析，根据失败覆盖等价划分优先选择准则对预设成功测试用例集合进行筛选，获得优选成功测试用例集合；学习所述优选成功测试用例集合的执行信息，获得程序不变量集合，所述程序不变量集合中包括集合型不变量、浮点型范围不变量和真值表型不变量；根据所述失败测试用例集合的执行信息和所述程序不变量集合进行不变量违背检测，获得可疑语句集合。