формальную запись логических условий и соответствующих действий [3], [64]. Используется автоматный подход к решению
задачи.
Шаги способа:
1)
для каждого модуля перечисляются причины (условия ввода или классы эквивалентности условий ввода) и
следствия (действия или условия вывода). Каждой причине и следствию присваивается свой
идентификатор;
2) разрабатывается граф причинно-следственных связей;
3) граф преобразуется в таблицу решений;
4) столбцы таблицы решений преобразуются в тестовые варианты.
Изобразим базовые символы для записи графов причин и следствий (cause-effect graphs).
Сделаем предварительные
замечания:
1) причины будем обозначать символами с
i
, а следствия — символами
е
i
;
2)
каждый узел графа может находиться в состоянии 0 или 1 (0 — состояние отсутствует, 1 — состояние присутствует).
Функция тождество (рис. 7.4) устанавливает,
что если значение с
1
есть 1, то и значение
е
1
есть 1; в
противном случае
значение
е
1
есть 0.
Рис. 7.4.
Функция
тождество
Функция не (рис. 7.5) устанавливает, что если значение с
1
есть 1, то значение
e
1
есть 0; в противном случае значение е
1
есть 1.
Достарыңызбен бөлісу: