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

Abstract

The article is devoted to the development of an attributive model of dependable software, defin-ing its metrics, and development of an object-independent universal approach to assessment at-tributes 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. The comprehensive assessment of software dependability is carried out using AMDS in the form of a linear functional containing estimates of all attributes of the model. 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 la-boratories. 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 de-pendability in various fields of application.