テストでバグ発見!(7)状態遷移モデルで扇風機シミュレーターのバグを摘出せよ【出題編】 図10 タクシーの状態と外部入力[クリックで拡大] 記事に戻る 山浦恒央 東海大学 大学院 組込み技術研究科 非常勤講師(工学博士),MONOist