Лабораторная работа №6 «Тестирование программ методом «черного ящика»
Графы причинно-следственных связей
жүктеу/скачать 115,88 Kb.
|
lab6
| Графы причинно-следственных связей
Диаграммы причинно-следственных связей используются для проектирования тестовых вариантов и обеспечивают формальную запись логических условий и соответствующих действий. Данный способ является разновидностью тестирования «черного ящика». Используется автоматный подход к решению задачи. На первом шаге способа тестирования, основанного на построении диаграмм причинно-следственных связей, для тестируемой программы (или отдельного тестируемого модуля) перечисляются причины (условия ввода или классы эквивалентности условий ввода) и следствия (действия или условия вывода). Каждой причине и следствию присваивается свой идентификатор. На втором шаге данного способа тестирования разрабатывается граф причинно-следственных связей. Введем нотацию базовых символов для записи графов причин и следствий. Причины будем обозначать символами 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 повторяются для всех следствий графа. На четвертом шаге данного способа тестирования столбцы таблицы решений преобразуются в тестовые варианты. жүктеу/скачать 115,88 Kb. Достарыңызбен бөлісу:
|