如果要在.NET 4.0发布之前使用代码契约，我们可以在Visual Studio项目中引用程序集Microsoft.Contracts.dll，该程序集安装在%PROGRAMFILES%/Microsoft/Contracts/PublicAssemblies目录下。