表の状態遷移に従って動作する組込みシステムがある。最初の状態がS0の場合に、a→b→c→d→aの順序でイベントが発生すると、最後の状態がS4になる。表の(＊)には同じ状態名が入るが、その状態名はどれか。

選択肢

• アS1
• イS2
• ウS3
• エS4

正解と解説

正解：ウ S3

最後のイベントaで状態がS4になるには、その直前の状態がS4へ遷移する状態、すなわち表からS3でなければならない。(＊)にS3を入れて追うと、S0からaでS1、bで(＊)＝S3、cでS2、dで(＊)＝S3となり、最後のaでS4に到達して条件を満たす。他の状態名では最終状態がS4にならない。

選択肢ごとの解説

• アS1を入れるとcやdの遷移先が変わり、最後のaでS4に到達しない。
• イS2ではbの遷移後の経路が合わず、最終状態がS4にならない。
• ウ正しい。S3を入れるとS0→S1→S3→S2→S3→S4と進み条件を満たす。
• エS4を入れると途中で経路が破綻し、指定の順序で最終状態がS4にならない。

同じ分野の他の問題

• 並列に生起する事象の間の同期を表現することが可能な、ソフトウェアの要求モデルはどれか。2024年度 秋期 午前II 問17
• 次の状態遷移図に従って動作する組込みシステムがある。最初の状態がS0の場合に、最後の状態がS4になるイベントの発生順序は…2022年度 秋期 午前II 問22
• イベント駆動型のアプリケーションプログラムにおける、時系列でのオブジェクト間の相互作用を設計するのに有用なものはどれか。2022年度 秋期 午前II 問19
• 並列に生起する事象間の同期を表現することが可能な、ソフトウェアの要求モデルはどれか。2021年度 秋期 午前II 問20
• UML 2.0において、オブジェクト間の相互作用を時間の経過に注目して記述するものはどれか。2020年度 10月試験 午前II 問18