butcher blog

Programのテスト技法って

データの入出力の整合性、各モジュールを通過する事がメインで

ロジックの最適化とかは調べるテストって性能テスト？

Programが正しく（論理的に）かつ最適化されている事をテスト出来る方法？

最適化は単に早いって意味ではなくて　構文とかに矛盾が無い、冗長でない。