Practical specification and verification with code contracts
Practical specification and verification with code contracts
复制标题
代码合同的实际规范和验证
DOI：
10.1145/2527269.2534188
复制
发表时间：
2013
影响因子：
--
通讯作者：
F. Logozzo
中科院分区：
文献类型：
--
作者：
F. Logozzo
在本教程中，我将介绍CodeContracts。NET解决方案的合同规范。codeconcontracts由语言和编译器无关的API组成，用于表达契约，以及一组自动生成文档和执行动态和静态验证的工具。CodeContracts API是。NET版本之后，这些工具可以在Visual Studio Gallery中下载。到目前为止，它们已经被下载了超过10万次。
In this tutorial I will introduce CodeContracts, the .NET solution for contract specifications. CodeContracts consist of a language and compiler-agnostic API to express contracts, and of a set of tools to automatically generate the documentation and to perform dynamic and static verification. The CodeContracts API is part of .NET since v4, the tools are available for download on the Visual Studio Gallery. To date, they have been downloaded more than 100,000 times.