BT

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

| 作者: Anand Narayanaswamy フォローする 0 人のフォロワー , 翻訳者 尾崎 義尚 フォローする 0 人のフォロワー 投稿日 2013年5月8日. 推定読書時間: 1 分 |

原文(投稿日: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

このスレッドのメッセージについてEmailでリプライする
コミュニティコメント

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

このスレッドのメッセージについてEmailでリプライする

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

このスレッドのメッセージについてEmailでリプライする

ディスカッション

InfoQにログインし新機能を利用する


パスワードを忘れた方はこちらへ

Follow

お気に入りのトピックや著者をフォローする

業界やサイト内で一番重要な見出しを閲覧する

Like

より多いシグナル、より少ないノイズ

お気に入りのトピックと著者を選択して自分のフィードを作る

Notifications

最新情報をすぐ手に入れるようにしよう

通知設定をして、お気に入りコンテンツを見逃さないようにしよう!

BT