テストに関しては、私はそれを支持してきました。私は今、大きなファンであり、TDDのようなことをしばしばしています。 VS 2010では、設計と回帰について私はちょうどMSTESTを使用しました。これは素晴らしいことです。私のすべてのプロジェクトはオープンソースで、とにかく私の仕事につながっています（物理学の研究@大学）。私はPexに入って、探していなかったあらゆる種類のエッジケースを見つけました。
この（C＃の）のような方法があるとします合計がintデータ型に収まらない場合は public static int Add(int x, int y)
{
return x + y;
}
は、それはおそらくユニットテストの価値があるエラー状況です。 Pexはそのようなエラーを識別し、それらのユニットテストを生成できますか？
次の各例と同様のコードで、静的解析を行い、SpecialFunction（）に渡す可能な値のリストを調べることができます。 SpecialFunction(5); // A
int x = 5;
SpecialFunction(x); // B
int x = 5;
x = condition ? 3 : 19;
SpecialFunction(x); // C
私はすでに、抽象