(一)诊断概述
名称空间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