Методологические основы

Тестирование при значениях данных, определяющих маршруты исполнения программы (стратегия областей). Маршруты последова­тельности обработки данных могут зависеть от любых типов анализируе­мых величин. Одной из задач тестирования является проверка сопостави­мости сравниваемых типов величин и идентичности условий их кодирова­ния (разрядности, масштабов). Критические значения — предикаты, влияющие на выбор маршрутов, во многих случаях не являются фиксиро­ванными, а формируются при обработке данных и/или сравнении несколь­ких переменных. При этом предикаты могут образовываться во всей обла­сти изменения каждой из переменных, например, когда они оказываются равными или отличаются на некоторую постоянную величину.

Предикаты, определяющие выбор маршрутов исполнения програм­мы, могут формироваться в результате вычислений на линейных участках программы. Эти участки в среднем невелики и содержат около 5—10 строк текста программы. Каждая ограниченная область исходных данных соответствует определенному маршруту в программе. Граница области определяется интерпретациями предикатов по маршруту и состоит из набора участков границы, каждый из которых определяется единствен­ным, простым предикатом, выбирающим дугу маршрута в графе програм­мы. Каждый участок границы области может быть открытым или закры­тым в зависимости от оператора условий в предикате. Закрытый участок границы принадлежит ограничиваемой области и формируется предикатами с операторами <, > или = . Открытый участок границы не входит в состав области и формируется операторами < , > и Л Общее число предикатов в маршруте — это верхний предел числа граничных участков области вход­ных переменных данного маршрута, так как некоторые предикаты марш­рута могут в действительности не создавать граничных участков. Такие случаи возникают, когда предикат требуется для нескольких путей, и в некоторых из них повторно анализируется на маршруте.

Таким образом, программа по отношению к потоку данных может рассматриваться, прежде всего, как выполняющая