Примечание. Для удобства дальнейшего анализа ПО каждому пути указаны условия запуска

Для удобства дальнейшего анализа по каждому пути указаны условия запуска. Точки в конце путей 4, 5, 6 указывают, что допускается любое продолжение через остаток управляющей структуры графа.

Шаг 4. Подготавливаются тестовые варианты, инициирующие выполнение каждого пути.

Каждый тестовый вариант формируется в следующем виде:

Исходные данные (ИД):

Ожидаемые результаты (ОЖ.РЕЗ.):

Исходные данные должны выбираться так, чтобы предикатные вершины обеспечивали нужные переключения — запуск только тех операторов, которые перечислены в конкретном пути, причем в требуемом порядке.

Определим тестовые варианты, удовлетворяющие выявленному множеству независимых путей.

Тестовый вариант для пути 1 ТВ1:

ИД: вел(k) = допустимое значение, где k < i;вел(i) = stop, где 2 < i < 500.

ОЖ.РЕЗ.: корректное усреднение основывается на k величинах и правильном подсчете.

ПРИМЕЧАНИЕ

Путь не может тестироваться самостоятельно, а должен тестироваться как часть путей 4, 5, 6 (трудности проверки 11-го оператора).

Тестовый вариант для пути 2 ТВ2:

ИД: вел(1)=stор.

ОЖ.РЕЗ.: сред=stор, другие величины имеют начальные значения.

Тестовый вариант для пути 3 ТВЗ:

ИД: попытка обработки 501-й величины, первые 500 величин должны быть правильными.

ОЖ.РЕЗ.: корректное усреднение основывается на k величинах и правильном подсчете.

Тестовый вариант для пути 4 ТВ4:

ИД: вел(i)=допустимое значение, где i ≤ 500; вел(k) < мин, где k < i.

ОЖ.РЕЗ.: корректное усреднение основывается на k величинах и правильном подсчете.

Тестовый вариант для пути 5 ТВ5:

ИД: вел(i)=допустимое значение, где i ≤ 500; вел(k) > макс, где k < i.

ОЖ.РЕЗ.: корректное усреднение основывается на п величинах и правильном подсчете.

Тестовый вариант для пути 6 ТВ6:

ИД: вел(i)=допустимое значение, где i ≤ 500.

ОЖ.РЕЗ.: корректное усреднение основывается на п величинах и правильном подсчете.

Реальные результаты каждого тестового варианта сравниваются с ожидаемыми результатами. После выполнения всех тестовых вариантов гарантируется, что все операторы программы выполнены по меньшей мере один раз.

Важно отметить, что некоторые независимые пути не могут проверяться изолированно. Такие пути должны проверяться при тестировании другого пути (как часть другого тестового варианта).