Jorgensen P.C. Software Testing. A Craftsman’s Approach

4th Ed. — CRC Press, 2014. — 470 p. — ISBN13: 978-1-4665-6069-7.The book extends an 18-year emphasis on model-based testing with deeper coverage of path testing and four new chapters. The book has evolved over three editions and 18 years of classroom and industrial use. It presents a strong combination of theory and practice, with well chosen, but easily understood, examples. In addition, much of the material from the Third Edition has been merged, reorganized, and made more concise. Much of the material on object-oriented software testing has been unified with procedural software testing into a coherent whole. In addition, the chapter on path testing contains new material on complex condition testing and Modified Condition Decision Coverage as mandated by Federal Aviation Authority and US Department of Defense standards.A Mathematical Context
A Perspective on Testing
Examples
Discrete Math for Testers
Graph Theory for Testers
Unit Testing
Boundary Value Testing
Equivalence Class Testing
Decision Table–Based Testing
Path Testing
Data Flow Testing
Retrospective on Unit Testing
Beyond Unit Testing
Life Cycle–Based Testing
Model-Based Testing
Model-Based Testing
System Testing
Object-Oriented Testing
Software Complexity
Model-Based Testing for Systems of Systems
Exploratory Testing
Test-Driven Development
A Closer Look at All Pairs Testing
Evaluating Test Cases
Software Technical Reviews
Epilogue: Software Testing Excellence