Огляд і аналіз моделей надійності програмного забезпечення.

Віталій Яковина; В. Мацелюх

Оглянуто та проаналізовано моделі надійності програмного забезпечення. Наведено класифікацію моделей за різними критеріями. Особливу увагу зосереджено на моделях надійності, що враховують явище недосконалого відлагодження, зокрема на моделях на основі неоднорідного пуассонового процесу з використанням функцій розподілу зусиль тестування. Розглянуто основні функції розподілу зусиль тестування та проаналізовано їх інтеграцію з моделями надійності програмного забезпечення.

програмне забезпечення

якість

надійність

модель

недосконале відлагодження

розподіл зусиль тестування

1. Фадин А. А. и др. / под ред. А. С. Маркова и В. Л. Цирлова. – М.: Сводный отчёт по безопасности программного обеспечения в России и мире за 2010 год // НПО “Эшелон”. – 2011. – 34 с.

2. Смагин В. А. Основы теории надежности программного обеспечения. – СПб.: ВКА им. А. Ф. Можайского, 2009. – 336 с.

3. Черкесов Г. Н. Надежность аппаратно-программных комплексов. – СПб.: “Питер”, 2005. – 479 с.

4. William F. Software reliability modeling survey – Naval Surface Warfare Center, 1996.

5. Luy M. R. Handbook of sotware reliability engineering - IEEE Computer Society Press, 1996.

6. Ch. Ali Asad, Muhammad Irfan Ullah, Muhammad Jaffar-Ur Rechman An approach for software reliability model selection – IEEE Computer Society Press, 2004.

7. Shooman M. L. Operational Testing and Software Reliability Estimation During Program Developments – IEEE Computer Society, 1973.

8. Coutinho J. deS. Software Reliability Growth – IEEE Symposium on Computer Software Reliability, 1973.

9. Musa J. D., Okumoto, K. Software Reliability Models: Concepts, Classification, Comparisons, and Practice – Electronic Systems Effectiveness and Life Cycle Costing, 2000.

10. Moranda P. L., Jelinski Z. Final Report on Software Reliability Study – McDonnell Douglas Astronautics Company, 1972.

11. Гуда А. Н., Калинин Т. С., Чернов А. В. Реализация надежного программного обеспечения задач технической диагностики информационно-управляющих систем // Известия высших учебных заведений. Северо-Кавказский регион. Технические науки. № 4. – 2011. – C. 26–31.

12. Чернов А. В., Паращенко И. Г. Классификация моделей надежности программного обеспечения // Электронный научный журнал “Инженерный вестник Дона”, 2007–2015.

13. Белявский Г. И., Чернов А. В. Математические модели линейных контролируемых дискретных динамических систем // Научно-технические ведомости Санкт-Петербургского государственного политехнического университета. – 2009. – № 2. – С. 145–151.

14. ДСТУ 3918-99 (ISO/IEC 12207: 1995) Інформаційні технології. Процеси життєвого циклу програмного забезпечення. – К.: Держстандарт України, 2002. – 49 с.

15. Cobra Rahmani. Exploitation of Quantitative Approaches to Software Reliability / Cobra Rahmani, Azad Azadmanesh // University of Nebraska at Omaha, 2008. – 32 p.

16. Pham H. Software Reliability Models for Critical Applications / H. Pham, M. Pham // EGG–2663 Technical Report. Idaho National Engineering Laboratory, EG&G Idaho Inc. – 1991. – 98 p.

17. A. L. Goel, Software Reliability Models: Assumptions, Limitations, and Applicability, // IEEE Trans. Software Eng., vol. 11, pp. 1411–1423, 1985.

18. Pham H. System software reliability // Springer-Verlag ondon Limited, 2006. – 440 p.

19. H. Pham, L. Nordmann, and X. Zhang, A general imperfect software debugging model with s-shaped fault detection rate // IEEE Trans. Reliability, vol. 48, pp. 169–175, June 1999.

20. H. Pham and X. Zhang, “An NHPP software reliability models and its comparison” // International J. Of Reliability, Quality and Safety Engineering, vol. 14, no. 3, pp. 269–282, 1997.

21. S. Yamada, K. Tokuno, and S. Osaki, “Imperfect debugging models with fault introduction rate for software reliability assessment,” // International J. Syst. Science, vol. 23, no. 12, 1992.

22. Kapur, P. K., and Garg, R. B. 1990. Optimal release policy for software reliability growth models under imperfect debugging. Oper. Res. RAIRO. 24(3), 295–305.

23. Chang, Y. C., and Liu, C. T. 2009. A generalized JM model with applications to imperfect debugging in software reliability // Appl. Math. Model. 33, 3578– 3588.

24. Shyur, H.J. 2003. A stochastic software reliability model with imperfect-debugging and change- point. // J. Syst. Software. 66(2), 135–141.

25. Kapur, P. K., Singh, O. M. P., Shatnawi, O., and Gupta, A. 2006. A discrete NHPP model for software reliability growth with imperfect fault debugging and fault generation. // Int. J. Perform. Eng. 2(4), 351–368.

26. Prasad, R.S., Raju, O.N., and Kantam, R.R.L. 2010. SRGM with imperfect debugging by genetic algorithms. // Int. J. Software Eng. Appl. 1(2), 66–79.

27. Ce Zhang, Gang Cui, Hongwei Liu, Fanchao Meng, Shixiong Wu. “A Unified and Flexible Framework of Imperfect Debugging Dependent SRGMs with TestingEffort” // Journal of Multimedia, Vol. 9, no. 2, FEBRUARY 2014.

28. Chin-Yu Huang. An Assessment of Testing-Effort Dependent Software Reliability Growth Models [Text]/ Chin-Yu Huang, Sy-Yen Kuo, Michael R. Lyu // IEEE Transactions on Reliability, Vol. 56, No. 2, June 2007. – C. 198–211.

29. Sy-Yen Kuo. Framework for Modeling Software Reliability, Using Various Testing-Efforts and Fault-Detection Rates [Text] / Sy-Yen Kuo, Chin-Yu Huang, Michael R. Lyu // IEEE Transactions on Reliability, Vol. 50, no. 3, September 2001. – C. 310–320.

30. Ahmad N. Software Reliability Growth Models with Log-logistic Testing-Effort Function: A Comparative Study [Text]/ N. Ahmad, Md. Zafar Imam // International Journal of Computer Applications (0975 – 8887) Vol. 75. – No.12, August 2013. – C. 6–10.

31. Yamada S. A testing-effort dependent software reliability model and its application [Text] / Shigeru Yamada, Hiroshi Ohtera, Hiroyuki Narihisa // Microelectron. Reliab, Vol. 27, No. 3, 1987. – C. 507–522.

32. Parr F. An Alternative to the Rayleigh Curve Model for Software Development Effort // IEEE Transactions on Software Engineering, Vol.6, no. 3, May 1980, pp. 291–296.

33. C. Y. Huang, M. R. Lyu, “Optimal Release Time for Software Systems Considering Cost, Testing-Effort, and Test Efficiency,” // IEEE Trans. on Reliability, Vol. 54, No. 4, pp. 583–591, Dec. 2005.

34. H. Pham, “Software reliability and cost models: perspectives, comparison and practice” // European J. of Operational Research, vol. 149, pp.475–489, 2003.

35. Raju, O.N. 2011. Software reliability growth models for the safety critical software with imperfect debugging. // Int. J. Comput. Sci. Eng. 3(8), 3019–3026.

36. S. Yamada, J. Hishitani, and S. Osaki, “Software reliability growth model with Weibull testing effort: a model and application,” // IEEE Trans. Rel., vol. R-42, pp. 100–105, 1993.