3 Review(s)

This book presents sound engineering approaches for software test generation, selection, minimization , assessment, and enhancement. Using numerous examples, it offers lucid description, of a wide range of techniques for a variety of testing related tasks. Students, practitioners and researchers will find this book an excellent source of simple to advanced techniques to use and improve their knowledge of and expertise in software testing. Salient Features Algorithmic approach to describe a wide range of 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 are the most powerful of the available test adequacy criteria Step by step algorithms to generate tests Comparative analysis of commercially available testing tools to facilitate tool selection 252 examples and 199 exerxcises that range from simple to highly challenging