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

12
Issue
vol 59 / DECEMBER, 2016
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;


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.