次の状態遷移図に従って動作する組込みシステムがある。最初の状態がS0の場合に、最後の状態がS4になるイベントの発生順序はどれか。ここで、白丸は状態、白丸内の文字列は状態名、状態間の矢印は遷移方向、矢印に付されたラベルは状態遷移の条件となるイベントを表すものとする。

選択肢

• アa→b→c→d→a
• イb→c→d→a→b
• ウc→d→a→b→c
• エd→a→b→c→d

正解と解説

正解：ウ c→d→a→b→c

初期状態S0では、イベントc・dはいずれも自己遷移なので状態は変わらない。続くaでS0からS1へ、bでS1からS3へ遷移し、最後のcでS3からS4へ移る。これによりc→d→a→b→cの順で最終状態がS4となる。他の順序では最終的にS3などにとどまる。

選択肢ごとの解説

• アa→b→c→d→aではS4に到達した後にdでS3へ戻り、さらにaで自己遷移するため最終状態はS3となる。
• イb→c→d→a→bではS0での自己遷移が続いた後S1を経てS3で終わる。
• ウ正しい。c・dで状態が変わらず、a→b→cでS0→S1→S3→S4と進む。
• エd→a→b→c→dではS4まで到達するが、最後のdでS3へ戻ってしまう。

同じ分野の他の問題

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