#静态分析

按标签聚合查看文章内容。

日本テクマトリックス推出搭载MCP服务器,强化AI联动的C/C++测试工具「C/C++test 2025.2」AI资讯

日本テクマトリックス推出搭载MCP服务器,强化AI联动的C/C++测试工具「C/C++test 2025.2」

日本テクマトリックス株式会社于12日正式开始销售由美国Parasoft开发的C/C++语言测试工具「C/C++test 2025.2」。 C/C++test是一款集成静态分析(编码规范检查、流程分析)和动态分析(单元测试、覆盖率测量、运行时内存错误检测等)功能的C/C++全方位测试工具。该工具广泛应用于日本车载设备、工业设备、医疗设备、办公自动化设备等嵌入式软件开发,以及中间件开发和Windows

テクマトリックス发布支持LLM联动功能的C#/VB.NET静态与动态分析工具「dotTEST 2025.3」AI资讯

テクマトリックス发布支持LLM联动功能的C#/VB.NET静态与动态分析工具「dotTEST 2025.3」

日本テクマトリックス株式会社于26日宣布,开始销售由美国Parasoft开发的支持C#/VB.NET的静态与动态分析工具「dotTEST」新版「2025.3」。 「dotTEST」是一款支持C#/VB.NET的静态和动态分析工具,旨在帮助减少.NET应用程序的开发和测试工作量。该工具基于3000多个编码规则对源代码进行静态分析,能够检测程序中的问题以及跨文件处理流程中难以发现的错误。此外,还能收集