令和元年度 秋期 情報処理安全確保支援士試験 午前Ⅱ 問22

解説

〔仕様〕の六つの遷移それぞれについて，未完成の状態遷移図に既に描かれているかどうかを確認すると，レディ⇄低速運転間の Start／運転開始，Stop／運転停止，低速運転→高速運転の Up／加速，高速運転→低速運転の Down／減速，低速運転→一時停止の Down／運転休止，一時停止→低速運転の Up／運転再開はいずれも図中に描かれています。一方，“レディ以外の状態で Stop ボタンが押された場合，運転停止してレディに遷移する”という仕様のうち，低速運転及び一時停止からレディへの Stop／運転停止の遷移は既に図に描かれていますが，高速運転からレディへの Stop／運転停止の遷移だけが図中に存在しません。したがって，追加すべき遷移は，遷移元が高速運転，条件部／動作部が Stop／運転停止，遷移先がレディとなる遷移です。

選択肢ごとの解説

• ア誤り。一時停止の状態で押されるボタンは Up（運転再開して低速運転に遷移）であり，Start が押されるという遷移も，遷移先が高速運転になるという遷移も，仕様には定められていません。
• イ誤り。一時停止で Up ボタンが押された場合に低速運転へ遷移する仕様は既に図中に描かれており，新たに追加すべき遷移ではありません。また，この選択肢はボタン名を Start としており，仕様（Up）と一致していません。
• ウ誤り。高速運転で Down ボタンが押された場合は減速して低速運転に遷移する仕様であり，Stop ボタンで運転休止して一時停止に遷移するという遷移は，仕様に定められていません。
• エ正しい。“レディ以外の状態で Stop ボタンが押された場合，運転停止してレディに遷移する”という仕様のうち，高速運転からレディへの遷移だけが未完成の状態遷移図に描かれていないため，遷移元：高速運転，条件部／動作部：Stop／運転停止，遷移先：レディという遷移を追加する必要があります。