机构名称：
¥ 13.0
保证案例是一种为系统提供保证的方法，通过基于系统设计、开发和测试行为的证据，给出论据来证明关于系统的主张。与基于指南或标准（本质上仅指定要生成的证据）的保证相比，保证案例的主要新颖之处在于提供明确的论据。原则上，这可以使保证案例更精细地适应系统的具体情况，并且在适应新技术和应用方面比指南更灵活。本报告的第一部分（第 1-4 章）介绍了保证案例。虽然所有对这些主题感兴趣的人都应该可以访问这些材料，但这些示例重点介绍机载系统软件，传统上使用 DO-178C 指南及其前身进行保证。第二部分（第 5 章和第 6 章）考虑了可用于评估保证案例是否提供足够信心，即特定系统或服务是否适合其预期用途的标准、方法和工具。
保证案例的解释和评估
主要关键词
相关文件推荐
