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

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

Шаги способа построения диаграмм причинно–следственных связей:

1. Для каждого модуля перечисляются причины, то есть условия ввода или классы эквивалентности условий ввода, а также следствия, то есть действия или условия вывода. Каждой причине и следствию присваивается свой идентификатор.

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

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

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

Базовые символы для записи графов причин и следствий: причины обозначаются символом (cause), следствия обозначаются символом (effects).

Каждый узел графа может находиться в состоянии 0 или 1. Причем 0 означает, что состояние отсутствует, а 1–состояние присутствует.

Функция тождества устанавливает, что если значение равно 1, то значениетоже равно 1, в противном случае значениеравно 0.

Функция НЕ устанавливает, что если значение равно 1, топринимает значение 0, в противном случаеравно 1.

Функция ИЛИ устанавливает, что если илиравно 1, тотакже равно 1, в противном случаеравно 0.

Функция И устанавливает, что если иравны 1, тотоже равно 1, в противном случаеравно 0.

Часто определенные сочетания величин невозможны из–за синтаксических или внешних ограничений. В этом случае используются следующие обозначения ограничений.

Ограничение E (Exclusive) устанавливает, что E должно быть истинным, если хотя бы одна из причин a или b не могут принимать значение 1 одновременно.

Ограничение I (Inclusive) устанавливает, что, по крайней мере, одна из причин a, b или c должна быть равна 1, то есть a, b и c не могут принимать значение 0 одновременно.

Ограничение O (Only lone) устанавливает, что одна и только одна из величин a или b должна быть равна 1.

Ограничение R (Requires) устанавливает, что если a принимает значение 1, то и величина b должна принимать значение 1.

Ограничение для следствий M (Masks) устанавливает, что если следствие a имеет значение 1, то следствие b должно принять значение 0.

Вопросы для самоконтроля по теме 7:

1. Охарактеризуйте особенности тестирования «черного ящика»

2. Перечислите категории ошибок, выявляемых при тестировании «черного ящика»

3. Опишите процедуру разбиения на эквивалентности

4. Перечислите правила анализа граничных значений

5. Опишите назначение диаграмм причинно-следственных связей

6. Перечислите и охарактеризуйте этапы построения диаграмм причинно-следственных связей

Тема 8. Организация процесса тестирования программного обеспечения

Классический процесс тестирования обеспечивает проверку результатов, полученных на каждом этапе разработки. Как правило, он начинается с проверки отдельных программных модулей, продолжается при проверке объединения модулей в систему и заканчивается проверкой соответствия программного продукта требованиям заказчика и его взаимодействия с другими компонентами компьютерной системы.