FORMAL BASE FOR SOFTWARE QUALITY EVALUATION
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.