状態遷移表を使用したテスト手法【前編】 (l_ay_jyotai06_fig17.jpg)