В работе описана верификация существующих моделей надежности программного обеспечения и их сравнение с новой моделью на основе теории динамики программных систем. Для верификации использован статистически значимый ряд наблюдений за процессом выявления дефектов в пятидесяти разнообразных программных системах. Проведено сравнение точности оценивания девяти наиболее широко применяемых моделей надежности с новой моделью, которая базируется на теории динамики программных систем. Показано, что модель динамики программных систем обеспечивает в 2,7 раза большую точность оценивания надежности, чем существующие модели надежности.
