Assertion.ru

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

Утверждение заявления от спецификации, которая может быть проверена. И первый шаг заключается в выявлении всех утверждений в спецификации. После этого разработчик может писать тесты.

Примеры утверждений из спецификации языка программирования Java:

Там может быть много заявлений, которые не являются проверяемые или привлекать неопределенности. Иногда такие заявления относятся такие слова, как "возможно" или "возможно". Это не правда, что если Sentance есть слово "может" не проверяемые, но обычно это так.

Пример не-проверяемые утверждения:

Есть много дискуссий и споров об утверждениях. Некоторые говорят, что примеры не должны рассматриваться как утверждения. Другие говорят, что каждое заявление утверждений и что есть два вида из них: проверяемые и не проверяемые. Мое личное мнение таково, что утверждение, безусловно, то проверяемым. И в большинстве случаев являются примерами утверждений просто потому, что испытания могут быть написаны проверки конкретного примера.

Процесс выявления утверждений в спецификациях называется разметки. Есть много подходов. Но в любом случае пользователь должен иметь возможность получить информацию об Погода заявление является утверждением и как-то отличить одно от другого утверждения. Там может быть отдельное хранилище с отображением их утверждения и ID к отчетности. Мне нравится идея интеграции разметку в спецификации. Такой подход был выбран для языка области тестов Java SE. JLS была написана в FrameMaker. Были созданы с экспортом механизмы PDF и HTML версии. HTML-версия была использована при создании тестового набора.

В JLS JLS 2 и некоторых специальных якорей определить начало и конец утверждение. Дополнительная информация была assertionID и краткое резюме заявления. Конец якорь изображение и ссылку на испытания. Просмотр HTML-кода и зрения отображаются на соответствующие иллюстрации. Утверждение ID являются arr033, arr034, arr020 и т.д.

Генеральная идея может быть описана как:

<a name=assertionID> <! - shord описание как HTML комментарий ->
Утверждение выступление здесь
<img src="pics/assert.gif"> <a href="path к test"> испытание ID которого совпадает с утверждением ID </ A>

Если отдельные заявления в различные части спецификаций, проверяются одно испытание первого тега будет нечто вроде arr033_0, arr033_1, arr033_2.

Такая архитектура была использована для JLS JLS и 2. Она была слегка модифицирована для JLS3, но сохранил главную идею. Я знаю примеры подходов с нестатическая идентификаторов утверждения хранятся в отдельном репозитарии, где ID некоторый хеш-значение, вычисленное на основе содержания. По ряду причин он появился, чтобы быть не очень хорошим решением. Существует всегда трудный процесс перехода на новую версию спецификации. Но, на мой взгляд, это гораздо проще со статическими ID's, вмонтированных в спецификации.