BT

InfoQ ホームページ ニュース Code DiggerでPublic .NETコードの解析

Code DiggerでPublic .NETコードの解析

ブックマーク

原文(投稿日:2013/04/28)へのリンク

Code Diggerは、PexをベースとしたらVisual Studio 2012の拡張機能であり、.NETコードの実行パスを解析することができる。Visual Studioのエディタからツールを実行したあとで表示された表から各行を解析することによりコードの振る舞いを理解することができる。

この拡張機能は先日MicrosoftのResearch in Software Engineering (RiSE)からリリースされており、計算と入出力ペアだけでなく、バグの位置、例外とアサーションの失敗を表示する。またこの拡張は、ポータブルクラスライブラリに存在するpublicの.NETコードのみで動作する。

Code diggerは、Pexエンジンと、体系的にコードのすべてのブランチを解析して、高いコードカバレッジを達成するためのテストスイートの生成を試みるMicrosoft ResearchのZ3制約ソルバーを使用している。

code diggerを動作させるためには、Visual Studio 2012でポータブルクラスライブラリを作成して、publicコードを作成し、コードエディタで右クリックして、Generate Inputs / Outputs Tableオプションを選択する必要がある。これであなたのコードのすべての分岐をカバーするパラメータ値の一覧をテーブルが表示される。

ステップ1



ステップ2



Code Diggerから生成された出力



"ポータブルクラスライブラリの探索を制限することにより、私たちはPexエンジンが理解できない特定のプラットフォームに依存する問題を回避します。私たちのゴールは、Visual Studio 2012でPexのすべての機能を利用可能にして、Fakesの代わりにMolesをサポートするが、この統合は現時点ではまだ準備ができていません。" とMicrosoftのPrincipal Research Software Design EngineerであるNikolai Tillmann氏は言う。

code diggerに含まれる機能は、Pex4Funでも探求することができる。

この記事に星をつける

おすすめ度
スタイル

こんにちは

コメントするには InfoQアカウントの登録 または が必要です。InfoQ に登録するとさまざまなことができます。

アカウント登録をしてInfoQをお楽しみください。

HTML: a,b,br,blockquote,i,li,pre,u,ul,p

コミュニティコメント

HTML: a,b,br,blockquote,i,li,pre,u,ul,p

HTML: a,b,br,blockquote,i,li,pre,u,ul,p

BT

あなたのプロファイルは最新ですか?プロフィールを確認してアップデートしてください。

Eメールを変更すると確認のメールが配信されます。

会社名:
役職:
組織規模:
国:
都道府県:
新しいメールアドレスに確認用のメールを送信します。このポップアップ画面は自動的に閉じられます。