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

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

Шаги способа:

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

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

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

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

Изобразим базовые символы для записи графов причин и следствий (cause-effect graphs).

Сделаем предварительные замечания:

1. причины будем обозначать символами с_i, а следствия — символами е_i;

1. каждый узел графа может находиться в состоянии 0 или 1 (0 — состояние отсутствует, 1 — состояние присутствует).

Функция тождество (рис. 5.9) устанавливает, что если значение с₁ есть 1, то и зна­чение e₁ есть 1; в противном случае значение e₁ есть 0.

Функция не (рис. 5.10) устанавливает, что если значение с₁ есть 1, то значение е₁ есть 0; в противном случае значение e₁ есть 1.

Функция или (рис. 5.11) устанавливает, что если с₁ или с₂ есть 1, то е₁ есть 1, в про­тивном случае е₁ есть 0.

Функция и (рис. 5.12) устанавливает, что если и с₁ и с₂ есть 1, то е₁ есть 1, в против­ном случае е₁ есть 0.