日本テクマトリックス株式会社于26日宣布，开始销售由美国Parasoft开发的支持C#/VB.NET的静态与动态分析工具「dotTEST」新版「2025.3」。
「dotTEST」是一款支持C#/VB.NET的静态和动态分析工具，旨在帮助减少.NET应用程序的开发和测试工作量。该工具基于3000多个编码规则对源代码进行静态分析，能够检测程序中的问题以及跨文件处理流程中难以发现的错误。此外，还能收集.NET应用程序运行时的覆盖率信息，方便确认测试遗漏。
新版中新增了MCP（Model Context Protocol）服务器扩展功能，支持与GitHub Copilot等AI代理及基于大型语言模型（LLM）的编码助手联动。用户可以直接访问静态分析结果，查看检测到的违规项，基于推荐建议判断其重要性，并获得具体的修正方案。同时，还能通过用户指南获取功能说明，或让AI提出具体问题的解决方法。
这些功能可在支持MCP的开发环境中使用，如Visual Studio和Visual Studio Code。
此外，LLM联动功能新增了AI自动修正功能。用户可基于命令行生成的静态分析报告自动修复违规代码。修正内容会提交至项目仓库中的工作分支，合并前由负责人进行人工审核和批准。
环境方面，应用程序覆盖率功能得到了增强，新增了覆盖率代理的用户界面（UI）。无论是手动测试还是自动测试，都能获取.NET运行时管理的托管代码覆盖率数据。
另外，本次更新还新增对Visual Studio 2026的支持，并能解析使用.NET 10及C# 14编写的代码。
