用于托管应用程序的Microsoft Application Verifier的等效项

时间:2012-04-25 10:38:51

标签: clr managed application-verifier

您是否知道托管应用程序的Microsoft Application Verifier的任何等效内容?

谢谢!

2 个答案:

答案 0 :(得分:4)

这个问题没有多大意义。 Application Verifier中Application Verifier的最佳等价物是Application Verifier。它也可以工作,托管程序还从Windows堆分配内存并使用锁和句柄。它能找到任何错误的几率非常低。托管代码不会遇到使Application Verifier对以非托管语言编写的代码有用的问题。

也许您想要验证其他内容,但目前尚不清楚究竟是什么。 FxCop工具是一个很好的工具,可以分析.NET编程中常见的各种oopses的托管代码。与Application Verifier检查的问题完全不同的一组问题。它也是一个静态分析仪。在运行时,内置于抖动中的验证程序和.NET框架代码中的强参数验证以及CLR使您免于麻烦。托管代码在很大程度上受到了需要像Application Verifier这样的工具的问题的启发。

但不,没有托管代码的等效工具

答案 1 :(得分:1)

事实证明,托管代码需要此功能。

不幸的是,我现在处于其中一种情况。

查看Microsoft Research CHESS:http://research.microsoft.com/en-us/projects/CHESS/

Channel 9视频演示,该工具的开发人员提到该工具的行为与appverifier非常相似,并且可以测试托管代码:http://channel9.msdn.com/shows/Going+Deep/CHESS-An-Automated-Concurrency-Testing-Tool/

从:http://research.microsoft.com/en-us/downloads/b23f8dc3-bb73-498f-bd85-1de121672e69/

下载