管理対象アプリケーションのMicrosoft Application Verifierと同等

Question

管理対象アプリケーションのMicrosoft Application Verifierに相当するものはありますか？

ありがとうございます！

Answer 1

それは、この機能は、マネージコードのために必要とされる場合があることが判明したための同等のツールはありません。

残念ながら、私はその状況のうちの1つにいます。

は、マイクロソフトリサーチCHESSを見ている：http://research.microsoft.com/en-us/projects/CHESS/

チャネル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のヒープからメモリを割り当て、ロックとハンドルを使用します。それまでに何かが見つかる確率はがかなり低いです。マネージドコードは、アプリケーションベリファイアがアンマネージ言語で書かれたコードに役立つような種類の問題を抱えていません。

多分あなたは何か他のものを確認したいと思うかもしれません。 FxCopツールは、.NETプログラミングでよく見られるあらゆる種類のoopsesの管理コードを分析する優れたツールです。 Application Verifierがチェックするものとはまったく異なる一連の問題です。これは静的アナライザーでもあります。実行時に、検証プログラムは.NET Frameworkコードでジッタと強力な引数の検証を組み込み、CLRは問題を解決しません。管理されたコードは、アプリケーションベリファイアのようなツールを必要とするような種類の問題によって、まったく影響を受けませんでした。

はしかし、いや、マネージコード