ソフトウェアの品質を学びまくる

ソフトウェアの品質、ソフトウェアテストなどについて学んだことを記録するブログです。

2020-04-28から1日間の記事一覧

モデルベースドテストについて学んでみよう - その3

前回は、MBTツール「MISTA」でブロックゲームのシンプルなモデルを描いてみて、シミュレーションで一手進めたところまでを見ました。 www.kzsuzuki.com トークンとイベントの関係とは 上の状態から、もう一度pickup(x)を選んで遷移させてみましょう。 2つの…