ステートトランジション(状態遷移)テストが最も効果を発揮するシステムはどれか。

特定の状態とイベントによって動作が変わる制御系システム等の検証に非常に有効である。