ホワイトボックステスト
昨日の話しでさかたさんからコメントをもらったので
僕が思うことを書いておこうと思う。
そもそも僕はDbCを採用するか否かに関わらずに
ホワイトボックステストは不要だと思ってます。
理由はその下のエントリにも書いたんすけどブラックボックステストで
テストケースが全て満たされていれば問題ないと思うからです。
またホワイトボックステストのカバレッジが100%だったとしても
仕様を満たさないコードが羅列されていれば意味が無いですから
テスト方針としてあまり採用したくありません。