Реклама:

Первый простейший критерий %г выделения тестируемых маршрутов (рис, 2.1) состоит в выборе минимального множества маршрутов программ, охватывающих все направления передач управления (ветвления при условных переходах и переключателях). По критерию %1 гржр программы по управлению должен быть покрыт минимальным набором путей, проходящих через каждый оператор ветвления по каждой дуге. Повторная проверка дуг не оценивается н считается избыточной. При этом в процессе проверки гарантируется выполнение всех передач управления между операторами программы и каждого оператора не менее одного раза. Однако минимальное число маршрутов по этому критерию не обеспечивает исполнение каждого оператора при различных сочетаниях предшествующих условий и последовательностей операторов, образующих весь набор маршрутов,, проходящих через данное ветвление передачи управления.

Второй критерий выбора маршрутов %г для тестирования структуры программных модулей заключается в анаЛийе базовых маршрутов в программе, формируемых и оцениваемых на основе определения цикломатического числа исходного графа проверяемой программы .[81. Критерий %а наиболее широко применяется для оценки сложности и корректности тестирования программных модулей и наиболее

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

Рнс. 2.1. Пример графа программы, маршрутов, выделенных по трем критериям, и показателей сложности тестирования полно исследован при анализе- корреляции сложности ,и тру»' доемкости тестирования программ. Для олределенияашклома-тического числа. 1 исходного графа программы используется полное число его вершин ?1п, связывающих их дуг У и связных компонент Ь'

г ш. у — лп' г I.

Вычисление цикломатического числа осуществляется по величинам, определяемым по максимально связному графу, "который получается из исходного графа замыканием дуги из конечной вершины в'начальную В результате в максимально _связном-графе появляются маршруты между любыми двумя вершинами. Приетом предполагается, что исходный граф корректен, т е. не содержит высячих и тупиковых вершин. В мак-, симально связном графе цикломатическое число равно максимальному числу его линейно-независимых циклов [861. Каждый цикл отображается в виде одного элементарного (однократного) цикла. Величина Ь соответствует количеству связных компонент всего исходного графа, и обычно для графов, не содержащих полностью независимых частей //«=!, Иначе говоря, Ь измеряется количеством замыкающих дуг, необходимых для преобразования исходного графа в .максимальный сильно связный граф.

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

Стремление к увеличению глубины проверок приводит к третьему критерию Хз выделения полного соста-. ва базовых структур графа программы Он заключается в анализе хотя бы один раз каждого из реальных ациклических. маршрутов исходного графа программы и каждого цикла, достижимого из всех маршрутов. В результате исходный граф программы представляется полным множеством базовых структ тур, каждая из которых образуется очередным ациклическим , маршрутом -и одним или несколькими циклическими маршрутами, так что в совокупности должны быть охвачены все цик-' лы, достижимые из данного ациклического'маршрута Если из некоторого ациклического марштута исходного графа до: стижимы несколько элементарных циклов, то при тестировании должны исполняться все достижимые циклы


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