为什么是DateTimeParse方法.TryParse(String, DateTimeFormatInfo, Dat

本文关键字：String DateTimeFormatInfo Dat TryParse DateTimeParse 方法 为什么 | 更新日期: 2023-09-27 18:12:30

我一直在尝试让一些PEX样本工作，但任何与DateTime. tryparse/DateTime。Parse产生的结果令人失望。Pex没有提出任何有趣的参数，如果我用一个可达的含义来包装它，它就会简单地说1个未完成的目标。

我认为这一定是因为我收到关于DateTimeParse的消息。没有对TryParse进行检测，但是为什么首先要对它进行检测呢?为什么文档"参数化测试模式的Microsoft Pex"使用DateTime作为一个例子，如果它没有什么有趣的?

为什么是DateTimeParse方法.TryParse(String, DateTimeFormatInfo, Dat

Uninstrumented意味着Pex没有探索代码，也不知道它的路径，所以不能确保它将探索代码中的所有路径，因为它不知道如何探索DateTime.TryParse中的路径，以便生成输出，然后作为代码路径的输入。我希望你能照做。

因此，如果允许Pex检测DateTime类，它应该能够计算出代码中的路径并生成一些有用的探索。看一下使用Microsoft Pex Exercise 4进行参数化单元测试，希望它能比您所引用的文档更好地解释它。Pex只会测量你告诉它的对象，因为这是一个潜在的昂贵的操作(并且可能以一个深度图结束)。

在Pex Explorations的结果中，Pex应该在信息栏中给您一条关于需要检测的类型的消息。

相关文章：