単体テストの自動生成

Pex: Automated Exploratory Testing for .NET
http://research.microsoft.com/Pex/

Microsoft Resarchのツール。
手書きのUnitTestコードを実行し、実行パスをモニタリングすることによって条件分岐のポイントを発見し、
そのテストでは通らなかったパスを通るような条件のテストコードを自動的に生成する。
生成されたテストコードを再度実行し、それでも実行されなかったパスを通る条件のテストコードを生成する。
さらに。。。。を繰り返し、テストのカバレッジを向上させようとするツール。

自動生成されたコードは、ファイルとして残るので、このコードを修正することで、それぞれのパターンでの期待値も設定することが可能のようだ。

実際の使い方は、こちらのVideoを参照
http://channel9.msdn.com/posts/briankel/Pex-Automated-Exploratory-Testing-for-NET/