ВУЗ:
Составители:
28
определяется как маршрут в графе управления, начальная вершина
которого является входной вершиной графа, а конечная вершина –
выходной вершиной графа. Программа может иметь бесконечно большое
число возможных путей тестирования. В этом случае тестирование
сводится к исполнению некоторого набора маршрутов, покрывающего
каждую ветвь хотя бы один раз.
Оценка тестируемости ПС–(T) может быть
проведена с
использованием формул
Nв
Т = [(1 / N
в
) · (∑1 / P
i
)]
-1
,
i = 1
где N
В
– количество путей вызовов в графе вызовов модулей;
P
i
– тестируемость i-го пути вызовов, равная
k
P
j
= [∑1 / A(M
j
)]
-1
,
j = 1
где k – количество модулей в пути вызовов; А (М
j
) – доступность модуля
М
j
, принадлежащего пути Р
i
, определяется следующим образом:
n
А (М
j
) = ∑ А (М
x
) / C (М
x
),
x = 1
где А (М
x
) – доступность x-го модуля, вызывающего М
j
;
C (М
x
) – количество всех модулей, которые вызывает М
x
;
n – количество модулей, которые вызывают M
j
;
А(М) = 1, если модуль М является самым верхним (головным)
модулем.
Рассмотренный выше ручной метод статического анализа,
заключающийся в детальном просмотре исходного текста программ
специальным экспертом, имеет следующие недостатки:
приводит к большим затратам времени и человеческих ресурсов;
требует привлечения эксперта высокой квалификации (как
программиста и как эксперта качества);
точность
результатов не всегда удовлетворительна из-за больших
объемов и сложности программ (в ряде случаев человеческие возможности
не позволяют применить ручной анализ).
Автоматизированные средства способны вычислить или помочь в
определении самых трудоемких характеристик, позволяя таким образом
эксперту сосредоточить внимание на интерпретации полученных
характеристик и уровне качества программы.
Независимо от способа
проведения СА (автоматизированного или
ручного) следует учитывать особенности СА на различных этапах.
Страницы
- « первая
- ‹ предыдущая
- …
- 26
- 27
- 28
- 29
- 30
- …
- следующая ›
- последняя »
