assertion とは id:DOSEI:20041116:p1 に書いたとおり。次の定理が成り立つ。 プログラムにバグがない ⇒ 全てのアサーションは真 逆は成り立たないが、十分多くのテストがアサーションを真にするならば、プログラムにバグがある可能性を下げることができる。…