わんくま同盟 大阪勉強会 #38 http://www.wankuma.com/seminar/20100911osaka38/Default.aspx

1. Pexを試してみよう！ 2010/09/11 お だ

2. 自己紹介 織田 信亮 （おだ しんすけ） 新日本コンピュータマネジメント という会社で開発者やってます .NET や SQL Server を個人的に触ってます オフラインでの活動 わんくま, MS, JGGUG等の勉強会に出没 オンラインでの活動 http://d.hatena.ne.jp/odashinsuke/

3. アジェンダ ユニットテスト (フレームワーク)の紹介 Pexの紹介 試してみよう！ まとめ

4. ユニットテスト(フレームワーク)の紹介

5. ユニットテスト (フレームワーク) の紹介 ものすごく簡単に説明すると… テスト用のコードを実装する事によって、何回でも自動でテスト出来るようになります！ 自分が書いたコード以外でも、提供されたコンポーネントに対して使い方を学習する場合にも有効です！

7. NUnit

8. MbUnit

9. xUnit.NET 等があります。 .NET に限らず他の言語でも存在します。

10. DEMOユニットテストってどんなの？

11. Pexの紹介

12. Pexの紹介 Microsoft Research が開発したツール 名前から想像がつくように、MS の関連研究機関です。 (一応独立しているらしい。) F# とか Spec# も Microsoft Research から出てきました。

13. Pex automatically generates test suites with high code coverage.Right from the Visual Studio code editor, Pex finds interesting input-output values of your methods, which you can save as a small test suite with high code coverage. Microsoft Pex is a Visual Studio add-in for testing .NET Framework applications. http://research.microsoft.com/en-us/projects/pex/default.aspx

14. Pexの紹介 高いカバレッジ率のテストコードを自動生成してくれるツール Visual Studio の アドイン なんだ！ メソッドに対して、注意すべきパラメータや戻り値 に対するテストコードを生成するよ

15. Pexの紹介 ようは・・・ ユニットテストで説明した、 「テスト用のコードを実装する」 ってのを肩代わりしてくれる ツール。

16. Pexの紹介 動作環境 Win7、2008、2008R2 32bit/64bit XP、2003、Vistaでもテストしてないけど動くはず。 .NET Framework 2.0/3.0/3.5/4.0

17. Pexの紹介 ダウンロードは、 MSDN サブスクライバ ダウンロード からダウンロード出来ます。

18. Pexの紹介 無償版もあります。 Academic Release for non-commercial use only. http://research.microsoft.com/en-us/projects/pex/downloads.aspx 商用利用はダメなので、検証用に使って下さい。 但し、アカデミック版は VS のアドインではなく コマンドライン のみです。

19. 試してみよう！

20. 試してみよう！ 今回は、無償で揃えられる環境を用意しました。 Visual C# 2010 Express NUnit2.5.6 Academic Release Pexv0.92.50603.1 ※最新版では無いです。

21. DEMOPexをコマンドラインで触ってみる オプション 多過ぎ！

22. 試してみよう！ using System; public class Class1 { public int divide(int a, int b) { if (b == 0) throw new ArgumentException(“0除算良くない！"); return a / b; } } このコード意図していない 例外が発生します！

23. DEMO割り算を行うメソッドに Pexを使う

24. 試してみよう！ System.Int32.MinValue は -2,147,483,648 System.Int32.MaxValue は 2,147,483,647 MinValue / - 1 は 2,147,483,648 になって、 MaxValueより大きくなる？！ OverflowException発生！

25. 試してみよう！ もう少し詳しく見てみると… Pex generates Unit Tests from Parameterized Unit Tests through Automated White box Testing based on Dynamic Symbolic Execution: http://research.microsoft.com/en-us/um/redmond/projects/pex/wiki/WebHome.html Pexは parameterized unit tests から、テストメソッドを生成してくれるツール。

28. 試してみよう！ さっきの割り算のデモで、parameterizedunit tests 書いてなくね？ ->Pex Wizard というツールを使ってます！ こいつが、parameterized unit tests を生成してくれます。

29. 試してみよう！ Pex Wizardって？ パラメーター化された単体テストのテンプレートおよびパラメーター化されたモックのセットを生成する。 それだけでは実行出来ないけど、Pexが実行可能なテストを生成するからおｋ！ Wizard が生成したコードは適当にカスタムしたら？ http://research.microsoft.com/en-us/um/redmond/projects/pex/wiki/How%20Pex%20Will%20Help%20You.html

30. Pex Wizard と Pexが生成したコード を眺める

32. DEMOPex Wizard で日本語を使った場合

34. ディクショナリ

36. 試してみよう！ Visual Studio に統合する pexwizard "$(TargetPath)" /testf:Nunit pex"$(TargetDir)exwizardprojectinebug(TargetName).Tests.dll"

37. まとめ 非商用なら、無償環境で試せます！ テスト書いたことない人でも、Pex Wizard があるから安心！ サブスクリプション持ってる人は、VS アドインで(ﾟдﾟ)ｳﾏｰ ->本家の資料は、VS アドイン 前提で書かれてます。 日本語の情報少ないです。 ->是非試して情報発信お願いします。

38. 参考資料 本家サイト Pexand Moles - Isolation and White box Unit Testing for .NET http://research.microsoft.com/en-us/projects/pex/default.aspx