テストでバグ発見!(7)状態遷移モデルで扇風機シミュレーターのバグを摘出せよ【出題編】

図10 タクシーの状態と外部入力[クリックで拡大]

図10 タクシーの状態と外部入力[クリックで拡大]