+
29
3.2.1 0スイッチ網羅の例
個々の遷移をテストケースとして抽出
下記の例では4パターン
[x]
A
B
C
1. A -> B
2. B -> C
3. C -> C
4. C -> B
[¬x]
0スイッチ網羅のコツ
状態遷移表を作成する
表のセル1つが1遷移を表現
全セルに対応するテストケースを
作成すれば0スイッチ網羅ができる
WACATE 2013 冬
事前状態
/
事後状態
A
A
B
○
○
B
C
C
○
[¬x]
○
[x]
2013/12/14
+
30
3.2.2 1スイッチ網羅の例
連続する2遷移をテストケースとして抽出
下記の例では6パターン
[x]
A
B
C
[¬x]
WACATE 2013 冬
1. A -> B -> C
2. B -> C -> C
3. B -> C -> B
4. C -> C -> C
5. C -> C -> B
6. C -> B -> C
2013/12/14