>>335みたいな、コード見ればすぐに分かるような極端な例でなくても

たとえば、読み込んだ設定値を使うべき所を
面倒だから、とりあえず固定値つかって開発しましたみたいなの。

・テストは書いた（でも不足している）
・テストは通った（ただし固定値を使ってしまってる）

こういうのはテストコードがあって、それを実行して
テストコードが通っても正しく動かないコードなんだよね。

人間ミスはだれでもするもので、テストコードを漏れなく書いたつもりでも
漏れてしまうことがある。

テストコードがあっても、正しく動くという証明はできないんだよ。
テストコードで証明できるのは、テストしたことだけ。

コードが正しいこともテストが正しいことも、漏れがないことも証明できない。