状態遷移テストとは？じょうたいせんいてすと
状態遷移テストとは、状態と遷移を明示したモデルからテストケースを導く技法。設計どおりの遷移が起きることに加え、その状態では受け付けないはずのイベントを与えて不正な遷移が起きないことまで確かめる点に特徴がある。申請や契約のように状態を持つ業務には効くが、状態が増えると遷移は組合せで膨らむため、網羅の水準を先に決めておく。
最終更新：2026-10-06
システムアーキテクトを最短で暗記・合格する →背景
画面や機能の単位でテストを組むと、単体では正しいのに順序が誤っている欠陥（承認済から差戻しへ戻れてしまう、など）が抜ける。状態を明示して遷移を数え上げれば、設計時に想定していなかった経路が表の形で見える。要件定義で状態遷移図を成果物として作る以上、その成果物をそのままテストの根拠に使えるかどうかは設計の質の問題でもある。
具体例
申請の「作成中・申請済・差戻し・承認済・取消」の5状態に対し、astah* の状態マシン図から全状態×全イベントのマスを持つ表を起こす。空欄（起こり得ない操作）でも例外落ちせず拒否されることを確認する過程で、取消済からの再申請の扱いが設計に無いことが露見する。
試験での引っ掛け
全状態を一度訪れれば網羅した、という理解が最も多い誤り。網羅の単位は状態ではなく遷移で、さらに連続する遷移の並びまで見る（0スイッチ／1スイッチカバレッジ）と必要件数は跳ね上がる。状態を持たない参照系のAPIに当てても得るものが少ないので、適用先を選ぶ技法である。
関連用語
出典・参考
解説は資格暗記が独自に作成しています。過去問の出典は各問題に記載のとおりです。