xmldtp https://blog.hatena.ne.jp/xmldtp/ ウィリアムのいたずらの、まちあるき、たべあるきーPART2 https://xmldtp.hatenadiary.org/ 開発ネタ さっき書いた、JUnitは単体テストであるという論理的証明と現実的否定についてですが、 さっきの結論としては、 ホーア論理にのっとって、 事前条件、 事後条件、 不変表明 を適切にとれば、プログラムの正しさが、検証条件の正しさに還元されるので、 検証が正しければ、そのユニット内のプログラムは正しいといえる。つまり、ユニットテストを行ったといえる。 ということになった。 ということは逆に言うと、ホーア論理が成立しないような状況では、無理！っていうことになる。この場合について、まあ、ちょっと思いつくものを挙げてみる。 ■そもそも、再帰の場合、事前とか事後。。？？ ホーア論理は、「Clarkeの不完… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fxmldtp.hatenadiary.org%2Fentry%2Fa537b8ab97e4dc43dd23345bffa824ce" title="JUnitは単体テストであるという論理的証明と現実的否定　その２ - ウィリアムのいたずらの、まちあるき、たべあるきーPART2" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2007-11-27 15:53:18 rich https://xmldtp.hatenadiary.org/entry/a537b8ab97e4dc43dd23345bffa824ce 1.0 100%