Известные параметры модели ЕT...
Известные параметры модели ЕT и С автор предлагает вычислять из следующих соотношений:
, (13)
. (14)
где ti – время i-го прогона (время i-го интервала);
mi’ – число прогонов, завершившихся отказом в i-ом интервале (число ошибок в i-м
интервале);
m – общее число тестовых интервалов;
ni – общее число ошибок, обнаруженных (но не включенных) к i-му интервалу.
Все эти данные можно получить в ходе тестирования. Вычислив значения параметров Еt и С, можно определить показатели:
число оставшихся ошибок в ПС:
NT=ЕT-n; (15)
надежность:
, t>0. (16)
Достоинство этой модели по сравнению с предыдущей заключается в том, что можно исправлять ошибки, внося изменения в текст программы в
ходе тестирования, не разбивая процесс на этапы, чтобы удовлетворить требованию
постоянства числа машинных инструкций.
Модель Lа Раdula. По этой модели выполнение последовательности тестов производится в т этапов. Каждый этап заканчивается внесением изменений (исправлений) в ПС. Возрастающая функция надежности базируется на числе ошибок, обнаруженных в ходе каждого тестового прогона.
Надежность ПС в течение i-го этапа:
, i = 1,2,3,…, (17)
где А – параметр роста;
при i ® Ґ, т. е. R (Ґ) – предельная надежность ПС.
Оставить комментарий