なんか荒れてんな。

単体テストって固定された仕様に対して実装者次第で変化するロジックをテストするものだろ。

例題があまりにも単純コードだからロジックと実装が一致するなんて現象が起きるのであって、考え方はテスト仕様を満たしているかどうかが重要。

だと思うんだぜ。