如何丰富PEX生成的测试用例？

Question

这是我的问： 我必须测试一种方法，将三个短列表连接成一个较长的列表。而且我（pex）假设任何短名单都不为空（句子列在下面）。

PexAssume.IsTrue(third != (IList<int>)null, "third");
PexAssume.IsTrue(first != (IList<int>)null, "first");
PexAssume.IsTrue(second != (IList<int>)null, "second");

但测试是这样进行的： pex生成的测试用例都是零列表。 这是一个例子： 第一个{0,0} {0} {0}

秒{0} {0,0} {0}

第三个{0,0} {0} {0,0}

结果{0,0,0,0,0} {0,0,0,0} {0,0,0,0}

这是我的问题： 如何设置假设以丰富PEX生成的测试用例，以便不会有这么多0？

谢谢！

Answer 1

Pex根据完全测试函数所需的值生成值。它生成0的列表只是意味着列表中的特定值对您的函数无关紧要。您可以在函数中添加一些涉及列表中值的if语句，以强制Pex生成不仅仅是0的列表，但实际上不应该这样。

TL; DR 不要担心，0在你的测试中无关紧要。