[B! *tool][設計] loopeiのブックマーク

Code ContractsとPex - jamzzの日記

マイクロソフトのDevLabsで公開されている.NETにおける設計とテストにおけるテクノロジーであるCode ContractsとPexを使ってみました。結論から言うとかなり使えそうでひょっとしたら開発スタイルを変え可能性があると思いました。かなり奥が深そうでまだ可能性と限界について完全に理解できているわけではないのですがまだ日本語で紹介している情報が少ないようなので書きたいと思います。 Code Contractsは.NETで「契約による設計（DbC:Design By Contract）」を実現するためのランタイムとVisual Studioに統合される開発環境です。つまりC#などの言語で契約、つまりメソッド毎に「事前条件 (precondition)」「事後条件 (postcondition)」とクラス（インスタンス）における「不変条件 (invariant)」を記述することで

loopei 2010/11/10

Code Contractsは.NETで「契約による設計（DbC:Design By Contract）」を実現するためのランタイムとVisual Studioに統合される開発環境

リンク

www.vdmtools.jp – このドメインはお名前.comで取得されています。

このドメインはお名前.com から取得されました。お名前.com は GMOインターネットグループ(株) が運営する国内シェアNo.1のドメイン登録サービスです。 ※表示価格は、全て税込です。 ※サービス品質維持のため、一時的に対象となる料金へ一定割合の「サービス維持調整費」を加算させていただきます。 ※1 「国内シェア」は、ICANN(インターネットのドメイン名などの資源を管理する非営利団体)の公表数値をもとに集計。gTLDが集計の対象。日本のドメイン登録業者(レジストラ)（「ICANNがレジストラとして認定した企業」一覧（InterNIC提供）内に「Japan」の記載があるもの）を対象。レジストラ「GMO Internet Group, Inc. d/b/a Onamae.com」のシェア値を集計。 2023年10月時点の調査。