© 2017

Software Quality Assurance

Consistency in the Face of Complexity and Change


  • Provides a concise introduction to the approaches to quality assurance that span every aspect of software development

  • Emphasises the whys (instead of the hows) of the underlying foundations of modern quality assurance techniques

  • Highlights the practical applicability and efficiency of techniques and methods

  • Complemented by key-point summaries and exercises at the end of each chapter


Part of the Undergraduate Topics in Computer Science book series (UTICS)

Table of contents

  1. Front Matter
    Pages i-xi
  2. Neil Walkinshaw
    Pages 1-5
  3. Neil Walkinshaw
    Pages 51-75
  4. Neil Walkinshaw
    Pages 77-94
  5. Neil Walkinshaw
    Pages 95-125
  6. Neil Walkinshaw
    Pages 141-163
  7. Neil Walkinshaw
    Pages 165-170
  8. Back Matter
    Pages 171-181

About this book


This textbook offers undergraduate students an introduction to the main principles and some of the most popular techniques that constitute ‘software quality assurance’. The book seeks to engage students by placing an emphasis on the underlying foundations of modern quality-assurance techniques , using these to highlight why techniques work, as opposed to merely focussing on how they work. In doing so it provides readers with a comprehensive understanding of where software quality fits into the development lifecycle (spoiler: everywhere), and what the key quality assurance activities are.

The book focuses on quality assurance in a way that typical, more generic software engineering reference books do not. It is structured so that it can (and should) be read from cover to cover throughout the course of a typical university module. Specifically, it is

  • Concise: it is small enough to be readable in its entirety over the course of a typical software engineering module.
  • Explanatory:  topics are discussed not merely in terms of what they are, but also why they are the way they are – what events, technologies, and individuals or organisations helped to shape them into what they are now.
  • Applied: topics are covered with a view to giving the reader a good idea of how they can be applied in practice, and by pointing, where possible, to evidence of their efficacy.
The book starts from some of the most general notions (e.g. quality and development process), and gradually homes-in on the more specific activities, assuming knowledge of the basic notions established in prior chapters. Each chapter concludes with a “Key Points” section, summarising the main issues that have been covered in the chapter. Throughout the book there are exercises that serve to remind readers of relevant parts in the book that have been covered previously, and give them the opportunity to reflect on a particular topic and refer to related references.


Software Management Software Quality Quality Assurance Software Development Software Process Management Software Verification and Validation

Authors and affiliations

  1. 1.Department of Computer ScienceUniversity of LeicesterLeicesterUnited Kingdom

About the authors

Neil Walkinshaw is an associate professor in computer science at the University of Leicester, where he started as a lecturer in 2010. He obtained his Ph.D. from the University of Strathclyde in 2006, and subsequently worked for five years as a post-doctoral researcher with the Verification and Testing group at the University of Sheffield. His research focuses on software testing and the use of machine learning techniques for reverse-engineering useful models of software behaviour.

Bibliographic information

  • Book Title Software Quality Assurance
  • Book Subtitle Consistency in the Face of Complexity and Change
  • Authors Neil Walkinshaw
  • Series Title Undergraduate Topics in Computer Science
  • Series Abbreviated Title Undergraduate Topics Computer Sci.
  • DOI
  • Copyright Information Springer International Publishing AG 2017
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science Computer Science (R0)
  • Softcover ISBN 978-3-319-64821-7
  • eBook ISBN 978-3-319-64822-4
  • Series ISSN 1863-7310
  • Series E-ISSN 2197-1781
  • Edition Number 1
  • Number of Pages XI, 181
  • Number of Illustrations 22 b/w illustrations, 41 illustrations in colour
  • Topics Software Engineering
    Management of Computing and Information Systems
    Software Management
  • Buy this book on publisher's site
Industry Sectors
Chemical Manufacturing
IT & Software
Consumer Packaged Goods
Finance, Business & Banking
Energy, Utilities & Environment