Прогнозирование вероятности скрытых дефектов критического ПО с заданной точностью

Abstract

Для количественной оценки надежности и функциональной безопасности критических систем одной из ключевых характеристик является прогноз вероятности скрытых дефектов. В статье представлен метод прогнозирования вероятности скрытых дефектов критического программного обеспечения (ПО) с заданной (управляемой) точностью результатов. Для рамочной оценки скрытых дефектов предложена модель остаточных и скрытых дефектов. Приведена процедура экспериментальной калибровки чувствительности к дефектам и степени разнообразия методов контроля бездефектности исходных кодов ПО.

Для кількісної оцінки надійності та функціональної безпеки критичних систем однією з ключових характеристик є прогноз ймовірності прихованих дефектів. У статті наведено метод прогнозування ймовірності прихованих дефектів критичного програмного забезпечення (ПЗ) із заданою (керованою) точністю результатів. Для рамкової оцінки прихованих дефектів запропоновано модель залишкових та прихованих дефектів. Наведено процедуру експериментального калібрування чутливості до дефектів та ступеня різноманітності методів контролю бездефектності вихідних кодів ПЗ.