C# 代码契约构建时间——如何改进它？答案

【问题标题】：C# Code Contracts build time -- how do I improve it?C# 代码契约构建时间——如何改进它？
【发布时间】：2012-01-18 09:49:08
【问题描述】：

我如何确定哪些证明最耗时，以便能够与Asserts 一起帮助验证者？

有没有比猜测和检查更好的方法？

【问题讨论】：

标签： c# code-contracts contract

【解决方案1】：

有点。您可以使用选项-stats slowmethods 找到最慢的方法（您也可以使用-statsOnly 来简化日志输出）。

不幸的是，输出如下所示：

Methods taking the longest:
1:   Method #196, 00:00:08.1438107
2:   Method #143, 00:00:07.1916795
3:   Method #68, 00:00:02.2282228
4:   Method #71, 00:00:01.4211421
5:   Method #438, 00:00:01.3781378
6:   Method #452, 00:00:00.8640864
7:   Method #78, 00:00:00.8330833
8:   Method #439, 00:00:00.7390739
9:   Method #72, 00:00:00.5760576
10:  Method #75, 00:00:00.4090409

我不确定是否有办法从方法号中找到方法名称。

【讨论】：

【解决方案2】：

使用分析器来执行此操作，例如 Visual Studio 内置的分析器。您可以从 Analyze 菜单访问它。它会显示代码中所有方法的出现次数和次数。

当然也有第三方解决方案，例如Ants Profiler

【讨论】：