Программ на ранних этапах разработки

Оценка ожидаемого числа ошибок в программе оценивается:

z_j - j-ый параметр программы.

a_j - коэффициенты для используемых операторов, которые находятся в зависимости от типов программ.

r - число существенных параметров.

z₁ - сложность условных операторов.

n_i - число условных операторов i-го уровня вложенности.

w_i - весовой коэффициент.

Q - наивысшая степень вложенности для данной группы условных операторов.

z₂ - число ветвлений.

z₃ - общее число связей с прикладными программами.

z₄ - общее число связей с системными программами.

z₅ - число операций ввода-вывода.

z₆ - число вычислительных операторов.

z₇ - число операторов обработки данных.

z₈ - общее число комментариев.

Интенсивность отказов программ может быть оценена:

t_реш - среднее время однократного прохождения программ.

- условная вероятность того, что ошибка проявляется при однократном прогоне программы при условии, что она там есть.

Завышенная оценка величины g является отношением среднего числа элементов, участвующих в одном прогоне, к общему числу операторов.

экспериментально оценивается следующим образом:

n - количество однотипных программ.

Лекция №20.