IEEE P15026.2/FDIS, August 2010
システムおよびソフトウェア エンジニアリングに関する IEEE ドラフト標準 システムおよびソフトウェア アシュアランス パート 2: 保証ケース

規格番号

IEEE P15026.2/FDIS, August 2010

制定年

2010

出版団体

Institute of Electrical and Electronics Engineers (IEEE)

範囲

この国際規格は、保証ケースの構造と内容に対する最小限の要件を指定します。 保証ケースには、システムまたは製品の特性に関するトップレベルの主張 (または一連の主張)、この主張に関する体系的な議論、およびこの議論の基礎となる証拠と明示的な仮定が含まれます。 複数のレベルの下位主張を通じて議論すると、これは...