InfoQ

News

.NET向けPex自動化調査テスト

作者 Al Tenhundfeld , 翻訳者 編集部 投稿日 2008年7月17日 午後6時38分

コミュニティ
.NET
トピック
ユニットテスト
タグ
MSTest,
xUnit.Net,
MbUnit,
TDD

Pex(リンク)はMicrosoft Research提供によるホワイトボックステスト生成ツールである。特定のメソッド内で各実行パスのテストケースを別々に手書きするのではなく、デベロッパは1つのパラメータ化されたテストメソッドを記述することができる。Pexはそれを使用し、標準MS Testユニットの一式を生成し、ターゲットメソッド内でパスを実行する。Pexは命令ごとに.NETコードを分析し、コードが実行しているアクションを 解釈し、「完全に自動的な方法で、Pexは関連のあるテスト入力を計算する。テスト入力は、コードのコーナーケースをトリガーする」。

手書きによるパラメータ化されたユニットテストを与えられると、Pexはコードを分析し、自動的に関連のあるテスト入力を判別する。結果はコードカバレッジが高い、従来のユニットテストスイートである。また、Pexはプログラマに対してバグの修正方法を提案している。

Pexはメソッドの意図された振る舞いを定義したり、カバーするユニットテストを書き出すというデベロッパの必要性を少なくするものではなく、APIや機能性が不可欠なユースケースやユーザストーリーの要求を満たすことを確実にしている。しかしながら、Pexはテストが実装コードを適切にカバーする(リンク)ことを 保証するための、別の手段として使用することができる。この自動化された調査テストは、メソッドで意図されていない振る舞いやエラーを特定するのに、特に便利である。

ほとんどの生成ツールと同様に、Pexは特定の規則で使用されたときに、最もその機能を発揮する。メソッドを短く、テスト可能な状態に維持することは、 TDDの設計原則であり、この原則はPex生成のテストをさらに理解しやすくする。またPexはこの設計目標を達成する上で助けとなり得る。たとえば、 Pexが大量の複雑なメソッドのテストを生成する場合、メソッドはリファクタリングの候補になる場合がある。またメソッドがカスタムオブジェクトではなく パラメーターとしてプリミティブを持っている場合に、最も良く機能する。

デフォルトで、PexはVisual Studio 2008およびMSTestを統合するが、Pexの拡張機能はダウンロードしNUnit、MbUnitまたはxUnit.Netをサポートすることができる(リンク)。Pexは、Extended Reflection管理プロファイリングAPI(リンク)上にビルドし、モニタリングアプリケーションの統合を促進する。

現在PexはMicrosoft Research提供による試作であり、Microsoftのサポート対象製品ではない。ユニットテストを記述することを主な目的としてPexを使用すべ きではない。しかしその自動化されたテスト生成は、効率的にエッジケースをカバーするのに役立つ。

原文はこちらです:http://www.infoq.com/news/2008/07/introduction-lean-thinking

ブックマーク
digg+,
reddit+,
del.icio.us+,
dzone+,
slashdot+
Hatena

特集コンテンツ一覧

Flex 4の新機能トップ10

今週(2009年6月1日)AdobeはFlex 4の正式な初ベータ版をリリースしました。Flex 4はGumbo(オクラ)というコードネームで開発されています。今回のリリースには大きな変更が多数含まれています。このRIAフレームワークの最新バージョンにおいて変更された事柄についての概要を以下のリストで見ていきましょう。

Domain Driven Design(ドメイン駆動設計) Quickly 日本語版

ビジネス領域の深い理解を反映したドメインモデルを設計するための、ヴィジョンとアプローチです。この本は、Eric Evans氏の「Domain Driven Design」の主要点を短く読みやすく要約しました。

JavaプログラマがFlexとBlazeDSを学んだ方がいい13の理由

この記事ではJavaプログラマがなぜFlexとBlazeDSを学ぶべきなのかについて13の理由を述べています。なぜ高度にインタラクティブなWeb サイトからJavaで開発されたバックエンドをもつエンタープライズ・アプリケーションまでを含む、リッチ・インターネット・アプリケーション(RIA)の開発にFlexとBlazeDSの組み合わせが最適な選択肢となるのかについて述べています。

仮想パネル: バックログは重要な成果物とプラクティスか、それとも無駄か?

Mary Poppendieck氏、Ron Jeffries氏、Jeff Patton氏、David West氏、Steve Freeman氏、Jason Yip氏が、バックログに関する彼らの意見とアジャイルチームを成功させるために必要な事を語った。

Perf4Jを使ったパフォーマンス解析とモニタリング

この記事ではAlex Devine氏が、Java開発者がPerf4Jをどのように利用できるかと、タイミングステートメントにコードを追加し、ロギング、結果の解析とモニタリングを行うオープンソースツールセットの説明をします。

複雑な外部DSLを開発する

本稿では、Vaughn Vernon氏が内部DSLと外部DSLの違いを説明し、複雑な外部DSLを開発する際のステップを示します。

J2EEアプリケーションにおけるAOPを使ったフェッチ戦略の実装

この記事では低レベルのサービス・レイヤやリポジトリ・レイヤを肥大化させることなく、フェッチング・ストラテジによってモジュール化された方法でバックエンドにあるシステムからデータを取得する処理を最適化する方法について説明します。

実証済みのアイデアの融合: S#arp Architectureの裏側

この記事では、Web開発における多数の成熟傾向と、クライアントに価値を提供することに対するそれらのメリット、およびS#arp Architecture(最善の手法と技術を活用しようとするASP.NET MVCをベースとしたフレームワーク)内でのそれらの使用について取り上げます。