Cтраница 2
Тестирование структуры программ или потоков управления может проводиться вручную на символическом уровне и при детерминированном исполнении программы в процессе обработки реальных тестовых данных. Детерминированное тестирование структуры имеет целью проверку корректности маршрутов исполнения программ, обнаружение в основном логических ошибок формирования маршрутов и получение информации о полной совокупности реальных маршрутов исполнения в программе. Маршруты позволяют упорядоченно контролировать достигнутую степень проверки программы и предохраняют от случайного пропуска отдельных нетестировавшихся маршрутов. При планировании тестирования структуры программ возникают две задачи: формирование критериев выделения маршрутов для тестирования и выбор стратегий упорядочения выделенных маршрутов. [16]