xmldtp https://blog.hatena.ne.jp/xmldtp/ ウィリアムのいたずらの、まちあるき、たべあるきーPART2 https://xmldtp.hatenadiary.org/ Weblog ちょっと思いついたことを書くだけなので、おおぼけに間違っているかもしれません。 そしたらごめんなさい。 契約による設計などで、事後条件、事前条件、不変条件ってあるじゃないですか。 で、あれって、 事前条件：そのプログラムが利用する際に守るべき条件 事前条件：事前条件を満たしたとき、そのプログラムが動いた結果、 保障する条件 不変表明：事前条件、事後条件間で変わらず満たさないといけない条件のこと？・・ って単純に思ってしまうと、プログラムが検証できないような気が・・ Y=X+5 事前条件 X <max と、仮にしてしまうと、X+5で桁あふれが起きたとしても、条件を満たすよねえ。 (桁あふれになっ… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fxmldtp.hatenadiary.org%2Fentry%2F7fd2a3122a319bd9cc0bb80a0da3ecb7" title="事前条件・事後条件・クラス不変表明 - ウィリアムのいたずらの、まちあるき、たべあるきー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-26 15:24:05 rich https://xmldtp.hatenadiary.org/entry/7fd2a3122a319bd9cc0bb80a0da3ecb7 1.0 100%