Эквивалент Microsoft Application Verifier для управляемых приложений

Question

Знаете ли вы какой-либо эквивалент Microsoft Application Verifier для управляемых приложений?

Спасибо!

Answer 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/

Answer 2

Вопрос не имеет большого смысла. Наилучшим эквивалентом для Application Verifier в управляемом приложении является Application Verifier. Он работает так же хорошо, управляемая программа также выделяет память из куч Windows и использует блокировки и дескрипторы. Вероятность того, что он когда-нибудь что-то не так, просто невелика. Управляемый код просто не страдает от проблем, которые делают Application Verifier полезным для кода, написанного на неуправляемом языке.

Может быть, вы хотите проверить что-то еще, не совсем понятно, что именно. Средство FxCop - это хороший инструмент, который анализирует управляемый код для всех видов операций, которые распространены в программировании.NET. Совсем другой набор проблем, чем проверяет Application Verifier. Это также статический анализатор. Во время выполнения верификатор, встроенный в джиттер, и строгая проверка аргументов в коде платформы.NET и CLR избавят вас от проблем. Управляемый код был во многом вдохновлен проблемами, требующими такого инструмента, как Application Verifier.

Но нет, нет эквивалентного инструмента для управляемого кода