Таким чином було розглянуто основні
методи забезпечення надійності, що використовуються при проетуванні програмного
забезпечення. Статична і динмаічні моделі вимагають для своєї роботи певних
напрацювань, які можуть бути лише після етапу реалізації, що робить можливість
їх використання дуже фрагментарною на етапі проектування. Емпірична модель
надійності дозволяє працювати з системою на етапі проектування. Було
продемонстровано її місце в загальній системі моделей надійності ПЗ і розглянуто
основні підтипи.
програмний надійність ієрархичний
1) Дідковська М.В. Аналіз моделей оцінювання надійності програмного забезпечення // Вісник НТУУ “КПІ”. Інформатика, управління та обчислювальна техніка. - 2004. - № 41. - С. 103-120.
) Майерс Г. Надежность программного обеспечения / Пер. с англ.; Под ред. В.Ш. Кауфмана. - М.: Мир, 1980. - 360 с.
) Тейер Т. Надежность программного обеспечения / Т. Тейер, М. Липов, Э. Нельсон / Пер. с англ. - М.: Мир, 1981. - 323 с.
) Рябишин И.А. Надежность и безопасность структурно-сложных систем. - Спб.: Политехника, 2000. - 248 с.
) ГОСТ 28806-90. Качество программных средств. Термины и определения.
) Говорущенко Т.О. Оцінювання ефективності метрик складності програмного забезпечення / Т.О. Говорущенко, А.В. Бачинський // Вісник Хмельницького національного університету - Хмельницький: ХНУ, 2012 - №2, с.171-179