.NET Clips - Pexのタグがつけられたエントリー
1
CLIPS

PexとContracts

2629日前に更新 aoki1210aoki1210 2634日前に登録
2010年10月04日 GMT 2010年09月29日 GMT
id:shiba-yan にうちの会社でユニットテストをやろうとしてたんだけど、結局使ってくれなかったんだーって話をしていたら、Code ContractsとPex使えよ!と教えてもらったよ。 Code Contractsは.NETで「契約による設計(DbC:Design By Contract)」を実現するためのランタイムとVisual Studioに統合される開発環境です。 つまりC#などの言語で契約、つまりメソッド毎に「事前条件 (precondition)」「事後条件 (postcondition)」とクラス(インスタンス)における「不変条件 (invariant)」を記述することで静的検証と実行時の検証をサポートします。 Code Contractsではインターフェイスに契約を記述してそのインターフェイスを実装するすべてのクラスに契約を適用することができてこの点が興味深いです。 Pexは対象のメソッドの構造を解析してコードカバレッジが100%となるパラメータの組み合わせを生成してユニットテストコードを自動生成します。Code ContractsとPex... (詳細)
カテゴリー: ツール(VisualStudio/Expression) | クリック数: 45 | コメント | | ソースサイト: d.hatena.ne.jp
タグ: Code Contracts, Pex
1
CLIPS

Pex を ブラウザー上で試せます!

2650日前に更新 aoki1210aoki1210 2656日前に登録
2010年09月13日 GMT 2010年09月07日 GMT
Pex をブラウザー上で試せるサイトがありました! Pex for fun - from Microsoft Research 1.上のサイトを開いて、New をクリックします。 2.コードを実装し、Ask Pex! をクリックすると、Pex の実行結果が表示されます。 実はこのサイトは、他の人が実装したコードを Pex のテストを頼りに実装するという Coding Duel という事をやっています。 Coding Duel の問題に登録するには、名前を入力して、Turn This Puzzle Into A Coding Duel をクリックすると登録出来そうです。 また、Random Puzzle をクリックすると、ランダムに問題が抽出されて Coding Duel が始まります。 Ask Pex! をクリックして、実行結果を確認しながらコードを実装していきましょう! 見事解けたらこんな感じの画面が表示されます。*1 面白そう!と思ったら一回試してみてはどうでしょう?どう書く?org ... (詳細)
カテゴリー: ツール(VisualStudio/Expression) | クリック数: 15 | コメント | | ソースサイト: d.hatena.ne.jp
タグ: Pex, TDD
2
CLIPS

Pex 楽しいよ!

2692日前に更新 aoki1210aoki1210 2696日前に登録
2010年08月02日 GMT 2010年07月29日 GMT
以前 時間が出来たら調べること - お だ のスペース で名前だけ紹介した Pex ですが、やっと少しだけ試してみました。感想は、めっちゃすげ~、楽しい! Pex がどんなツールかというと、実装しているコードに対して、高いコードカバレッジのテストケースを生成してくれるツールです。 Pex, Automated White box Testing for .NET - Microsoft Research ダウンロードに MSDN Subscription が必要となっていますが、非商用利用ならコマンドライン用の物がダウンロード出来ます。 ※本来は、Visual Studio のアドインとして、VS上から実行出来る。 今回は無料で作れる環境で試してみました。 ・Visual C# 2010 Express ・NUnit ・Academic Release Pex v0.92.50603.1 まず、Class Libraryプロジェクトを作成し次の様な足し算と割り算を行うクラスを作り、ビルドします。 using Syst... (詳細)
カテゴリー: アジャイル/チーム/TDD | クリック数: 36 | コメント | | ソースサイト: d.hatena.ne.jp
タグ: Pex, TDD