This textbook describes the approaches used by software engineers to build quality into their software. The fundamental principles of software quality management and software process improvement are discussed in detail, with a particular focus on the CMMI framework. Features: includes review questions at the end of each chapter; covers both theory and practice, and provides guidance on applying the theory in an industrial environment; examines all aspects of the software development process, including project planning and tracking, software lifecycles, software inspections and testing, configuration management, and software quality assurance; provides detailed coverage of software metrics and problem solving; describes SCAMPI appraisals and how they form part of the continuous improvement cycle; presents an introduction to formal methods and the Z specification language; discusses UML, which is used to describe the architecture of the system; reviews the history of the field of software quality.

Provides a comprehensive introduction to software quality and software process improvement Examines the various tools that support software engineering, and offers detailed coverage of software metrics and problem solving Introduces formal methods, and approaches software quality from both the project-management and configuration-management perspectives Includes supplementary material: sn.pub/extras

Autorentext

Dr. Gerard O'Regan is a CMMI software process improvement consultant with research interests including software quality and software process improvement, mathematical approaches to software quality, and the history of computing. He is the author of such Springer titles as World of Computing: A Primer Companion for the Digital Age, Concise Guide to Formal Methods, Concise Guide to Software Engineering, Guide to Discrete Mathematics, and Introduction to the History of Computing.

Klappentext

In order to maintain strong levels customer satisfaction and loyalty, software developers face considerable pressure to meet expectations for high-quality software products that are consistently delivered on time.

Introduction to Software Quality describes the approaches used by software engineers to build quality into their software. The fundamental principles of software quality management and software process improvement are discussed in detail, with a particular focus on the capability maturity model integration (CMMI) framework.

Topics and features:

• Includes review questions at the end of each chapter
• Covers both theory and practice, in addition to providing guidance on applying the theory in an industrial environment
• Examines all aspects of the software development process, including project planning and tracking, software lifecycles, software inspections and testing, configuration management, and software quality assurance
• Provides detailed coverage of software metrics and problem solving
• Describes SCAMPI appraisals and how they form part of the continuous improvement cycle
• Presents an introduction to formal methods and the Z specification language, which are important in the safety critical field
• Discusses UML, which is used to describe the architecture of the system

• Reviews the history of the field of software quality,highlighting the pioneers who made key contributions to this areaThis clearly written and easy-to-follow textbook will be invaluable to students of computer science who wish to learn how to build high-quality and reliable software on time and on budget. Software engineers, quality professionals and software managers in industry will also find the book to be a useful tool for self-study.

  Inhalt

Introduction.- Software Engineering.- Project Management.- Requirements, Design and Development.- Configuration Management.- Software Inspections.- Software Testing.- Supplier Selection and Management.- Software Quality Assurance.- Software Metrics.- ISO 9000.- Software Process Improvement.- Capability Maturity Model Integration.- Setting up a CMMI Initiative.- SCAMPI Appraisals.- Software Engineering Tools.- Formal Methods.- Z Formal Specification Language.- Unified Modelling Language.- Epilogue.