第4話 状態遷移図とは みなさん、こんにちは。鎌倉です。皆さんは音楽プレイヤーを使っていますか? ウォークマンやiPodといった製品が有名ですが、最近はスマートフォンにワイヤレスイヤホンを接続して音楽プレイヤー代わりにしている方も多いかもしれません。 音楽プレイヤーには 停止中に再生ボタンを押すと、音楽が再生される 再生中に停止ボタンを押すと、音楽が停止する といったように、ボタンを押したときの挙動が定義されています。こうした挙動をメーカーが出荷前にテストしているので、期待通りに動いてくれるわけですね。再生ボタンと停止ボタンの動作が逆になっていたり、再生ボタンを2回続けて押したら輪唱のように重なって再生されたりしたらイヤですよね。 このような場面で良く用いられるのが「状態遷移テスト」とよばれる技法です。今回から複数回に分けて状態遷移テストのお話をしたいと思います。第4話のテーマは「状態遷移