状態遷移テストと1スイッチカバレッジ

最近、自分のMacにAstah*を入れたので、状態遷移テストについて書いてみます。本文に挿入した図は全てAstah*で書いたものです。コロナ感染症の拡大防止対策のために急遽WFHしなきゃいけない人がAstah*を使えないといけないということで、2020年5月31日まで無償で使えることになったとのことです。こんな時だから、家にいてモデリングの勉強なんかにも使えるのでとってもいいですよね！経緯は下のツイートで。 はじめに状態遷移モデルを書いてそのモデルを網羅するようにテストケー