状態遷移テストで、システムが特定のイベントを無視すべき状況（無効な遷移）をテストする主な目的はどれか。

定義されていないイベントが発生した際に、システムが状態を変更せず（あるいはエラーを出し）、不正な内部状態に陥らないことを確認するためである。