テストコードがあったとしても、コードが正しいという証明はできないからな。

たとえば、二乗する関数が合ったとして、
2なら4、3なら9、4なら16、16なら256というテストコードに通っても、

if (n == 2) return 4;
if (n == 3) return 9;
if (n == 4) return 16;
if (n == 16) return 256;

という明らかに間違った実装でも、テストコードは通るんだよ。