CSA Standards

Systems and software engineering - Systems and software assurance - Part 2: Assurance case
 N CAN/CSA-ISO/IEC 15026-2:13

Annotation

This part of ISO/IEC 15026 specifies minimum requirements for the structure and contents of an assurance case. 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 this argumentation. Arguing through multiple levels of subordinate claims, this structured argumentation connects the 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. While several notations and slightly varying terminologies are currently used in practice, this part of ISO/IEC 15026 does not require the use of a particular terminology or graphical representation. Likewise, it places no requirements on the means of physical implementation of the data, including no requirements for redundancy or co-location.

Автоматический перевод:

Системное проектирование и разработка программного обеспечения - Системы и обеспечение программного обеспечения - Часть 2: случай Обеспечения

Эта часть ISO/IEC 15026 указывает минимальные требования для структуры и содержания случая обеспечения. Случай обеспечения включает требование верхнего уровня к свойству системы или продукта (или набор требований), систематическая аргументация относительно этого требования, и доказательство и явные предположения, которые лежат в основе этой аргументации. Споря через многократные уровни подчиненных требований, эта структурированная аргументация соединяет требование верхнего уровня доказательства и предположений.