ISSN 0021-3454 (print version)
ISSN 2500-0381 (online version)
Menu

9
Issue
vol 67 / September, 2024
Article
UDC 004.05

FORMAL BASE FOR SOFTWARE QUALITY EVALUATION

V. V. Burakov
St. Petersburg State University of Aerospace Instrumentation, Department of Computer Mathematics and Programming;


Read the full article 

Abstract. The description of formal components of an estimation of quality of software is offered. Models of software, qualities and metrics of software are submitted. As a formal basis of models the theory of categories and the graph theory are used. Within the framework of the described approach with the help of model of quality conceptual modelling concept of quality of software is carried out and the quantitative estimation of quality with the help of model of metrics is provided.
Keywords: evaluation of quality of software, model of quality of software, model of metrics of software.