（一）诊断概述

名称空间System.Diagnostics提供了用于跟踪、事件日志、性能测量以及代码协定的类。System.Diagnostics.Contracts名称空间中的类可以定义前提条件、后置条件和常量，它们不仅可以在运行期间检查，还可以使用静态的协定分析器检查。

（二）代码协定

前置条件列出了参数必须满足的要求，后置条件定义了返回数据必须满足的要求，常量定义了方法中变量必须满足的要求。

（三）跟踪

参考：http://962410314.blog.51cto.com/7563109/1599988

（四）事件日志

参考：http://www.cnblogs.com/nokiaguy/archive/2009/02/26/1398708.html

（五）性能监视

参考：http://www.cnblogs.com/ZHONGYUANZHONGGONG/p/3399711.html

【读书笔记】C#高级编程 第二十章 诊断