c# - Pex 能否自动发现类型溢出/下溢情况？

Question

假设有这样一个方法(C#):

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

如果总和不适合 int 数据类型，则可能是错误情况，值得进行单元测试。 Pex 是否能够识别此类错误并为这些错误生成单元测试？

Answer 1

是的，它非常擅长。在引入 Pex 时，他们会经常使用在 Java 库的二进制排序例程中发现的错误，在该例程中，当找到新的中点时，它会溢出非常大的数组。一组相关的错误是闰年错误，它们通常会使用 Microsoft 自己的产品(Azure？)中的一个功能，该产品在野外显示了其中一个。

Pex 捕获许多不同类别的错误，包括溢出、下溢、空引用、无效参数，甚至您在应用程序中抛出的任何自定义异常。我强烈建议阅读一些入门指南，然后将 Pex 与 Code Contracts 结合使用，从长远来看会让您的生活变得更加轻松。