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

せっかくファンクションネットを学んだので、「ハノイの塔」のモデルを作ってみることにします。 ハノイの塔とは ハノイの塔については、Wikiにアニメーションもあるのでそれを見ていただくのが早いと思いますが、「仕様」を引用します。 ja.wikipedia.org 以下のルールに従ってすべての円盤を右端の杭に移動させられれば…