c# - Pex 可以自动发现类型上溢/下溢情况吗？

Question

假设有这样的方法（C#）：

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

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

Answer 1

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

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