This updated and reorganized fourth edition of Software Testing: A Craftsman’s Approach applies the strong mathematics content of previous editions to a coherent treatment of Model-Based Testing for both code-based (structural) and specification-based (functional) testing. These techniques are extended from the usual unit testing discussions to full coverage of less understood levels integration and system testing.
The Fourth Edition:
• Emphasizes technical inspections and is supplemented by an appendix with a full package of documents required for a sample Use Case technical inspection
• Introduces an innovative approach that merges the Event-Driven Petri Nets from the earlier editions with the ³Swim ...