Foundations of Software Testing (2nd Edition)

Description

The Second Edition of Foundations of Software Testing is aimed at the undergraduate, the graduate students and the practicing engineers.

It presents sound engineering approaches for test generation, ion, minimization, assessment, and enhancement. Using numerous examples, it offers a lucid description of a wide range of simple to complex techniques for a variety of testing-related tasks. It also discusses the comparative analyses of commercially available testing tools to facilitate the tool ion.

Key Features

• Mathematical and algorithmic approach followed to describe a wide range of simple to complex techniques for test generation.
• Detailed treatment of topics such as test generation from finite state models, combinatorial designs and test selection and minimization for regression testing.
• Test adequacy assessment using criteria mandated by the FAA and other agencies; data-flow based adequacy and mutation-based adequacy which are the most powerful of the available test adequacy criteria.
• Step-by-step algorithms to generate tests.
• Comparative analyses of commercially available testing tools to facilitate tool selection.

Table of Contents

1. Part I: Preliminaries
   1. Preliminaries: Software Testing
   2. Preliminaries: Mathematical
2. Part II: Test Generation
   1. Domain Partitioning
   2. Predicate Analysis
   3. Test Generation: FSM Models
   4. Test Generation: Combinatorial Designs
3. Part III: Test Adequacy
   1. Control Flow and and Data Flow
   2. Program Mutation
   3. Part IV: Phases of Testing
   4. Regression Testing
   5. Unit Testing
   6. Integration Testing

Author Biography

Aditya Mathur is a Professor of Computer Science at Purdue University, West Lafayette, Indiana, USA and also the Head of Pillar Information Systems Technology and Design at the Singapore University of Technology and Design. He is a founding member of the Department of Computer Science at the Birla Institute of Technology and Science, Pilani. He has taught courses in Computer Sciences at all levels since 1972.  His book titled Introduction to Microprocessors was the first text of its kind in India published in 1980. This book continues to a favorite of thousands of students.

Aditya is a prolific researcher and has published extensively in quality international journals and conferences in the area of software engineering.