Can Pex能自动发现类型上溢/下溢条件吗？

Question

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

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

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

Answer 1

是的，它非常好。在介绍Pex时，他们会经常使用Java库的二进制排序例程中发现的bug，在找到新的中点时，它会溢出非常大的数组。相关的一组错误是闰年错误，他们通常会使用来自Microsoft自己的产品之一的功能（Azure？），这些产品在野外显示了其中一种产品。

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