FORMAL BASE FOR SOFTWARE QUALITY EVALUATION
Annotation
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
Постоянный URL
Articles in current issue
- TOOL COMPLEX ALGORITHMS FOR KNOWLEDGES DESIGNING ABOUT TECHNOLOGICAL PROCESSES
- DEFINITION OF AVIATION CARRIER TRAJECTORY OF SYNTHESIZED-APERTURE RADAR
- RESEARCH OF DYNAMIC SYSTEMS WITH MULTIPLICATION OF VARIABLES ON THE BASIS OF KRONECKER MATRIX STRUCTURES
- HANKEL SINGULAR VALUES AND FREQUENCY RESPONSES OF LINEAR SYSTEM
- REALIZATION OF COLLECTIVE SIGNATURE PROTOCOL ON THE BASIS OF STANDARDS FOR DIGITAL SIGNATURE
- FORMAL BASE FOR SOFTWARE QUALITY EVALUATION
- THERMOVISION AND VIBROACOUSTICS DIAGNOSTICS OF ELECTROMECHANICAL DEVICES
- INTERPOLATION OF FUNCTION WITH DISCRETE FOURIER TRANSFORM
- POWER SUPPLY OF FOUR-QUADRANT ELECTRIC DRIVE
- PULSE GENERATOR WITH JITTER
- EVOLUTION OF CONOSCOPIC PICTURES AT CHANGE OF OPTICAL AXIS POSITION OF A CRYSTAL PLATE
- DEFINITION OF STRUCTURED SURFACES PARAMETERS
- ELLIPSOMETRY OF INHOMOGENEOUS SURFACE LAYERS OF ANISOTROPICAL OPTICAL ELEMENTS
- TWO-MIRROR’S OBJECTIVE WITH FOUR REFLECTIONS
- RESEARCH OF HEAT CONDUCTIVITY OF POLYMERIC COMPOSITE MATERIALS
- DESIGN PROCEDURE OF PYROMETER SENSITIVITY AT INFLUENCE OF HANDICAPES OF NON-UNIFORM PHON