Способ диаграмм причин–следствий

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

Шаги способа построения диаграмм причинно–следственных связей:

1) Для каждого модуля перечисляются причины, то есть условия ввода или классы эквивалентности условий ввода, а также следствия, то есть действия или условия вывода. Каждой причине и следствию присваивается свой идентификатор.

2) Разрабатывается граф причинно–следственных связей.

3) Граф преобразуется в таблицу решений.

4) Столбцы таблицы решений преобразуются в тестовые варианты.

Базовые символы для записи графов причин и следствий: причины обозначаются символом (cause), следствия обозначаются символом (effects).

Каждый узел графа может находиться в состоянии 0 или 1. Причем 0 означает, что состояние отсутствует, а 1–состояние присутствует.

Функция тождества устанавливает, что если значение равно 1, то значение тоже равно 1, в противном случае значение равно 0.

Функция НЕ устанавливает, что если значение равно 1, то принимает значение 0, в противном случае равно 1.

Функция ИЛИ устанавливает, что если или равно 1, то также равно 1, в противном случае равно 0.

Функция И устанавливает, что если и равны 1, то тоже равно 1, в противном случае равно 0.

Часто определенные сочетания величин невозможны из–за синтаксических или внешних ограничений. В этом случае используются следующие обозначения ограничений.

Ограничение E (Exclusive) устанавливает, что E должно быть истинным, если хотя бы одна из причин a или b не могут принимать значение 1 одновременно.

Ограничение I(Inclusive) устанавливает, что, по крайней мере, одна из причин a, b или c должна быть равна 1, то есть a, b и c не могут принимать значение 0 одновременно.

Ограничение O (Only lone) устанавливает, что одна и только одна из величин a или b должна быть равна 1.

Ограничение R (Requires) устанавливает, что если a принимает значение 1, то и величина b должна принимать значение 1.

Ограничение для следствий M (Masks) устанавливает, что если следствие a имеет значение 1, то следствие b должно принять значение 0.

Вопросы для самоконтроля по теме 7:

1. Охарактеризуйте особенности тестирования «черного ящика»

2. Перечислите категории ошибок, выявляемых при тестировании «черного ящика»

3. Опишите процедуру разбиения на эквивалентности

4. Перечислите правила анализа граничных значений

5. Опишите назначение диаграмм причинно-следственных связей

6. Перечислите и охарактеризуйте этапы построения диаграмм причинно-следственных связей