Реклама:

.первой стратегии необходимо увеличить в. 14 раз.(до 5 —1?60). .Таким образом, упорядочение маршрутов по вероятностям их исполнения в ряде случаев позволяет достигать заданной корректности программ при значительно меньшем объеме .тестирования даже при равновероятном .ветвлении, ,.

При -оценке необходимого объема тестирования для графа Г» целесообразно учитывать, яе только значения &но <и отношение {см. выражение (3.8)). При стратегии упорядочения маршрутов по вероятности после проверки нескольких, тестов с суммарной сложностью. | ~ 100 очень малыми становятся как значения вероятности проявления ошибки, так и производная .этой вероятности по |, что позволяет прекратить тестирование.- При стратегии упорядочения «по длительности при £•> 32 также резко падает значение производнойф по |, одна-' ко при этом 9 «** 0,5 и тестирование прекращать недопустимо до полного завершения тестирования'маршрутов с высокой вероятностью исполнения. В таких случаях может быть рентабельной смешанная стратегия, при которой вначале тестируются несколько маршрутов с наибольшими значениями вероятностей исполнения и, значениями длительностей. -

Приведенные графики могут служить ориентирами при выборе критериев н стратегий тестирования реальных ациклических программных модулей! Абсолютные значении в некоторых случаях можно использовать для ограничения сложности тестов. Значительное сокращение тестирования структуры программ возможно путем учета реальных вероятностей иетвления при условных переходах.

Характеристики тестирования, программных. модулей с циклом. Для выявления типовых структур программ с циклами Проанализированы 66 программных модулей, функционирующих в реальных системах управления [43]. Анализ этой выборки показал, что в них отсутствуют циклы с числом выходов больше 3, а число циклов с тремя выходами со- . ставляет менее Ю% от их общего числа. Число вложенных друг в друга

Липаев В. В. Тестирование программ.

Рис. .3.7. Зависимость вероятности проявления левыивлейно$ ошибки 0 от. суммарной, слржнбстндесиув £ для графов Д и & ,при ,в«г делении маршрутов по, второму цритерню и их упорядочении. по длине (——-гг)„,ц> по вероятности Хтт-:— ^-г) (гипотеза.ум Жу==0.5, й.=*32)

циклов равно 2,2. Среднее число выходов нэ цикла составляет 1,4, среднее число операторов ветвления в цикле 4, средний ранг тела цикла 2,5.' Практически не вчлгречаютея зацепляющиеся1 циклы, т. е. циклы; имеющие общие части, но невложенные полностью друг в друга. Такие ця** ли" особенно трудно тестировать, в первую очередь, в силу иеопределеи-мости значении беременных, влияющих- на условия замыкания (размыкания) цикла. Применение зацепляющихся циклов при создании реальных программ, каи правило, запрещают* в'методиках проектирования

I4* -

В реальных программных модулях наиболее часто встречаются;

простейшие одиночные цикли С небольшим числом (2—5) ветвлений в теле цикла и одним выходом. Однако разнообразие даже простейших1 реальных модулей и циклов достаточно велико и затрудняет обрбщен-«Ы'е оценки сложности тестирования модулей с циклами 114, І05]. Поэтому'с учетом характеряствк реальных модулей выбраны типовые абстрактные структуры графов ациклических программ и разработана методика формирования в них одного цикла. Это позволило выявить влияние . некоторых характеристик цикла на изменение сложности структурного тестирования модуля. '


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