Cтраница 3
По результатам полной трассировки, полученным автоматически или ручным способом, может быть выбран некоторый маршрут обработки информации данным алгоритмом. Этот маршрут определяется перечислением соответствующих ему меток. При частичной трассировке контролируется и фиксируется информация при условных переходах и формируется входной тест логической информации, соответствующий данному маршруту. Если задана необходимая информация, преобразуемая операторами линейных участков данного маршрута, то при частичной трассировке контролируются и отображаются выходные данные, соответствующие заданным на входе. При частичной трассировке выявляются ошибки в описании операторов на данном тесте, причем приоритет при планировании проверок отдается маршруту или тесту в зависимости от стадии отладки. [31]