Атрибутивна модель оцінки гарантоздатності програмного забезпечення з урахуванням ДСТУ ISO/IEC 25051:2016.
DOI:
https://doi.org/10.34121/1028-9763-2023-3-113-133Ключові слова:
dependable software, dependable software attributes, assessment of the software dependability level, гарантоздатне програмне забезпечення, атрибути гарантоздатного ПЗ, оцінка рівня гарантоздатності ПЗАнотація
Стаття присвячена розробці атрибутивної моделі гарантоздатного програмного забезпечення (ПЗ), визначення метрик гарантоздатного ПЗ та розробки об’єктно незалежного універсального підходу до оцінки атрибутів та метрик гарантоздатного ПЗ. Атрибутивна модель гарантоздатного ПЗ (АМГПЗ) зроблена за аналогією атрибутивної моделі гарантоздатності комп’ютерних систем (КС) і розширена спеціальними атрибутами і метриками відповідно до вимог ДСТУ ISO/IEC 25051:2016 Інженерія систем і програмних засобів. Вимоги до якості систем і програмних засобів та її оцінювання (SQuaRE). Вимоги до якості готового для застосування програмного продукту (RUSP) та інструкції щодо його тестування (ISO/IEC 25051:2014, IDT). Визначені основні атрибути моделі: функціональна придатність, рівень продуктивності, сумісність, доступність використання, надійність, безпека, зручність супроводу, мобільність, ефективність, продуктивність, задоволеність, відсутність ризиків, покриття, надлишковість, самоконтроль. Розроблено об'єктно незалежний універсальний підхід до оцінки гарантоздатності ПЗ за визначеними атрибутами, метриками та критеріями. Комплексна оцінка рівня гарантозданості ПЗ здійснюється за АМГПЗ у вигляді лінійного функціонала, що містить оцінки всіх атрибутів моделі. Розглянута кількісна оцінка рівня гарантоздатності ПЗ на прикладі Лабораторної інформаційної системи (ЛІС), яка автоматизує роботу медичних лабораторій. Наведений приклад ПЗ має загальну оцінку, яка відповідно до шкали оцінок має задовільний рівень гарантоздатності. Атрибутивна модель гарантоздатного ПЗ, оцінка рівнів гарантоздатності можуть бути використані фахівцями в галузі гарантоздатності у різних областях застосування.Посилання
1. Федухин А.В., Сеспедес Гарсия Н.В. Атрибуты и метрики гарантоспособных компьютерных систем. Математичні машини і системи. 2013. № 2. С. 195–201.
2. Сеспедес Гарсия П.Д., Сеспедес Гарсия Н.В. Атрибуты и метрики гарантоспособного программного обеспечения. Математичне та імітаційне моделювання систем. МОДС 2020: тези доп. П`ятнадцятої міжнар. наук.-практ. конф. Чернігів, 2020. С. 164–167.
3. ДСТУ ISO/IEC 25051:2016. Інженерія систем і програмних засобів. Вимоги до якості систем і програмних засобів та її оцінювання (SQuaRE). Вимоги до якості готового для застосування програмного продукту (RUSP) та інструкції щодо його тестування (ISO/IEC 25051:2014, IDT). URL: https://www.iso.org/standard/61579.html.
4. Avizienis A., Laprie J.-C. Dependable Computing: From Concepts to Application. IEEE Trans. on Computers. 1986. N 74 (5). Р. 629–638.
5. Avizienis A., Laprie J.-C., Randell B., Landwehr C. Basic Concept and Taxonomy of Dependable and Secure Computing. IEEE Trans. on Dependable and Secure Computing. 2004. Vol. 1, N 1. P. 11–33.
6. Харченко В.С. От безотказности электронных устройств к гарантоспособности web-систем. Контрольно-измерительные приборы и автоматика. 2004. № 9. С. 4–10.
7. Харченко В.С. Эволюция фон-неймановской парадигмы: гарантоспособные системы из негарантоспособных компонент. Системы обработки информации. 2004. № 10 (36). С. 11–19.
8. Харченко В.С. Гарантоздатність КС: проблеми та результати. Авіаційно-космічна техніка і технологія. 2005. № 7 (23). С. 352–357.
9. Харченко В.С. Гарантоспособность и гарантоспособные системы: элементы методологии. Радіоелектронні і комп’ютерні системи. 2006. № 5 (17). С. 7–19.
10. Федухін О.В., Мудла Б.Г. Гарантоздатність комп’ютерних систем – мода чи об’єктивна необхідність. Математичні машини і системи. 2014. № 4. С. 179–188.
11. Федухін О.В. Експертна оцінка рівня гарантоздатності комп’ютерних систем. Математичні машини і системи. 2019. № 2. С. 131–147.
12. Чумакова Т.Я., Циганенко С.М. Побудова моделі якості програмного забезпечення. Математичні машини і системи. 2009. № 4. С. 210–218.
13. ISO/IEC 9126. URL: https://en.wikipedia.org/wiki/ISO/IEC_9126.
14. Сеспедес Гарсія П.Д., Сеспедес Гарсія Н.В. Атрибутивна модель оцінки гарантоздатності програмного забезпечення. Математичні машини і системи. 2022. № 1. С. 106–119.
57
14Опубліковано
Номер
Розділ
Ліцензія
Авторське право (c) 2023 Математичні машини і системи
Ця робота ліцензується відповідно до ліцензії Creative Commons Attribution 4.0 International License.
