2026 年 10 月 13 日，TrustInSoft 发布 TrustInSoft Analyzer（TISA）26.10。该版本把 AI 自动化扩展到形式化分析的前期准备环节，并结合增强的 MC/DC（修改条件/判定覆盖）能力，目标是让安全关键软件的测试与验证以更少步骤达到完整覆盖。本文从软件工程实践与代码质量视角解读。
AI 承担分析前的准备工作
据发布信息，TISA 26.10 在界面内扩展了 AI 自动化：工程师可用 AI 编码助手自动完成分析活动的准备与配置等关键步骤，并在 TISA 中跟踪进度、直接查看结果。其思路是把重复性的设置与配置工作交给自动化，从而把人力集中在判断与决策上，减少形式化分析“上手成本高”这一长期障碍。
MC/DC 覆盖率的自动化
该版本还提升了 MC/DC 覆盖的自动化程度。TrustInSoft Analyzer 用形式化分析在单次分析中对输入的可能范围进行推理，而不是一次只构造一个测试来逐步堆覆盖；其真值表视图会标明 MC/DC 相关组合中哪些已被覆盖、哪些仍待达到。官方称，每一条被报告为可达的组合都对应一次可行的程序执行；当仍有缺口时，工程师可针对缺失条件追加分析，而不必逐条迭代构造测试。
形式化验证提供什么保证
与分析工具不同，TrustInSoft Analyzer 本身通过探索既定分析范围与假设内的可能行为来完成验证，并对“不存在某一类运行时错误与未定义行为”给出数学保证。这一特性使其适配对代码质量与可靠性要求极高的场景：在减少重复设置与配置工作后，开发者可以更快拿到验证结果，并把彻底分析覆盖到更大范围的代码。
面向的标准与语言
官方称该版本支持验证更多 C、C++ 与 Rust 代码，并以更少手工投入完成；配合面向认证的报告与可追溯性，适用于 ISO 26262 ASIL D 等安全关键软件开发标准。TrustInSoft 首席执行官 Caroline Guillaume 表示，TISA 26.10 把 AI 自动化与形式化验证的严谨性结合，使“更彻底的软件验证更快、更易规模化部署”。
对软件工程实践的意义
对以质量保障为核心的团队，这次更新的价值不在于替代测试，而在于把“覆盖率达标”从逐条构造测试的体力活，转为以分析驱动的定位过程。把形式化验证与单元测试、自动化测试结合，能在关键模块上形成更强的缺陷防线；而对采用 Rust 的新项目，验证工具链覆盖到该语言，也降低了安全关键场景选型时的顾虑。
小结
TrustInSoft 于 2026 年 10 月 13 日发布 TISA 26.10，以 AI 自动化降低形式化分析上手成本、增强 MC/DC 覆盖率自动化与面向 ISO 26262 ASIL D 的认证报告为看点，是软件工程实践领域代码质量与验证工具的一次更新。