BT

Pex - Microsoft Research が開発したユニットテストツール

| 作者: Anand Narayanaswamy フォローする 0 人のフォロワー , 翻訳者 吉田 英人 フォローする 0 人のフォロワー 投稿日 2012年10月30日. 推定読書時間: 1 分 |

原文(投稿日:2012/10/27)へのリンク

 

PexMicrosoft Research が開発した Visual Studio アドイン形式のテストツールだ。マネージドコード全体を走査して,プロジェクトに必要なテストを生成する。さらにコードコントラクトをサポートしており,コードを正しく実行する上で最初に検証の必要な事前条件や事後条件,不変条件 (invariant) などの条件を,アノテーションとしてメソッドに記述することができる。

Pex はコードを詳細に分析して無効なデータとして使用すべき値を求め,適当な事前条件を自動的に追加する。一方ではコードコントラクトが,Pex の行った分析をさらに向上するための付加的な情報やデータを提供する。Visual Studio 上で Pex によって生成されたテストプロジェクトは,ターゲットとして MSTest が設定される。このデフォルト設定は,NUnit など,他のテストフレームワークと同じである。

パラメタライズドテストを行うには,パラメータとして適切な値を渡す必要がある。これは非常に難しい作業である,と Dino Esposito 氏は指摘する。氏の説明によると Pex は,ダイナミックかつシンボリックな実行技術を駆使したイタレーションを採用することによって,適切なテスト値を選択する作業を支援し,開発者のテスト実行を容易にするツールなのだ。

Pex は Web から 無料でチェックアウトすることができる。 提供されるのは Visual Studio 用の Pex パワーツールの簡易版で,コードパズルが含まれている。テスト対象となる C#,Visual Basic,あるいは F# のコードさえあれば,後のすべての処理はクラウド上でバックグラウンド実行される。

Pex Framework が動作するのは Visual Studio 2010 のみである。開発に Visual Studio 2012 を使用している場合,Microsoft Fakes フレームワークが必要だ。

 

この記事に星をつける

おすすめ度
スタイル

こんにちは

コメントするには 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