いつもとは、書き方を変えて・・・ mkoszkのつぶやき id:17547522453から id:17552914269まで （JaSST10四国、基調講演を実況） 情報処理資格試験で使われるテストの定義は、クラシック(古典的かつ基本的）。 Vモデル：単体テスト、結合テスト、システムテス…

きのうのＢメソッドについてのつづき。 つまり、Ｂメソッドは、 モデル → 型チェック → 証明責務生成 → 自動的に証明（一部無理なものを手で証明） という工程をへて、 事前条件、事後条件、不変条件の関係が正しいものに成っているかを証明する、形式仕様記…