平成30年度 秋期 午前Ⅱ 問4

✓ これが正解エ証拠を示して論理的に説明することによって，システムやソフトウェアが目標の品質を達成できることを示す。

解説

証拠と論理で品質目標の達成を示すのがアシュアランスケースです。

アシュアランスケースは、システムやソフトウェアが安全性や品質などの目標を満たしているという主張を、根拠となる証拠と、主張と証拠をつなぐ論理の筋道によって示す文書です。主張を細かな下位の主張に分け、それぞれを試験結果やレビューの記録などの証拠で裏付けることで、目標の品質を達成できることを関係者に説明できるようにします。証拠を示して論理的に説明するという説明が、導入の目的そのものです。見分けるときは、選択肢が危険や故障を見つける分析の手法を述べているのか、分析の結果を使って主張の正しさを示す文書を述べているのかを区別します。

ほかの選択肢はなぜ違うのか

• アシステムやソフトウェアの振る舞いをガイド…：ガイドワードを使って振る舞いを分析し、意図した振る舞いからの逸脱を洗い出すのは、危険の原因を見つけるための分析手法の説明です。逸脱を見つける作業であって、品質の主張を証拠で裏付けて示す文書を作ることとは目的が違います。
• イシステムを階層構造の構成要素に分解し，下…：システムを構成要素に分解し、下位から上位へボトムアップで影響を解析するのは、FMEA の考え方です。故障の影響を洗い出す分析手法であり、品質の達成を証拠と論理で説明するための文書の目的とは違います。
• ウ障害を発生させる要因を演えき的（トップダ…：障害の要因をトップダウンで演えき的に解析し、原因やその組合せを示すのは、FTA の考え方です。原因を突き止めるための分析手法で、品質に関する主張の正しさを証拠で裏付ける文書を導入する目的とは違います。