ISO/IEC 15026-2:2011
Systems and software engineering -- Systems and software assurance -- Part 2: Assurance case
发布时间:2011-02-03 实施时间:


保证案例是一种用于支持系统和软件保证的工具,它可以帮助开发人员和评估人员理解系统和软件的保证需求、保证措施和保证证据。保证案例由一系列声明组成,这些声明描述了系统和软件的保证需求、保证措施和保证证据之间的关系。保证案例的结构包括:保证目标、保证假设、保证证据、保证措施和保证结论。

保证目标是保证案例的核心,它描述了系统和软件需要满足的保证需求。保证假设是指为实现保证目标而做出的假设,它们可以是系统和软件的设计、实现、测试和运行环境等方面的假设。保证证据是指用于支持保证目标和保证假设的证据,它们可以是测试结果、分析结果、评估结果等。保证措施是指为实现保证目标而采取的措施,它们可以是设计、实现、测试和运行环境等方面的措施。保证结论是指保证案例的结论,它描述了系统和软件是否满足了保证目标。

保证案例的使用方法包括:编写保证案例、评估保证案例和更新保证案例。编写保证案例是指根据系统和软件的保证需求、保证措施和保证证据编写保证案例。评估保证案例是指评估保证案例的有效性和完整性,以确定系统和软件是否满足了保证目标。更新保证案例是指根据系统和软件的变化更新保证案例,以确保保证案例与系统和软件的实际情况保持一致。

总之,ISO/IEC 15026-2:2011标准提供了一种有效的工具,用于支持系统和软件保证的实施和评估。保证案例可以帮助开发人员和评估人员理解系统和软件的保证需求、保证措施和保证证据,从而提高系统和软件的质量和可靠性。

相关标准
- ISO/IEC 15026-1:2012 Systems and software engineering -- Systems and software assurance -- Part 1: Concepts and vocabulary
- ISO/IEC 12207:2017 Systems and software engineering -- Software life cycle processes
- ISO/IEC 12208:2019 Systems and software engineering -- Software life cycle processes
- ISO/IEC 15504-2:2003 Information technology -- Process assessment -- Part 2: Performing an assessment
- ISO/IEC 12207:1995 Information technology -- Software life cycle processes