Анотація
На основі детального аналізу проведено узагальнення існуючих термінологічних трактувань поняття ”якість програмного забезпечення”, зроблені висновки щодо відповідності термінів, що застосовуються для оцінки якості загального програмного забезпечення до процесу оцінки якості програмного забезпечення інтелектуальних систем прийняття рішень (ІСПР). Доведено, що якість програмного забезпечення ІСПР є комплексним багатокритеріальним показником, що враховує не тільки якість роботи окремого програмного модуля як підсистеми, а й причинно-наслідкові зв’язки елементів самої програмної системи. Показано основні розбіжності в оцінці якості програмного забезпечення (ПЗ) при застосуванні функціонального та формального підходів. Досліджено структуру критерію гарантоздатності програмних систем прийняття рішення та сформовані висновки щодо впливу його основних компонентів на оцінку програмного забезпечення ІСПР та забезпечення процесу надійних обчислень. На основі аналізу переліку атрибутів і метрик якості ПЗ ІСПР встановлено, що гарантоздатность визначається надійністю самої програмної структури та характеризується відновлюваністю працездатного стану після відмов або збоїв. Встановлено взаємозв'язок та визначено фактори впливу показників якості проектування програмного забезпечення ІСПР на характеристики та субхарактеристики програмного забезпечення ІСПР, наведено приклад взаємозв'язку між характеристиками (факторами), показниками якості, способом вимірювання показників якості і процесами проектування. На основі проведених досліджень визначено режими відмов в програмного забезпечення ІСПР та показано їх вплив на процес прийняття рішення. Деталізовані класи відмов та показано їх вплив на відповідність програмного забезпечення ІСПР завданню на розробку. Доведено, що надійність ІСПР є поняттям динамічним, що виявляється в часі та суттєво залежить від наявності/відсутності дефектів взаємодії. Проведено детальний аналіз методів забезпечення та контролю якості ПЗ, зроблено висновки щодо можливості їх застосування до програмного забезпечення ІСПР. Вдосконалено та обгрунтовано модель зрілості програмного забезпечення ІСПР та наведено структуру забезпечення рівня зрілості ПЗ як показника якості ІСПР.
Посилання
The official site ISO.ORG. ISO/IEC 25000:2014 Systems and software engineering – Systems and software Quality Requirements and Evaluation (SQuaRE) – Guide to SQuaRE, available at: https://www.iso.org/standard/64764.html.
State standard off Ukraine (2001), “ISO 9000-2001 Systemy upravlinnja jakistju – osnovni polozhennja ta slovnyk (34108)” [ISO 9000-2001 Quality management systems - basic provisions and vocabulary (34108)], available at: https://dnaop.com/html/34108/doc-%D0%94%D0%A1%D0%A2%D0%A3_ISO_9000-2001.
The Institute of Electrical and Electronig Engeneers (11990), 610.12-1990 – IEEE Standard Glossary of Software Engineering Terminology, available at: www.mit.jyu.fi/ope/kurssit/TIES462/Materiaalit/IEEE_SoftwareEngGlossary.pdf.
DeMarco, T. (1999), Management Can Make Quality Impossible, Cutter IT Summit, Boston, 56 р.
Mandeville, W.A. (1990), Software costs of quality, IEEE Journal on Selected Areas in Communications, No. 8(2), pp. 315-318.
Galin, D. (2004), Towards an inclusive model for the cost of software quality, Software quality Professional, No. 6(4), pp. 25-31.
Weinberg, G.M. (1993), Quality Software Management, FirstOrder Measurement, Dorset House Publishing, NY, 108 р.
Neumann, J. Shannon, C.E. and McCarthy, J. (1956), Probabilistic logics and the synthesis of reliable organisms from unreliable components, Annals of Math Studies, No. 34, pp. 43-98.
Besnard, D., Gacek, C. and Jones, B. (2006), CliffStructure for Dependability: Computer Based Systems from Interdisciplinary Perspective, Springel Verlag, London, 304 p.
Winther, R., Gran, Biorn A. and Dahll, G. (2005), Computer Safety, Reliability and Security, Proc. 24th International Conference on Composite Structures, Friedrikstadt, 409 p.
Avizienis, A., Laprie, J.C. and Randell, B. (2000), Fundamental Concepts of Dependability, Proceedings of the 3rd IEEE Information Survivability Workshop (ISW-2000), Boston, Massachusetts, USA, pp. 7-12.
Avizienis, A. and Laprie, J.C. (1986), Dependable Computing From Concepts to Application, IEEE Trans. On Computers, No. 74(5), pp. 629-638.
Dobson, I.E. and Randell, B. (1986), Building Reliable Secure Computing Systems out of Unreliable Insecure Components, Proceedings оf the IEEE Conference on Security & Privacy, Oakland, pp. 187-193.
Lipaev, V.V. (2013), “Nadezhnostj y funkcyonaljnaja bezopasnostj proghrammnykh kompleksov realjnogho vremeny” [Reliability and functional safety of real-time software systems], Institute for System Programming RAS, Moscow, 176 p.
Lipaev, V.V. (2015), Basic concepts, factors and standards that determine the quality of large-scale software tools, Direct-Media, Moscow, Berlin, 237 p.
Fonseca, J.A. and de Almeida Junior, J.R. (2005), CMMI RAMS Extemsion Based on CENELEC Railway Standard, Springer-Verlag, Berlin, pp. 1-12.
ERTMS Users Group (1998), ERTMS/ETCS RAMS Requirements Specfication, available at: https://www.era.europa.eu/sites/default/files/filesystem/ertms/ccs_tsi_application_guide_-_informative_specifications/
set_of_specifications_1_etcs_b2_gsm-r_b1/index001_-_02s1266_v6.pdf.
Turinskyi, O., Pievtsov, H., Pavlenko, M., Osievskiy, S., Herasimov, S. and Djus, V. (2020), The problem of structuring indicators of quality of decision software support system, International Journal of Advanced Trends in Computer Science and Engineering, No. 9(5), pp. 7916-7923. https//doi.org/10.30534/ijatcse/2020/144952020, available at: www.warse.org/IJATCSE/static/pdf/file/ijatcse144950202.pdf.
International atomic energy agency (2002), IAEA NS-G-1.3 Instrumentation and control systems important to safety nuclear power plants. Safety guide. No. NS-G-1.1, Vienna, 99 р., available at: https://www-pub.iaea.org/MTCD/Publications/PDF/Pub1116_scr.pdf.
Офіційний сайт ISO.ORG. ISO/IEC 25000:2014 Systems and software engineering – Systems and software Quality Requirements and Evaluation (SQuaRE) – Guide to SQuaRE. – Режим доступу: https://www.iso.org/standard/64764.html.
ДСТУ ISO 9000-2001. Системи управління якістю – основні положення та словник (34108). – Режим доступу: https://dnaop.com/html/34108/doc-%D0%94%D0%A1%D0%A2%D0%A3_ISO_9000-2001.
610.12-1990 – IEEE Standard Glossary of Software Engineering Terminology [Electronic resource]. – Available at: http://www.mit.jyu.fi/ope/kurssit/TIES462/Materiaalit/IEEE_SoftwareEngGlossary.pdf.
DeMarco T. Management Can Make Quality Impossible / Т. DeMarco. – Boston: Cutter IT Summit, 1999. – 56 р.
Mandeville W.A. Software costs of quality / W.A. Mandeville // IEEE Journal on Selected Areas in Communications. – 1990. – No. 8(2). – Р. 315-318.
Galin D. Towards an inclusive model for the cost of software quality / D. Galin // Software quality Professional. – 2004. – No. 6(4). – Р. 25-31.
Weinberg G.M. Quality Software Management / G.M. Weinberg // FirstOrder Measurement. – NY: Dorset House Publishing, 1993. – 108 р.
Neumann J. Probabilistic logics and the synthesis of reliable organisms from unreliable components / J. Neumann, C.E. Shannon, J. McCarthy // Annals of Math Studies. – 1956. – No. 34. – P. 43-98.
Besnard D. Structure for Dependability: Computer Based Systems from Interdisciplinary Perspective / D. Besnard, C.Gacek, B. Jones Cliff. – London: Springel Verlag, 2006. – 304 p.
Winther R. Computer Safety, Reliability and Security / R. Winther, Biorn A. Gran, G. Dahll // Proc. 24th International Conference on Composite Structures. – Friedrikstadt, 28-30 September 2005. – 409 p.
Avizienis A. Fundamental Concepts of Dependability / A. Avizienis, J.C. Laprie, B. Randell // Proceedings of the 3rd IEEE Information Survivability Workshop (ISW-2000). – Boston, Massachusetts, USA, 24-26 October 2000. – P. 7-12.
Avizienis A. Dependable Computing From Concepts to Application / A. Avizienis, J.C. Laprie // IEEE Trans. On Computers. – 1986. – No. 74(5). – P. 629-638.
Dobson I.E. Building Reliable Secure Computing Systems out of Unreliable Insecure Components / I.E. Dobson, B. Randell // Proceedings оf the IEEE Conference on Security & Privacy. – Oakland, 1986. – P. 187-193.
Липаев В.В. Надежность и функциональная безопасность программных комплексов реального времени / В.В. Липаев. – М.: Институт системного программирования РАН, 2013. – 176 с.
Lipaev V.V. Basic concepts, factors and standards that determine the quality of large-scale software tools / V.V. Lipaev. – М., Berlin: Direct-Media, 2015. – 237 p.
Fonseca J.A. CMMI RAMS Extemsion Based on CENELEC Railway Standard / J.A. Fonseca, J.R. de Almeida Junior; eds.: R.Winther, B.A. Gran, G.Dahll. – Berlin: Springer-Verlag, 2005. – P. 1-12.
ERTMS/ETCS RAMS Requirements Specfication [Electronic resource]. – Available at: https://www.era.europa.eu/sites/default/files/filesystem/ertms/ccs_tsi_application_guide_-_informative_specifications/
set_of_specifications_1_etcs_b2_gsm-r_b1/index001_-_02s1266_v6.pdf.
The problem of structuring indicators of quality of decision software support system / O. Turinskyi, H. Pievtsov, M. Pavlenko, S. Osievskiy, S. Herasimov, V. Djus // International Journal of Advanced Trends in Computer Science and Engineering. – 2020. – No. 9(5). – Р. 7916-7923. https//doi.org/10.30534/ijatcse/2020/144952020. – Available at: http://www.warse.org/IJATCSE/static/pdf/file/ijatcse144950202.pdf.
International atomic energy agency. IAEA NS-G-1.3 Instrumentation and control systems important to safety nuclear power plants. Safety guide. [Electronic resource]. – No. NS-G-1.1. – Vienna, 2002. – 99 р. – Available at: https://www-pub.iaea.org/MTCD/Publications/PDF/Pub1116_scr.pdf.