Таблица верификаций, утверждений и других проверок

Существует четыре типа проверок для тестирования значений и ответа на отказы: верификации, предположения, утверждения и критические утверждения.

  • Верификации — Производят и записывают отказы, не выдавая исключение. Когда отказ верификации происходит, остающийся тестовый прогон к завершению.

  • Предположения — Убедитесь, что тестовая среда соответствует предусловиям, которые в противном случае не приводят к непройденному тесту. Когда отказ предположения происходит, среда тестирования отмечает тест, как отфильтровано.

  • Утверждения — Убедитесь, что предусловиям текущего теста соответствуют. Когда отказ утверждения происходит, маркеры инфраструктуры текущий тест, как отказавший и неполный. Однако отказ не предотвращает соответствующее выполнение последующих тестов.

  • Критические утверждения — Убедитесь, что оставшаяся часть текущего сеанса тестирования допустима и состояние, являются восстанавливаемыми. Когда отказ критического утверждения происходит, среда тестирования прерывает сеанс тестирования.

Эти типы проверки имеют параллельные методы для тех же типов тестов. Методы используют общее соглашение о присвоении имен. Например, методы, которые тестируют на истинное значение, используют форму <qualify>True, где <qualify> может быть verify, assumeутверждение, или fatalAssert. Это:

  • verifyTrue — Проверьте, что значение верно.

  • assumeTrue — Примите, что значение верно.

  • assertTrue — Утверждайте, что значение верно.

  • fatalAssertTrue — Фатально утверждайте, что значение верно.

Общая цель

Тип тестаФорма имени методаПример
Значение верно.<qualify>TrueverifyTrue
Значение является ложным.<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

Смотрите также

| | | |

Для просмотра документации необходимо авторизоваться на сайте