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