4 Тестирование разработанной программы

4.1 Теоретическое обоснование метода тестирования

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

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

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

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

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

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

Изобразим базовые символы для записи графов причин и следствий. Причины обозначаются c_i , а следствия e_i .

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

Рисунок 4.1.1 Функция «тождество»

2. Функция «не» - устанавливает, что если значение с₁ есть 1, то и значение е₁ есть 0; в противном случае значение е₁ есть1.

Рисунок 4.1.2 Функция «не»

3. Функция «или» - устанавливает, что если с₁ или с₂ есть 1,то е₁ есть 1, в противном случае е₁ есть 0.

V

Рисунок 4.1.3 Функция «или»

4. Функция «и» - устанавливает, что если и с₁ и с₂ есть 1, то е₁ есть 1, в противном случае е₁ есть 0.

Рисунок 4.1.4 Функция «и»

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

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

Е

Рисунок 4.1.5 Ограничение Е (исключает, Exclusive)

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

I

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

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

О

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

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

R

Рисунок 4.1.8 Ограничение R (требует, Requires)

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

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

М

Рисунок 4.1.9 Ограничение М (скрывает, Masks)