Для прогнозування надійності програмного забезпечення (ПЗ) використано модель оцінювання надійності ПЗ, що ґрунтується на випадковому процесі Пуассона, яка визначає та дає змогу прогнозувати імовірність відмови ПЗ та його надійність на заданому етапі (ітерації) тестування. Розроблено програмний засіб автоматизованого тестування для верифікації системи теплового проектування.
For the forecasting of the reliability testing the model of software reliability estimation, which is based on the random Poisson process, has been used, which determines and allows to forecast the software fault probability and its reliability at the defined testing stage (iteration). The software environment of computer-aided testing for the verification of the thermal designing system has been developed.
- Шураков В. В. Надежность программного обеспечения систем обработки данных. — М.: Статистика, 1981. — С. 215.
- Gokhale S.S., Marinos P.N., Trivedi K.S. Important Milestones in Software Reliability Modelin, In Proc. of Software Engineering and Knowledge Engineering, 1996.
- Handbook of Software Reliability Engineering, Еditor M. Lyu, McGraw Hill, 1996.
- Laprie J.C. Dependability — its attributes, impairments and means. In Predictably Dependable Computing Systems, chapter I, Basic Concepts, pages 3-24, Springer Verlag, 1995.
- Казарин О. В. Теория и практика защиты программ. — М., 2004. — С. 450.
- Гласс Р. Руководство по надежному программированию: Пер. с англ. — М.: Финансы и статистика, 1982. — С. 280.
- Липаев В. В. Тестирование программ. — М.: Радио и связь, 1986 — С. 292 с.
- Коротун Т. М. Моделі і методи інженерії тестування програмних систем: Автореф. дис… канд. техн. наук. — К., 2005. — С. 21.