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

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

Шаги способа:

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

2) разрабатывается граф причинно-следственных связей4

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

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

Изобразим базовые символы для записи графов причин и следствий (cause-effect graphs).

Обозначения. Сделаем предварительные замечания:

1) причины будем обозначать символами ci, а следствия – символами ei;

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

Функция тождество (рис. 4) устанавливает, что если значение ciесть 1, то и значение eiесть 1; в противном случае значение eiесть 0.

Рис. 4. Функция тождество

Функция не (рис. 5) устанавливает, что если значение c1есть 1, то значение е1есть 0, в противном случае значение е1есть 1.

Рис. 5. Функция не

Функция или (рис. 6) устанавливает, что если c1 или c2есть 1, то е1 есть 1, в противном случае е1есть 0.

V

Рис. 6. Функция или

Функция или (рис. 7) устанавливает, что если c1 и c2есть 1, то е1 есть 1, в противном случае е1есть 0.

Часто определённые комбинации причин невозможны из-за синтаксических или внешних ограничений. Используются перечисленные ниже обозначения ограничений.

Рис. 7. Функция и

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

Е

Рис. 8. Ограничение Е (исключает, Exclusive)

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

I

Рис. 9. Ограничение I (включает, Inclusive)

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

О

Рис. 10. Ограничение О (одно и только одно, Only one)

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

R

Рис. 11. Ограничение R (требует, Requires)

Часто возникает необходимость в ограничениях для следствий.

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

Рис. 12. Ограничение М (скрывает, Masks)

Пример

Для иллюстрации использования способа рассмотрим пример, когда программа выполняет расчёт оплаты за электричество по среднему или переменному тарифу.

При расчёте по среднему тарифу:

при месячном потреблении энергии меньшем, чем 100 кВт/ч, выставляется фиксированная сумма;

при потреблении энергии большем или равном 100 кВт/ч применяется процедура А планирования расчёта;

При расчёте по переменному тарифу:

при месячном потреблении энергии меньшем, чем 100 кВт/ч, применяется процедура А планирования расчёта;

при потреблении энергии большем или равном 100 кВт/ч применяется процедура В планирования расчёта;

Шаг 1. Причинами являются:

1) расчёт по среднему тарифу;

2) расчёт по переменному тарифу;

3) месячное потребление электроэнергии меньшее, чем 100 кВт/ч;

4) месячное потребление электроэнергии большее или равное 100 кВт/ч.

На основании различных комбинаций причин можно перечислить следующие следствия:

101 – минимальная месячная стоимость;

102 – процедура А планирования расчёта;

103 – процедура В планирования расчёта;

Шаг 2. Разработка графа причинно-следственных связей (рис.13).

Узлы причин перечислим по вертикали у левого края рисунка, а узлы следствий – у правого края рисунка. Для следствия 102 возникает необходимость введения вторичных причин – 11 и 12, – их размещаем в центральной части рисунка.

Е

V

О

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

Шаг 3. Генерация таблицы решений. При генерации причины рассматриваются как условия, а следствия – как действия.

Порядок генерации.

1. Выбирается некоторое следствие, которое должно быть в состоянии «1».

2. Находятся все комбинации причин (с учётом ограничений), которые устанавливают это следствие в состояние «1». Для этого из следствия прокладывается обратная трасса через граф.

3. Для каждой комбинации причин, приводящих следствие в состояние «1»,

строится один столбец.

4. Для каждой комбинации причин доопределяются состояния всех других следствий. Они помещаются в тот же столбец таблицы решений.

5. Действия 1-4 повторяются для всех следствий графа.

Таблица решений для нашего примера показана в табл. 1.

Шаг 4. Преобразование каждого столбца таблицы в тестовый вариант. В нашем примере таких вариантов четыре.

Тестовый вариант 1 (столбец 1) ТВ1:

ИД: расчёт по среднему тарифу; месячное потребление электроэнергии 75 кВт/ч.

ОЖ.РЕЗ.: минимальная месячная стоимость.

Тестовый вариант 2 (столбец 2) ТВ2:

ИД: расчёт по переменному тарифу; месячное потребление электроэнергии 90 кВт/ч.

ОЖ.РЕЗ.: процедура А планирования расчёта.

Тестовый вариант 3 (столбец 3) ТВ3:

ИД: расчёт по среднему тарифу; месячное потребление электроэнергии 100 кВт/ч.

ОЖ.РЕЗ.: процедура В планирования расчёта.

Тестовый вариант 4 (столбец 4) ТВ4:

ИД: расчёт по переменному тарифу; месячное потребление электроэнергии 100 кВт/ч.

ОЖ.РЕЗ.: процедура В планирования расчёта.

Табл. 1. Таблица решений для расчёта оплаты за электричество

Контрольные вопросы

1. Каковы особенности тестирования методом «чёрного ящика»?

2. Какие категории ошибок выявляют тестирования методом «чёрного ящика»?

3. Какие достоинства имеет тестирования методом «чёрного ящика»?

4. Поясните суть способа разбиения по эквивалентности?

5. Что такое класс эквивалентности?

6. Что может задавать условие ввода?

7. Какие правила формирования классов эквивалентности вы знаете?

8. Как выбирается тестовый вариант при тестировании по способу разбиения по эквивалентности?

9. Поясните суть способа анализа граничных значений.

10. Чем способ анализа граничных значений отличается от разбиения по эквивалентности?

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

12. Что такое дерево разбиений? Каковы его особенности?

13. В чём суть способа диаграмм причин-следствий?

14. Что такое причина?

15. Что такое следствие?

16. Дайте общую характеристику графа причинно-следственных отношений.

17. Какие функции используются в графе причин и следствий?

18. Какие ограничения используются в графе причин и следствий?

19. Поясните шаги способа диаграмм причин-следствий.

20. Какую структуру имеет таблица решений в способе диаграмм причин-следствий?

21. Как таблица решений преобразуется в тестовые варианты?