VerificationTest

VerificationTest[input]

允许验证测试，判断 input 是否计算得到 True.

VerificationTest[input,expected]

测试 input 是否计算得到 expected，不产生消息.

VerificationTest[input,expected,messages]

测试 input 是否计算得到 expected，产生消息名称 messages 的列表.

更多信息和选项

范例

打开所有单元关闭所有单元

基本范例  (4)

测试输入是否计算得到 True:

测试输入是否计算得到预期输出：

当测试失败时，它会返回 Failure 的输出：

当输入运算为预期输出但给出消息时，结果将是 MessagesFailure：

添加预期的消息：

范围  (2)

基本用途  (2)

执行检验，显示 Dataset 中的结果：

使用绝对公差，检验 NIntegrate 的结果是否在数值上等价于 Integrate：

这也可以通过使用 SameTest 选项实现：

选项  (13)

MemoryConstraint  (1)

运行测试直至超过内存极限：

SameTest  (5)

检验输入是否为整数：

检验输入的绝对精度是否至少不低于 10-12：

检验相对精度是否不低于 10-5：

检验两个表达式是否在化简后相等：

使用 Unevaluated 将未计算的表达式传递给 SameTest 函数：

可以使用 Function 和 Echo 的组合来打印 SameTest 函数的参数：

TestID  (4)

将 TestID 添加至 VerificationTest：

TestID 可以是任何表达式：

默认情况下，TestID 是测试的 Hash：

如果 TestCreate 表达式的输入不同，TestID 将发生变化：

使用 CreateUUID 每次创建随机标识符：

TimeConstraint  (1)

终止测试如果所花时间超过1秒：

MetaInformation  (2)

在 TestObject 中存储任意元信息：

访问存储的 MetaInformation：

MetaInformation 可以是任何表达式：

可能存在的问题  (3)

在与实际输出比较前计算预期输出：

使用 Unevaluated 比较求值之前的表达式：

运行预期输出所产生的信息不算在预期信息内：

如果 SameTest 的运算结果不是 True 或 False，则会报告失败类型 "SameTestUnevaluated"：

Wolfram Research (2014)，VerificationTest，Wolfram 语言函数，https://reference.wolfram.com/language/ref/VerificationTest.html （更新于 2023 年）.

文本

Wolfram Research (2014)，VerificationTest，Wolfram 语言函数，https://reference.wolfram.com/language/ref/VerificationTest.html （更新于 2023 年）.

CMS

Wolfram 语言. 2014. "VerificationTest." Wolfram 语言与系统参考资料中心. Wolfram Research. 最新版本 2023. https://reference.wolfram.com/language/ref/VerificationTest.html.

APA

Wolfram 语言. (2014). VerificationTest. Wolfram 语言与系统参考资料中心. 追溯自 https://reference.wolfram.com/language/ref/VerificationTest.html 年

BibTeX

@misc{reference.wolfram_2024_verificationtest, author="Wolfram Research", title="{VerificationTest}", year="2023", howpublished="\url{https://reference.wolfram.com/language/ref/VerificationTest.html}", note=[Accessed: 18-December-2024 ]}

BibLaTeX

@online{reference.wolfram_2024_verificationtest, organization={Wolfram Research}, title={VerificationTest}, year={2023}, url={https://reference.wolfram.com/language/ref/VerificationTest.html}, note=[Accessed: 18-December-2024 ]}