Book Details

Instructors may access teaching resources by clicking the ‘Request Instructor Resources’ tab next to the title.
Please note that you can subscribe to a maximum of 2 titles.

Foundations of Software Testing, 2/e

Foundations of Software Testing, 2/e
Author(s)  Aditya P Mathur
ISBN  9788131794760
Imprint  Pearson Education
Copyright  2013
Pages  728
Binding  Paperback
List Price  Rs. 825.00

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.

  • About the Author
  • Contents
  • Features
  • Downloadable Resources

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.



Part I: Preliminaries

1. Preliminaries: Software Testing

2. Preliminaries: Mathematical

Part II: Test Generation

3. Domain Partitioning

4. Predicate Analysis

5. Test Generation: FSM Models

6. Test Generation: Combinatorial Designs

Part III: Test Adequacy

7. Control Flow and and Data Flow

8. Program Mutation

Part IV: Phases of Testing

9. Regression Testing

10. Unit Testing

11. Integration Testing



• 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.


Username/ Email  
If you are new to this site, and you do not have a username and password, please register.