一种基于变量分离的软件bug定位方法及装置

摘要

本发明公开一种基于变量分离的软件bug定位方法，包括对待测程序进行AST分析得到待测程序的控制流程图，通过当前节点和前驱节点的连接，以及当前节点与后继节点的连接构建了数据流节点关联图；利用测试用例测试插装程序覆盖信息的待测程序，基于测试结果筛选得到失败测试结果测试变量及程序覆盖信息，从数据流节点关联图和控制流程图中提取静态程序切片，基于失败测试结果的测试变量、第三程序覆盖信息和静态程序切片构建每个测试变量的动态程序切片；将动态程序切片代入VSDstar公式中得到待测程序的每个测试变量bug怀疑度。该方法能够精准、纯粹的定位bug。本发明还提供了一种基于变量分离的软件bug定位装置。