Лабораторная работа №6 «Тестирование программ методом «черного ящика»


Графы причинно-следственных связей



бет2/3
Дата03.11.2022
өлшемі115,88 Kb.
#156415
түріЛабораторная работа
1   2   3
Байланысты:
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 повторяются для всех следствий графа. На четвертом шаге данного способа тестирования столбцы таблицы решений преобразуются в тестовые варианты.




Достарыңызбен бөлісу:
1   2   3




©engime.org 2024
әкімшілігінің қараңыз

    Басты бет