Foundations of Software Testing

Basic Approach For undergraduate/graduate students of Computer Science and Computer Engineering and for professionals involved in software development and testing. This book presents sound engineering approaches for test generation, selection, 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. Features Mathematical approach followed to describe a...
More Description

Basic Approach For undergraduate/graduate students of Computer Science and Computer Engineering and for professionals involved in software development and testing. This book presents sound engineering approaches for test generation, selection, 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. Features Mathematical 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 Part I: PRELIMINARIES 1. Basics of Software Testing Part II: TEST GENERATION 2. Test Generation from Requirements 3. Test Generation from Finite-State Models 4. Test Generation from Combinatorial Designs 5. Test Selection, Minimization and Prioritization for Regression Testing Part III: TEST ADEQUACY ASSESSMENT AND ENHANCEMENT 6. Test-Adequacy: Assessment Using Control Flow and Data Flow 7. Test Adequacy Assessment Using Program Mutation Author Bio(s) Aditya P. Mathur is Professor, and Head, Department of Computer Science, Purdue University, West Lafayette, USA. In this book he brings over 30 years of experience in teaching, researching and consulting in software engineering.