「状態遷移テスト」で、複数の状態が複雑に絡み合う場合に、状態とイベントをマトリクス状に整理した表はどれか。

状態遷移行列は、行に現在の状態、列にイベントを配置し、遷移先やアクションを一覧化したものである。