CodeContracts.Net 編程工具

CodeContracts 是用于 .Net 程序中的開源工具。它可以作為你內(nèi)部或者外部 API 的檢查文檔，并且可以通過實(shí)時(shí)監(jiān)測、靜態(tài)合同驗(yàn)證和文檔生成來改善測試。CodeContracts 將基于合同設(shè)計(jì)（design-by-contract）的編程方式的優(yōu)點(diǎn)全部帶給了 .Net 編程語言。