主張・論拠・証拠を結ぶアシュアランスケース

アシュアランスケース は,品質や安全性に関する主張を,論拠と証拠で支える文書です。試験結果などの証拠がなぜ主張を支えるのかを論理的に示します。 故障モードから原因と影響を分析するのはFMEAです。 ガイドワードで意図からの逸脱を探すのはHAZOPです。 障害と原因を論理ゲートの樹形図で表すのはFTAです。

システムやソフトウェアの品質に関する主張の正当性を裏付ける文書である “アシュアランスケース” を導入する目的として,適切なものはどれか。

出典令和5年度 春期 システムアーキテクト試験 午前Ⅱ 問1
ア
システムの構成品目の故障モードに着目してシステムの信頼性を定性的に分析することによって,故障の原因及び影響を明らかにする。
イ
システムやソフトウェアに関する主張と証拠を示して論理的に説明することによって,目標の品質が達成できることを示す。
ウ
システムやソフトウェアの振る舞いに対してガイドワードを用いて分析することによって,システムやソフトウェアが意図する振る舞いから逸脱するケースを明らかにする。
エ
障害とその中間的な原因から基本的な原因までの全てをゲートで関連付けた樹形図で表すことによって,原因又は原因の組合せを明らかにする。