Foundations of Software Testing

by Aditya P. Mathur

Description For undergraduate/graduate students of Computer Science andComputer Engineering and for professionals involved in softwaredevelopment and testing. This book presents sound engineeringapproaches for test generation, selection, minimization,assessment, and enhancement. Using numerous examples, it offers alucid description of a wide range of simple to complex techniquesfor a variety of testing-related tasks. 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. Part I: PRELIMINARIES 1. Basics of Software Testing Part II: TEST GENERATION 2. Test Generation from Requirements3. Test Generation from Finite-State Models 4. Test Generation fromCombinatorial Designs 5. Test Selection, Minimization andPrioritization for Regression Testing Part II: TEST ADEQUACY ASSESSMENT AND ENHANCEMENT 6. Test-Adequacy Assessment UsingControl Flow and Data Flow 7. Test Adequacy Assessment UsingProgram Mutation Aditya P. Mathur is Professor , and Head, Department ofComputer Science, Purdue University, West Lafayette, USA. In thisbook he brings over 30 years of experience in teaching, researchingand consulting in software engineering.

702 pages, Paperback

First published September 19, 2007

Reviews

[N · Rating 5 out of 5]

dfghdfhdf