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

Question

次のようなメソッドがあるとします（C＃）：

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

合計がデータ型に適合しない場合はint、単体テストに値するエラー状況である可能性があります。Pexはそのようなエラーを識別し、それらの単体テストを生成できますか？

Answer 1

はい、とても上手です。Pexを導入するとき、彼らはJavaライブラリのバイナリソートルーチンで見つかったバグを頻繁に使用します。このバグは、新しい中間点を見つけるときに非常に大きな配列でオーバーフローします。関連する一連のバグはうるう年のバグであり、通常、これらの1つを実際に表示したMicrosoft独自の製品の1つ（Azure？）の関数を使用します。

Pexは、オーバーフロー、アンダーフロー、ヌル参照、無効な引数、さらにはアプリケーションでスローするカスタム例外など、さまざまなクラスのバグをキャッチします。入門ガイドのいくつかを読んでから、Pexとコードコントラクトを組み合わせて、長期的にはあなたの生活をはるかに楽にすることを強くお勧めします。