コンピュータが正しく動作することをテストするのは
CPUメーカーぐらいだろ。

コンピュータが正しく動作するのはテスト済みの大前提。
テストケースでテストするのはコンピュータじゃなくて
処理を書いた人間のコードなんだが。