JTA：安全关键软件场景验证的联合可测试性架构
原标题：JTA: Joint Testability Architecture for Scenario-Based Validation of Safety-Critical Software
AI 摘要
arXiv 上发布了一篇关于安全关键软件场景验证的论文，提出了联合可测试性架构（JTA），将场景、测试系统和被测系统作为统一分析对象，从可控性、可观测性和可隔离性三个维度评估验证能力。JTA 引入了场景契约、联合能力评估、验证盲点识别和面向桥梁的设计行动，并通过 ArduPilot 失效保护验证的实例分析展示了其应用。该架构旨在补充现有测试和安全分析技术，为安全关键软件的基于场景的验证提供建模、设计和评估基础。
正文节选
Computer Science > Software Engineering Title:JTA: Joint Testability Architecture for Scenario-Based Validation of Safety-Critical Software View PDF HTML (experimental) Abstract:Validation adequacy in safety-critical software depends on more than the system under test. Critical scenarios must be constructed under controlled conditions, execution evidence must be aligned into verdict-ready form, and abnormal outcomes must be attributable to actionable causes. Existing testability rese