>必ずしも仕様通りに実装できているとは限らない。
>限らないから assertion をして検証する。
それはテストでやるもんであって、assertionでやるもんじゃないよｗ
テスト（チェック）とassertionは直交している理由がわかる人なら
意味がわかるだろうけど・・・