Methods for Quality Maintenance of Large-Scale Software Systems.


Monographs of Vladimir Lipaev

Methods for Quality Maintenance of Large-Scale Software Systems.

Series "Quality Management". M.: SYNTEG, 2003. - 520 p., ill.

Methods for Quality Maintenance of Large-Scale Software Systems.

The monograph consists of two parts. The first part considers primary concepts, factors and methods to present a quality in life cycle of large-scale software facilities. The grounds of base standards for products quality administrative management, life cycle processes, and quality attributes of software facilities. Main factors are emphasized that define quality properties and attributes of functional capabilities, security, design characteristics, and databases. Software quality dependence from a number of internal and external factors, and from recourses limitation is investigated for a case when software facilities are built and used for initial purposes. Techniques for estimation of recourses costs for functional appropriateness, constructive quality characteristics provision in a life cycle of software facilities are presented.

The second part focuses on requirements development of software facilities quality attributes, and also on methods of design of high-quality software complexes. Principles and methods of verification, technological stages and strategies for software facilities testing are described. Methods for standardized quality attributes estimation are considered that are recommended to use in a preparation of a testing methodic. Methods for qualification testing of large-scale software facilities, reliability estimation of resources usage are presented. Methods for quality improvement in software maintenance and configuration management of software facility versions are considered, and methods for quality validation during a software products certification process are presented.

The monograph is recommended for specialists that provide all stages if a life cycle of large-scale software facilities, that build and use systems and quality attributes at this field. It may be useful for members of research and development projects to provide a high quality of complex software facilities. It is also recommended as a textbook for undergraduate and postgraduate students in studying how to build sophisticated software complexes.

The book was published under financial support of the Russian Foundation of Basic Research (grant № 03-07-95000).

Table of contents:

Introduction.

Part 1. PRIMARY NOTIONS, FACTORS AND STANDARDS THAT DEFINE A QUALITY OF SOFTWARE FACILITIES.

Chapter 1.
The basic of software facilities quality provision.
1.1. Problems of software facilities quality provision.
1.2. Principles of large-scale software facilities design.
1.3. Recourses for complex software facilities life cycle.
1.4. The basic of modern technologies that provide complex software facilities life cycle.

Chapter 2. Quality attributes for large-scale software facilities.
2.1. Main factors that define quality of complex software facilities.
2.2. Quality properties and attributes of complex software facilities functional capabilities.
2.3. Software facilities security characteristics.
2.4. Quality constructive characteristics of complex software facilities.
2.5. Databases quality characteristics.

Chapter 3. Recourses needed for quality provision for large-scale software facilities.
3.1. Human recourses for life cycle and quality provision for complex software facilities.
3.2. Recourses for functional appropriateness provision in complex software facilities development.
3.3. Recourses for constructive quality characteristics of complex software facilities.
3.4. Recourses for external environment imitation for complex software facilities quality provision.

Chapter 4. Standardization of software facilities quality provision.
4.1. The basic of software facilities life cycle standardization.
4.2. Base standards for products quality administrative management.
4.3. Standardization of software facilities life cycle processes.
4.4. Standards that regulate software facilities quality.

Part 2. METHODS AND PROCESSES FOR LARGE-SCALE SOFTWARE FACILITIES QUALITY PROVISION.

Chapter 5. Methods for requirements development for large-scale software facilities.
5.1. Organization of requirements development for large-scale software facilities.
5.2. Requirements development processes for complex software facilities quality characteristics.
5.3. Risk analysis in a complex software facilities life cycle.

Chapter 6.
Large-scale software facilities design methods.
6.1. Planning of life cycle processes for complex software facilities.
6.2. Structural design of complex software facilities.
6.3. Planning of quality management processes for complex software facilities.
6.4. Documentation of complex software facilities.

Chapter 7. Methods for software verification, testing, and validation.
7.1. Principles of software verification and testing.
7.2. Technological stages and strategies for systematic testing of software complexes.
7.3. Testing of software components structure.
7.4. Estimation of software structural correctness.
7.5. Testing of data flow processing by software components.

Chapter 8. Methods for qualification testing of large-scale software complexes.
8.1. Organization and methods of software complexes quality estimation.
8.2. Tools for testing and quality estimation of software complexes.
8.3. Software complexes functional reliability estimation.
8.4. Estimation of computing recourses utilization efficiency by a software facility.

Chapter 9. Methods for large-scale software facilities quality improvement and validation.
9.1. Processes for software facilities quality improvement.
9.2. Configuration management of versions of complex software facilities and components.
9.3. Documentation of complex software facilities maintenance.
9.4. Methods for complex software facilities quality validation during a process of their certification.

Appendixes.
A1. List of major standards in the field of software facilities quality provision.
A2. A comparative example of requirements for quality characteristics for three types of software facilities.

References.

About author.

Table of contents.

Information.

Books of SYNTEG publishers.