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

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

Сложность тестов линейно растет с увеличением размерности про­странства исходных данных (числа требований или переменных) и с рос­том числа предикатов на маршрутах. Для многих типовых модулей слож­ность тестов оказывается допустимой для практически полной проверки модуля. Ограничения метода проверки областей могут проявляться при сложных организациях циклов, когда резко возрастает число маршрутов и анализируемых условий.

Тестирование корректности определения и использования дан­ных на маршрутах исполнения программы. Если маршруты исполнения программы соответствуют допустимым областям изменения входных дан­ных, то целесообразно проверять корректность основных операций обра­ботки данных на выделенных маршрутах. Каждая величина на маршруте исполнения программы считывается из памяти, и после использования для вычислений записывается в память ЭВМ для хранения и последующей обработки. Чередование операций чтения и записи переменных может быть нарушено в результате ошибок в программе. Для выявления таких ошибок проводится тестирование корректности записи и считывания ре­альных данных или статический анализ этих операций по исходному тек­сту программы.