Parasoft教程：如何用AI为软件测试的静态分析提效原创

今天我们用一个简单项目来讲解如何用aiv静态分析提效。这个项目托管在github上，并在本地使用visual studio开发。我们将在本地Vs code和gith中都使用来检查代码是否符合Miss lc2025指南。在桌面上，我们使用集成到我的VS中，出于性能条件，仅针对部分规则进行静态代码测试。在Getth塔B上，我们将通过创建拉取请求来进行完整的测试。首先我们需要创建一个新分支，接下来执行一个主循环函数以及辅助函数。现在使用paraof的执行修改后代码的分析。分析完成后可以直接看到分析结果中指出的问题。这里我们可以看到结果指出这段代码4次违反了maa规则。这里是说指针的值可以用作一副语句的控制表达式，也可以作为取反运算符的参数，这些都会在一个函数里被发现出来。这时候我们就可以使用paraof的AI功能来解读违规结果的详情，并提出解决问题的建议，Paraof.

会给AI提供适当的上下文，包括规则文档的细节，并用思维链推理来给出更加的建议。现在我选择了其中的一项违规行为，让AI来解释原因。在这里可以查看由AI提供的解释详情和修复建议。当然，不是所有AI的建议都是完美无缺的，还是应该去手动检查和审核。现在可以将这些建议更改应用到编辑器中，然后再次人工审查进行确认是否接受更改。现在我们可以看到AI的建议一次性解决了全部4项的违规行为，通过我的确认，我接受了更改。最后让我们重新运行静态分析来看看问题是否真的消失了。现在我们可以看到没有任何问题了，一键将更改推送到服务器就完美结束工作。