2.5. Метод комбинаторного покрытия условий

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

По этому критерию в рассматриваемом примере должны быть покрыты тестами следующие восемь комбинаций:

а) A>1, B=0;

б)A>1, B¹0;

в) A£1, B=0;

г) А£1, B¹0;

д) A=2, X>1;

е) A=2, X£1;

ж) А¹2, X>1;

з) А¹2, X£1;

Для того чтобы протестировать эти комбинации, необязательно использовать все 8 тестов. Фактически они могут быть покрыты четырьмя тестами:

- A=2, B=0, X=4 {покрывает а, д};

- A=2, B=1, X=1 {покрывает б, е};

- A=0,5, B=0, X=2 {покрывает в, ж};

- A=1, B=0, X=1 {покрывает г, з}.

Результаты тестирования рекомендуется представлять в виде нижеприведенной таблицы 2.1.

Таблица 2.1 – Итоги тестирования программы

Тест	Путь	Ожидаемый результат	Фактический результат	Результат тестирования
А=2, В=0, Х=4	асе	X=3	X=
А=2, В=1, Х=1	аве	X=2	X=
А=0, В=0, Х=2	аве	X=3	X=
А=1, В=0, Х=1	abd	X=1	X=

В графу “фактический результат” записываются получаемые при прогоне значения выходных переменных. Если эти значения совпадают с ожидаемыми, то в программе ошибка не обнаруживается и в графе “результат тестирования” записываем “неуспешно”, что может свидетельствовать как об отсутствии ошибок, так и о наличии в программе ошибок, которые данным тестом не были найдены.

3. Методика выполнения работы

3.1. Правила применения символов и линий в схемах программ

Структурные методы тестирования программ требуют разработки схемы программы и выделения в ней всевозможных путей выполнения. Практика показывает, что построение схемы программы вызывает большие трудности, чем само кодирование алгоритма преобразования информации, поэтому подробно остановимся на правилах разработки схем согласно ГОСТ 19.701-90. В этом стандарте каждой группе действий ставится в соответствие специальный блок, перечень этих блоков и контекст их применения приведен в приложении А.

Символ предназначен для графической идентификации функции, которую он отображает, независимо от текста внутри символа. Большинство символов обеспечивает возможность включения текста внутри символа. Символы должны быть, по возможности, одного размера.

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

Минимальное количество текста для понимания функции символа следует помещать внутри символа. Текст должен записываться слева направо и сверху вниз независимо от направления потока. Если объём текста внутри символа превышает его размеры, следует использовать символ комментария. Текст комментариев должен быть помещен около ограничивающей фигуры.

Хотя этот стандарт предусматривает блоки для обозначения циклов, он не запрещает и произвольной передачи управления, т. е. допускает использование команд условной и безусловной передачи управления при реализации алгоритма.

Вы, наверное, обратили внимание, что в основные конструкции не вошел цикл с заданным числом повторений (счетный цикл) - обозначает повторение некоторых действий указанное количество раз. С использованием символов стандарта ГОСТ 19.701-90 такой цикл в схемах программ может быть представлен так, как изображено на рис. 3.1, на котором обозначены: начальное значение переменной цикла I имеет значение n1, конечное значение – n2, а шаг изменения переменной цикла равен h.

I=n1,n2,h

Рис. 3.1 Счетный цикл

Потоки данных или потоки управления в схемах показываются линиями. Направление потока слева направо и сверху вниз считается стандартным. В случаях, когда необходимо внести большую ясность в схему (например, при соединениях), на линиях используются стрелки. Если поток имеет направление, отличное от стандартного, стрелки должны указывать это направление.

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

Рисунок 3.2 Пересекающиеся линии

Две или более входящие линии могут объединяться в одну исходящую линию, место объединения должно быть смещено как показано на рисунке 3.3.

Рисунок 3.3 Объединение потоков информации

Линии в схемах должны подходить к символу либо слева либо сверху, а исходить либо справа, либо снизу. Линии должны быть направлены к центру символа.

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