Table of Content

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
 

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