コードカバレッジですか？もちろん100％ですよ、静的な意味で - Qiita

タイトルに反して、どうやらWikipediaによると型チェックはソフトウェアテストではないらしい。 プログラムを実行し、正しく動作するかどうか確認する作業 （略） 欠陥が存在することを示すことはできるが、欠陥が存在しないことは証明できない。 型チェックは一部ではあるものの、プログラムを実行するまでもなく正しく動くことを確認でき、欠陥が存在しないことの証明ができてしまうからだ。 しかし型チェックはテストコード同様、「プログラムの動作部分ではないが、プログラマのミスを避けるために追加で書かれるコード。本質的には無くてよい」ものであることに違いはない。 型チェックもソフトウェアテストってことにしておこうよ 従来のソフトウェアテストを「帰納的テスト」、型チェックのようなものを「演繹的テスト」と呼びたい。 型チェック自体をテストとすれば多くのソフトウェア開発でTDDを行っていることになる。これは単な

[kasumani]

コードカバレッジですか？もちろん100％ですよ、静的な意味で タイトルに反して、どうやらWikipediaによると型チェックはソフトウェアテストではないらしい。 Tags: ifttt, kasumaniのストックした投稿 - qiita from Pocket May 07, 2014 at