Pexはタイプオーバーフロー/アンダーフローの条件を自動的に検出できますか？

Question

この（C＃の）のような方法があるとします合計がintデータ型に収まらない場合は

public static int Add(int x, int y) 
{ 
    return x + y; 
} 

は、それはおそらくユニットテストの価値があるエラー状況です。 Pexはそのようなエラーを識別し、それらのユニットテストを生成できますか？

Answer 1

はい、とても上手です。 Pexを導入するときには、Javaライブラリのバイナリソートルーチンにあるバグを頻繁に使用します。このバグは、新しい中点を見つけるときに非常に大きな配列でオーバーフローします。関連するバグのセットはうるう年のバグです。マイクロソフト自身の製品（Azure？）の機能を使用して、これらのうちの1つを野生に表示します。

Pexは、オーバーフロー、アンダーフロー、ヌル参照、無効な引数、さらにはアプリケーションで投げたカスタム例外さえも含め、さまざまな種類のバグをキャッチします。私は、いくつかのスタートガイドを読んで、Pexとコード契約を組み合わせて長期的にあなたの人生をはるかに簡単にすることを強くお勧めします。