ВУЗ:
Составители:
29
1) Анализ и проектирование
Применение статического анализа на этих этапах требует прежде
всего наличия инструментального средства формальной спецификации,
обеспечивающего хранение результатов в машинообрабатываемой форме.
Статический анализ на этих этапах применяется прежде всего для
выявления ошибок и аномалий, т.е. является средством управления качест-
вом в отличие от этапа программирования, где
имеет оценочный характер.
Применение статического анализа на этапах анализа и
проектирования, несмотря на ограниченность измеряемых характеристик,
способствует раннему обнаружению ошибок, трудноисправимых на
последующих этапах.
2) Программирование
На этом этапе статический анализ используется для оценки качества
программы, а также для документирования (при разработке документов
сопровождения).
3) Тестирование и отладка
На этом этапе статический
анализ применяется для получения
исходной информации при подготовке и оценки полноты тестов.
Пример оценки тестируемости
Пусть граф вызовов имеет вид
A( i=1
i=1,2,3 i=2
i=4
M
j
, j = 0,1
i=4,5 i=5
i=6 i=3
i=6
Для данного графа N
В
= 6, C(M
x=0
) = 3, C(M
x=1
) = 3, C(M
x=2
) = 2,
C(M
x=3
) = 1, n = 3. n = 0
Тогда A(M
0
) = 1, A(M
1
) = A(M
2
) = A(M
3
) = ∑ A(M
x=0
) / C(M
x=0
) = 1/3
x = 0
n = 3
A(M
4
) = ∑ A(M
x
) / C(M
x
) = 1/3:3 + 1/3:2 + 1/3:1 = 11/18
x = 1
M
x=0
M
x=2
M
x=1
M
x=3
M
x=6
M
x=5
M
x=4
Страницы
- « первая
- ‹ предыдущая
- …
- 27
- 28
- 29
- 30
- 31
- …
- следующая ›
- последняя »
