状態遷移表を使用したテスト手法【前編】

図11　状態遷移表を使用したホワイトボックステスト