（一）诊断概述
名称空间System.Diagnostics提供了用于跟踪、事件日志、性能测量以及代码协定的类。System.Diagnostics.Contracts名称空间中的类可以定义前提条件、后置条件和常量，它们不仅可以在运行期间检查，，还可以使用静态的协定分析器检查。
（二）代码协定
前置条件列出了参数必须满足的要求，后置条件定义了返回数据必须满足的要求，常量定义了方法中变量必须满足的要求。
（三）跟踪
参考：
（四）事件日志
参考：
（五）性能监视
（一）诊断概述
名称空间System.Diagnostics提供了用于跟踪、事件日志、性能测量以及代码协定的类。System.Diagnostics.Contracts名称空间中的类可以定义前提条件、后置条件和常量，它们不仅可以在运行期间检查，，还可以使用静态的协定分析器检查。
（二）代码协定
前置条件列出了参数必须满足的要求，后置条件定义了返回数据必须满足的要求，常量定义了方法中变量必须满足的要求。
（三）跟踪
参考：
（四）事件日志
参考：
（五）性能监视