問4
システムやソフトウェアの品質に関する主張の正当性を裏付ける文書である“ア シュアランスケーズ”を導入する目的として、適切なものはどれか。
システムやソフトウェアの振る舞いをガイドワードを用いて分析して、システ ムやソフトウェアが意図する振る舞いから逸脱するケースを明らかにする。
システムを階層構造の構成要素に分解し、下位レベルの要素から上位レベルの 要素へボトムアップで解析して、システムに対する最終的な影響を明らかにする。
障害を発生させる要因を演えき的(トップダウン)に解析して、原因又は原因 の組合せを正確に示す。
証拠を示して論理的に説明することによって、システムやソフトウェアが目標 の品質を達成できることを示す。