Графы причинно-следственных связей
Диаграммы причинно-следственных связей используются для проектирования тестовых вариантов и обеспечивают формальную запись логических условий и соответствующих действий. Данный способ является разновидностью тестирования «черного ящика». Используется автоматный подход к решению задачи.
На первом шаге способа тестирования, основанного на построении диаграмм причинно-следственных связей, для тестируемой программы (или отдельного тестируемого модуля) перечисляются причины (условия ввода или классы эквивалентности условий ввода) и следствия (действия или условия вывода). Каждой причине и следствию присваивается свой идентификатор.
На втором шаге данного способа тестирования разрабатывается граф причинно-следственных связей.
Введем нотацию базовых символов для записи графов причин и следствий. Причины будем обозначать символами ci, а следствия — символами ej. Каждый узел графа может находиться в состоянии 0 (состояние отсутствует) или 1 (состояние присутствует).
Функция «тождество» (рис. 6.2) устанавливает, что если значение есть 1, то и значение есть 1. В противном случае значение есть 0.
Рисунок 6.2 – Функция «тождество»
Функция «не» (рис. 6.3) устанавливает, что если значение c1 есть 1, то значение e1 есть 0. В противном случае значение есть 1.
Рис. 6.3 Функция «не»
Функция «или» (рис. 6.4) устанавливает, что если c1 или c2 есть 1, то e1 есть 1. В противном случае e1 есть 0.
Рис. 6.4 Функция «или»
Функция «и» (рис. 6.5) устанавливает, что если и c1, и c2 есть 1, то e1 есть 1. В противном случае есть 0.
Рис. 6.5 Функция «и»
На третьем шаге рассматриваемого способа тестирования граф преобразуется в таблицу решений. Порядок генерации таблицы решений [1]:
1) Выбирается некоторое следствие, которое должно быть в состоянии «1».
2) Находятся все комбинации причин (с учетом ограничений), которые устанавливают это следствие в состояние «1». Для этого из следствия прокладывается обратная трасса через граф.
3) Для каждой комбинации причин, приводящих следствие в состояние «1», строится один столбец.
4) Для каждой комбинации причин доопределяются состояния всех других следствий. Они помещаются в тот же столбец таблицы решений.
5) Действия 1–4 повторяются для всех следствий графа. На четвертом шаге данного способа тестирования столбцы таблицы решений преобразуются в тестовые варианты.
Достарыңызбен бөлісу: |