平成28年度 春期 午前 問48

✓ これが正解ウ設計されたイベントと内部状態の組合せどおりにシステムが動作することを確認する手法

解説

設計どおりの遷移が起きるかを確かめる試験のことです。

状態遷移テストは、システムが内部にいくつかの状態を持ち、外からの出来事に応じて状態を移していく作りをしているとき、その移り変わりが設計どおりに起きるかを確かめるための試験です。判定の軸は、内部の状態変化を対象にしているか、そして出来事と状態の組合せを設計に照らして確認しているかの二つがそろっているかどうかにあります。状態が変化しない対象を選ぶ話や、内部の状態を見ないと言い切る話は、そもそも対象の取り方が違います。もう一方の、内部の状態を扱う道具として別の記法を挙げるだけの記述は、確認の対象と手立ての結びつき方が設問の意図と合いません。だから、設計されたイベントと内部状態の組合せどおりにシステムが動作することを確認する、と述べた記述が当たりました。結合の場面でこの試験が使われるのは、部分同士をつなげて初めて表れる遷移の妥当さを見たいからです。

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

• アイベントの発生によって内部状態が変化しな…：イベントの発生によって内部状態が変化しない計算処理システムのテストに適した手法だと述べています。状態遷移テストは内部状態の移り変わりを確かめる試験なので、そもそも状態が動かない対象に当てるのはねらいが噛み合いません。
• イシステムの内部状態に着目しないブラックボ…：システムの内部状態に着目しないブラックボックステスト用の手法だと述べています。この試験の主眼は内部状態と出来事の組合せを見ることにあり、内部状態に注目しない立場と正反対の説明です。
• エデータフロー図，決定表を使用してシステム…：データフロー図、決定表を使用してシステムの内部状態を解析する手法だと述べています。状態と遷移を扱うのに、その道具として別種の記法だけを挙げており、この試験が実際に使う状態遷移の記法とは結びつきません。