第3回では、MBTツール「MISTA」を使って、ブロックゲームのファンクションネットを完成させました。 www.kzsuzuki.com 第4回では、できあがったモデルでシミュレーションを行ったうえで、テストケースの自動生成をやってみましょう。やっとモデルベースドテ…