The book is organized into six distinct parts, designed to build a foundation in discrete math before moving into complex testing methodologies.
: Jorgensen begins by establishing the necessary background in discrete mathematics and linear graph theory . This rigorous approach is intended to provide testers with a formal language for describing test cases and coverage metrics.
: Part II covers specification-based techniques, including: