（一）诊断概述
名称空间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
原文：http://www.cnblogs.com/dlxh/p/6766744.html