単体テストにおける「正常系」と「異常系」の混乱

テストは、「正常系」と「異常系」に分けることが多々ある。
このほかにも
　　「正常系」「異常系」「ワーニング系」とか、
　　「正常系」「異常系」「例外系」とか、
　　「ブラックボックステスト系」「ホワイトボックステスト系」とか
いろいろあり、「正常系」はまずいいんだけど、異常系は、どこまでが範囲だか、混乱する。

この混乱の理由について
そもそも、単純に分けると、テストというのは、３種類にわかれる。

単体テストのテストケースは（つまり、分岐・条件網羅のみを考えた場合）、
分岐条件がなければ、１つの戻り値しか取れないので、１つの同値ケースとなり、
１個のテストしか、しないでよい（このとき、このケースは正常系）。

ということは、分岐があるから、テストケースが分かれるものと考えられる。

分岐が分かれる理由には、大きく３つある。

（１）分岐チェックする変数の値は、システムが扱うべき値であり、
　　　扱い方が異なるので、分岐が起きている

　　　　大人と子供で料金が異なるというようなケース。
　　　　同値ケースは別れ、それぞれテストする必要がある

（２）分岐チェックする変数の値は、システムが扱うべき値の範囲外である

　　　大人が０、子供が１とコード化されているところにー１が入ってきたような場合
　　　範囲外の値をエラーとし、エラー処理を行う。
　　　その後、どうなるかは、仕様による

（３）分岐チェックを行いたいが、そもそも、行える状態にない

　　　大人が１、子供が０というコード体系は、DBから拾ってくるが、そのDBにアクセスできない
　　　というもの。エラー、ないしは異常終了する
　　　その後、どうなるかは、仕様による


（１）のケースは正常系である（システムが扱うべき値だから）

（２）は、ワーニング系と呼ばれる
（３）は、例外系と呼ばれる・・・と思う。

なので、正常系は（１）で問題ないのだが、

異常系を（２）、（３）とする場合、
異常系を（３）、ワーニング系を（２）とする場合、
異常系を（２）、例外系を（３）とする場合など、
　　　
異常系については、いろいろと別れるみたい。

---

ブラックボックステスト、ホワイトボックステストについていうと、
（１）の分岐は、データに基づいて行われる。なので、入力値を変えることによって、分岐させることができ、
プログラム内部について知らなくてよいので、ブラックボックステストで可能

（２）の分岐は、入力値に異常値を入れることによって、エラーを出すものであれば、
ブラックボックステストで可能

しかし、通常のプログラムではその分岐は通らないが、修正ミスによるバグ混入を防ぐため、
エラーチェックしているようなケースでは、その分岐は通らないので、無理やりデバッガで
通す必要がある→ホワイトボックステスト
（上記例、大人が０．子供が１とのコード設定をDBでしているのではなく、#defineで定義している場合、
　絶対にプログラム上、-1になることはあり得ないが、ここのコードをDBやファイル設定されることをにらんで、
　エラーチェックが入っているようなケース）

（３）の分岐は、例外条件をデバッガないしはスタブ等で起こさないといけない
このため、ホワイトボックステストになる。

網羅率において、（１）は行う。（３）も気づいて行うが、（２）のケースで、
「通常のプログラムではその分岐は通らない」場合、漏れることがある。
（網羅率C0,C1で１００％にならない）

なので、ざっくりいうと、
正常系はブラックボックステストが普通出来る
異常系は、ワーニング・エラーメッセージに対しては、ブラックボックステストでいける
　　　　　（かならず、その分岐が通るのであれば）
　　　　　例外に関しては、ホワイトボックステスト、
　　　　　あと、その分岐に行くことが普通はないような場合もホワイトボックステスト
となり、ホワイトボックステストではデバッガ使ったりしてテストする。

---

ってなかんじ。