标准编号：ISO/IEC 15026-2:2011
中文名称：系统和软件工程 系统和软件保证 第2部分：保证案例
英文名称：Systems and software engineering — Systems and software assurance — Part 2: Assurance case
发布日期：2011-02
标准范围
This part of ISO/IEC 15026 specifies minimum requirements for the structure and contents of an assurancecase. An assurance case includes a top-level claim for a property of a system or product (or set of claims),systematic argumentation regarding this claim, and the evidence and explicit assumptions that underlie thisargumentation. Arguing through multiple levels of subordinate claims, this structured argumentation connectsthe top-level claim to the evidence and assumptions.This part of ISO/IEC 15026 does not place requirements on the quality of the contents of an assurance case.Rather, it places requirements on the existence of the contents and structure of an assurance case. Whileseveral notations and slightly varying terminologies are currently used in practice, this part of ISO/IEC 15026does not require the use of a particular terminology or graphical representation. Likewise, it places norequirements on the means of physical implementation of the data, including no requirements for redundancyor co-location.
标准预览图
立即下载标准文件