一种基于修正测试矩阵的程序突变故障定位方法及系统

本发明公开了一种基于修正测试矩阵的程序突变故障定位方法及系统，包括：通过符号执行、共享变量追踪和假设推理相结合的方法处理待测试源程序，通过识别代码中的关键路径，共享变量以及潜在故障交互点找出用于生成突变的代码行；基于大语言模型理解源代码上下文，针对待选代码行生成复杂突变体并且运行这些突变后的程序得到杀死信息矩阵；针对不同突变类型，通过贝叶斯方法修正修改概率并以此概率修改测试矩阵，减少测试矩阵中的噪声；根据修改后的测试矩阵计算怀疑度，生成可疑代码列表。本发明的方法可以减少不必要的突变操作，提高测试覆盖率，提高故障定位的准确性。