JTA: Joint Testability Architecture for Scenario-Based Validation of Safety-Critical Software
JTA（Joint Testability Architecture）论文提出将场景、测试系统与被测系统三者作为统一分析对象，从可控性、可观测性、可隔离性三个维度刻画验证能力，并通过三个域、三座桥和分析-设计-评估-改进循环来组织。论文还引入场景契约、联合能力评估、验证盲区识别和桥导向设计动作。对 ArduPilot 失效保护验证的示例分析显示链路丢失场景存在验证盲区。
Development
- First ReportJTA: Joint Testability Architecture for Scenario-Based Validation of Safety-Critical SoftwarearXiv cs.RO
- Current Assessment安全关键软件（如自动驾驶、无人机）的验证正从单点测试转向联合验证能力设计。JTA 的盲区识别方法可能影响测试工具链设计，但当前仅为研究提案，需观察后续是否有工具化或行业采用。Agent Pulse · analysis
JTA 论文指出安全关键软件的验证充分性不仅取决于被测系统，关键场景需在受控条件下构建，执行证据需对齐为可判定形式，异常结果需归因于可操作原因。现有可测试性研究偏重工件本身，缺乏对场景、测试系统、被测系统三者联合能力的架构支持。JTA 将三者作为单一分析设计对象，沿可控性、可观测性、可隔离性三个维度刻画验证能力，通过三个域、三个桥和循环流程组织。它引入场景契约、联合能力评估、验证盲区识别和桥导向设计动作，将能力缺口映射到控制点、证据组织和归因边界的改进。对 ArduPilot 失效保护验证的示例分析显示链路丢失场景存在验证盲区。
JTA 将可测试性从工件属性扩展为场景-测试系统-被测系统的联合属性，提出可控性、可观测性、可隔离性三维度，并通过桥导向设计动作将能力缺口映射到具体改进。这为安全关键软件验证提供架构级分析框架，但论文仅给出 ArduPilot 示例分析，尚未提供完整实证或工具实现。
安全关键软件（如自动驾驶、无人机）的验证正从单点测试转向联合验证能力设计。JTA 的盲区识别方法可能影响测试工具链设计，但当前仅为研究提案，需观察后续是否有工具化或行业采用。
对安全关键软件测试工具厂商，JTA 提供联合验证能力评估的差异化方向；对采用方，可辅助评估测试体系完备性，但当前缺乏实证，商业价值待验证。
可验证的下一信号：JTA 是否发布配套工具或基准，以及是否有团队在真实安全关键项目中应用该方法并报告盲区减少或缺陷发现率提升。