Реклама:

.: Для полной проверки предиката-строгого равенства необходимы два теста на границе условия-равенства значений *й-два теста, имеющие малые отклонения от этой границы (рис. 3.13). Таким образом^ по сравнению с проверкой неравенств в данном -случае прибавляется еще один тест; При этом гарантируется обнаружение ошибок как в операторе предиката, так и в расчете данных при формировании Гранины анализируемого условия. Приведенный подход полностью может быть отнесен к анализу предикатов типа строгого неравенства. Проверка соЁокупности • маршрутов-, содержащих-строгие неравенства и равенства,- может быть сокращена, - если учитывать при последовательном тестировании уже проверенные области. . - •

.. При использовании стратегии областей по признаку их выпуклости' могут автоматически выделяться неверные предикаты. Цели одна из граней многогранника приводит к нарушению его. выпуклости, .то область считается аномальной и может быть локализован предикат, содержащий ошибку. Последовательный попарный анализ предикатов ив их совместимость и непротиворечивость позволяет отсеивать некоторые нереализуемые, маршруты. Тем самым в ряде случаев значительно сокращается- •необходимый объем тестирования модуля- -

•Приведенная, методология упорядоченного регулярного тестирования иа основе определения.областей ивменения данных является весьМа эффективной. Сложность тестов линейно растег с увеличением размерности пространства исходных данных (числа переменных) и с ростом числа предикатов на маршру- , тах. Для многих типовых модулей сложность тестов оказывается допустимой для полной проверки модуля/Ограничения метода проверки областей'могут проявляться при сложных организациях циклов, когда резко возрастает число маршрутов -и анализируемых условий. Значительные трудности возникают при нелинейных предикатах. Даже'нахождение, точек пересечения нелинейной границы ;с множеством линейных границ может потребовать сложных вычислений. При использовании В программе, операторов ИЛИ необходимо, установить характер перекрытая областей, соитвегствующих анализируемому. .оператору, чтр зре&уеу дрпрлнит^^ицх расчетов. Тем не'меиее

-метод анализа.областей изменения денных, может существен упорядочить тестирование программ. 7 < Нереализуемые маршруты. Предшествующее изложение в , $33 н базировалось на^нали^ отдельных условий и пре» :\$фкйк&■.без учета, и* Взйи>юевязй при последовательном ис-'г«йвнени« операторов программы: Оценка сложностнт^м^і^: ^•'•Ция модулей ори этих предок

«большие затраты. В реальных программных модулях міижік предикаты, определяющие' последователь^ маршрутах программы, являются взаимозависимыми и*, в частности, несовместимыми. Такие маршруты,; выделенные і, формально по полному, графу программы, не* могут быть гис-доднены при реальном функционировании программы ни при неких сочетаниях исходных' данных; В; результате &0аЩег-Ъ^'йкврк нисло маршрутов, характї^нзуїощйх данвыя про-г граммный модуль, и уменьшается еЛожнеэт^егртотирования. ^<ро может приводить к целесообразности изменения страте-тестирования и к сокращению ресурсов, необходимых, Для Г достижения заданной корректности програмі*: . . я т., За счет нереализуемых маршрутов ігри ліобом критерий их} выделения сокращается их общеечйслот^.Ёслй мучнт^вть ато ивмененме.Мх, то рассчитанная вероятность проявления '^цмйв^^ісіі^і^ЗфЯ всегда будет завышенной м ий при каком :ч^ич»ем^ В действительности


⇐ Предыдущая страница| |Следующая страница ⇒