Attributive model of software dependability assessment taking into account ДСТУ ISO/IEC 25051:2016.

Authors

  • Redkovska M.M. https://orcid.org/0009-0000-4803-6393 , Інститут проблем математичних машин і систем НАН України, м. Київ, Україна
  • Fedukhin O.V. https://orcid.org/0000-0001-7756-0004 , Інститут проблем математичних машин і систем НАН України, м. Київ, Україна

DOI:

https://doi.org/10.34121/1028-9763-2023-3-113-133

Keywords:

dependable software, dependable software attributes, assessment of the software dependability level, гарантоздатне програмне забезпечення, атрибути гарантоздатного ПЗ, оцінка рівня гарантоздатності ПЗ

Abstract

The article is devoted to the development of an attributive model of dependable software, defining its metrics, and development of an object-independent universal approach to assessment attributes and dependable software metrics. The attributive model of dependable software (AMDS) is designed by analogy with the attributive model for dependable computer systems (CS) and expanded with special attributes and metrics according to the ДСТУ ISO/IEC 25051:2016 Systems and software engineering. Requirements for the quality of systems and software tools and their evaluation (SQuaRE). Requirements for the quality of ready-to-use software product (RUSP) and instructions for its testing (ISO/IEC 25051:2014, IDT). The main attributes of the model have been defined. These are functional suitability, performance level, compatibility, availability of use, reliability, security, ease of support, mobility, efficiency, productivity, satisfaction, the lack of risks, coverage, redundancy, and self-control. An object-independent multipurpose approach to the evaluation of software attributes and metrics has been developed. A quantitative assessment of the level of software dependability has been considered using the example of the Laboratory Information System (LIS) which automates the work of medical laboratories. The given example of the software has an overall rating that, according to the rating scale, has a satisfactory level of dependability. The attributive model of dependable software and the assessment of dependability levels can be used by specialists in the field of system dependability in various fields of application.

References

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.

Downloads

Views: 57
Downloads: 14

Published

2023-09-01

Issue

No. 3 (2023): Mathematical Machines and Systems. 2023 #3

Section

QUALITY, RELIABILITY, AND CERTIFICATION OF COMPUTER TECHNIQUE AND SOFTWARE

License

Copyright (c) 2023 Mathematical Machines and Systems

Creative Commons License

This work is licensed under a Creative Commons Attribution 4.0 International License.

How to Cite

Attributive model of software dependability assessment taking into account ДСТУ ISO/IEC 25051:2016. (2023). Mathematical Machines and Systems, 3, 113–133. https://doi.org/10.34121/1028-9763-2023-3-113-133