关于pex限制的问题

Question

我正在对一些c#代码运行测试，而pex没有用Math.Acos覆盖该语句(它是一个大型switch语句的一部分)。我很好奇有没有人知道为什么pex有这个限制？我在网上看了看，什么也没找到。

Answer 1

Pex构建了它接下来尝试覆盖的路径的约束系统(路径条件)。然后，它依靠约束求解器为该约束系统生成令人满意的分配。在某些情况下，约束解算器无法找到值(在合理的时间内)。目前，这主要发生在涉及浮点变量或decimal类型变量的代码中。

例如，假设您希望满足条件Math.Acos(x) <= y。除非Pex可以跟踪上一次执行中输入x通过Math.Acos函数所采用的路径(其中Math.Acos(x) > y)，否则约束求解器必须了解Math.Acos如何工作才能求解该约束。

即使Pex可以访问Math.Acos的实现，对于约束求解器来说，生成的约束系统可能仍然太复杂，无法在合理的时间内处理。