Main Content

验证、断言及其他鉴定一览表

测试值和对失败进行响应有四种类型的鉴定：验证、假设、断言和致命断言。

  • 确认 - 在不返回异常的情况下产生并记录失败。发生验证失败时，其余测试将继续运行完毕。

  • 假设 - 确保测试环境满足先决条件，不会导致测试失败。发生假设失败时，测试框架将测试标记为已滤除。

  • 断言 - 确保满足当前测试的先决条件。发生断言失败时，框架将当前测试标记为失败和不完整。但是，失败不会阻止后续测试的执行。

  • 致命断言 - 确保当前测试会话的其余部分有效和状态可恢复。当致命断言失败发生时，测试框架会中止测试会话。

对于相同类型的测试，这些鉴定类型具有相似的方法。这些方法使用一种共同的命名约定。例如，测试 true 值的方法使用形式 <qualify>True，其中 <qualify> 可以是 verify、assume、assert 或 fatalAssert。即：

  • verifyTrue - 确认值为 true。

  • assumeTrue - 假设值为 true。

  • assertTrue - 断言值为 true。

  • fatalAssertTrue - 致命断言值为 true。

一般用途

测试类型方法名称的形式示例
值为 true。<qualify>TrueverifyTrue
值为 false。<qualify>FalseverifyFalse
值等于指定的值。<qualify>EqualverifyEqual
值不等于指定的值。<qualify>NotEqualverifyNotEqual
两个值是同一个实例的句柄。<qualify>SameHandleverifySameHandle
值不是指定实例的句柄。<qualify>NotSameHandleverifyNotSameHandle
函数返回 true。<qualify>ReturnsTrueverifyReturnsTrue
测试产生无条件的失败。<qualify>FailverifyFail
值符合指定的约束。<qualify>ThatverifyThat

错误和警告

测试类型方法名称的形式示例
函数引发指定的异常。<qualify>ErrorverifyError
函数发出指定的警告。<qualify>WarningverifyWarning
函数未发出警告。<qualify>WarningFreeverifyWarningFree

不相等性

测试类型方法名称的形式示例
值大于指定的值。<qualify>GreaterThanverifyGreaterThan
值大于或等于指定值。<qualify>GreaterThanOrEqualverifyGreaterThanOrEqual
值小于指定的值。<qualify>LessThanverifyLessThan
值小于或等于指定值。<qualify>LessThanOrEqualverifyLessThanOrEqual

数组大小

测试类型方法名称的形式示例
值为空。<qualify>EmptyverifyEmpty
值不为空。<qualify>NotEmptyverifyNotEmpty
值具有指定的大小。<qualify>SizeverifySize
值具有指定的长度。<qualify>LengthverifyLength
值具有指定的元素计数。<qualify>NumElementsverifyNumElements

类型

测试类型方法名称的形式示例
值的类是指定的类。<qualify>ClassverifyClass
值是指定类的实例。<qualify>InstanceOfverifyInstanceOf

字符串

测试类型方法名称的形式示例
值包含指定的字符串。<qualify>SubstringverifySubstring
值与指定的正则表达式匹配。<qualify>MatchesverifyMatches

另请参阅

| | | |