日本テクマトリックス株式会社于12日正式开始销售由美国Parasoft开发的C/C++语言测试工具「C/C++test 2025.2」。
C/C++test是一款集成静态分析（编码规范检查、流程分析）和动态分析（单元测试、覆盖率测量、运行时内存错误检测等）功能的C/C++全方位测试工具。该工具广泛应用于日本车载设备、工业设备、医疗设备、办公自动化设备等嵌入式软件开发，以及中间件开发和Windows/Linux应用程序开发等多个领域。
新版本引入了MCP（Model Context Protocol）服务器，支持与AI代理和基于大型语言模型（LLM）的编码助手（如GitHub Copilot）实现无缝协作。MCP服务器能够向AI代理提供静态分析结果、检测到的违规规则文档及用户指南信息，从而为违规问题提供具体修正建议和工具使用问题的解决方案。
在编码规范支持方面，新版本完全兼容最新发布的C语言编码标准MISRA C:2025（2025年3月发布）。该标准是对MISRA C:2023的改进，旨在减轻合规负担，删除和整合部分规则，明确AI生成代码的处理方针，并通过严格管理指针和联合体来强化功能安全性。此外，针对CWE（Common Weakness Enumeration）漏洞的规则数量大幅增加，新增了支持107种CWE-ID的规则。
其他更新还包括增强静态分析的抑制功能、改进单元测试的详细覆盖率报告生成能力，以及新增对NVIDIA CUDA Compiler 12.8等环境的支持。附属应用Parasoft DTP也新增了“测试失败分类”功能和与LLM联动的AI聊天机器人。
