2015-04-01
350
Шаг 1. На основе текста программы формируется потоковый граф:
· нумеруются операторы текста;
· производится отображение пронумерованного текста программы в узлы и вершины потокового графа.
Шаг 2. Определяется цикломатическая сложность потокового графа — по каждой из трех формул;
Шаг 3. Определяется базовое множество независимых линейных путей:
Шаг 4. Подготавливаются тестовые варианты, инициирующие выполнение каждого пути.
Каждый тестовый вариант формируется в следующем виде:
Исходные данные (ИД):
Ожидаемые результаты (ОЖ.РЕЗ.):
Исходные данные должны выбираться так, чтобы предикатные вершины обеспечивали нужные переключения — запуск только тех операторов, которые перечислены в конкретном пути, причем в требуемом порядке.
Реальные результаты каждого тестового варианта сравниваются с ожидаемыми результатами. После выполнения всех тестовых вариантов гарантируется, что все операторы программы выполнены по меньшей мере один раз.
Важно отметить, что некоторые независимые пути не могут проверяться изолированно. Такие пути должны проверяться при тестировании другого пути (как часть другого тестового варианта).
