Атрибутивна модель оцінки гарантоздатності програмного забезпечення та способи її практичного використання.
DOI:
https://doi.org/10.34121/1028-9763-2024-3-4-109-123Ключові слова:
attribute model, dependability, attributes, metrics, evaluation criteria, level of software dependability, атрибутивна модель, гарантоздатність, атрибути, метрики, критерії, рівень гарантоздатності ПЗАнотація
Анотація. Стаття присвячена питанню використання атрибутивної моделі гарантоздатності (АМГ) для кількісної оцінки рівня гарантоздатності програмного забезпечення (ПЗ). Побудова АМГ ПЗ є одним із найважливіших етапів оцінки гарантоздатності і дозволяє визначити необхідність використання тих чи інших характеристик (атрибутів) програмного продукту. Від повноти та адекватності застосовуваної системи характеристик залежить достовірність одержуваної оцінки гарантоздатності. Розглянуто два приклади програмного забезпечення (ПЗ) медичного призначення. Від лабораторної інформаційної системи (1-ЛІС), яка автоматизує роботу медичної лабораторії, до критичної медичної системи (2-МС) контролю життєдіяльності людини після реанімації, яка включає комплексне рішення, що дозволяє оптимізувати процес лікування пацієнта. Проведено порівняння узагальнених характеритик гарантоздатності. Атрибутивна модель гарантоздатного ПЗ (АМГ ПЗ) зроблена і розширена спеціальними атрибутами і метриками відповідно до вимог ДСТУ ISO/IEC 25051:2016 Інженерія систем і програмних засобів. Вимоги до якості систем і програмних засобів та її оцінювання (SQuaRE). Вимоги до якості готового для застосування програмного продукту (RUSP) та інструкції щодо його тестування (ISO/IEC 25051:2014, IDT). У статті використовується математичне подання АМГ, яке призначене для обчислення рівня гарантоздатності ПЗ. Використовується функціонал GАМГ, складовими якого є експертні нормовані значення кількісних оцінок атрибутів та метрик із відповідними коефіцієнтами ваги та коефіцієнтами впливу. З метою оцінки роботоздатності атрибутивної моделі гарантоздатності ПЗ було проаналізовано два її варіанти ― з урахуванням вагових коефіцієнтів критеріїв оцінки метрик і без них. Крім того, атрибутивна модель гарантоздатності ПЗ була апробована на двох типах программного забезпечення ― з низькими вимогами до гарантоздатності (перший пакет ПЗ) і високими вимогами (другий пакет критичного ПЗ).Посилання
1. Fedukhin O.V. Expert assessment of the level of dependability of computer systems. Mathematical machines and systems. 2019. N 2. P. 131–147.
2. DSTU ISO/IEC 25051:2016. Systems and software engineering. Requirements for the quality of systems and software and its evaluation (SQuaRE). Quality requirements for a ready-to-use software product (RUSP) and instructions for its testing (ISO/IEC 25051:2014, IDT). URL: https://www.iso.org/standard/61579.html.
3. Redkovska M.M., Fedukhin A.V. Attribute model for assessing software dependability taking into account DSTU ISO/IEC 25051:2016. Mathematical machines and systems. 2023. N 3. P. 113–133.
68
47Опубліковано
Номер
Розділ
Ліцензія
Авторське право (c) 2024 Математичні машини і системи
Ця робота ліцензується відповідно до ліцензії Creative Commons Attribution 4.0 International License.
