Экспоненциальная математическая модель
где n0 – число первичных ошибок, N – число устраненных первичных ошибок, n – число обнаруженных на данный момент времени ошибок, dn/dt – интенсивность обнаружения ошибок при отладке, K – некоторый коэффициент (характеризует изменение скорости появления искажений).
Интенсивность обнаружения ошибок dn/dt в программе и абсолютное число устраненных первичных ошибок N связаны уравнением:
.
При t = 0 решение этого уравнения имеет вид:
.
Число иоставшихся в комплексе ПО ошибок:
.
Математические модели предназначены для приближенной оценки:
Потенциально возможной надежности функционирования ПС в процессе испытания и эксплуатации.
Числа ошибок, оставшихся не выявленными в анализируемых программах.
Времени тестирования, требующегося для обнаружения ошибки в функционирующей программе.
Времени, необходимого для выявления всех имеющихся ошибок с заданной вероятностью.