Обратный звонок

Leveraging control flow graphs to ensure structural coverage.

is widely recognized for its "math-first" methodology, treating software testing as a rigorous technical craft rather than a series of ad-hoc checks.

: It begins with the heavy hitters— discrete mathematics and linear graph theory . These aren't just academic; they form the basis for creating logic-driven test cases that provide high coverage.

Paul C. Jorgensen’s Software Testing: A Craftsman’s Approach (3rd Edition) remains a foundational text because it elevates testing from an afterthought to a precise science. By grounding functional and structural testing techniques in solid mathematical frameworks, it provides engineers with the tools necessary to build reliable, high-quality software. Whether you are studying for a computer science degree or optimizing a corporate QA pipeline, the methodologies outlined in this textbook offer timeless guidance for navigating the complexities of modern software verification.

This technique focuses on the borders of input domains, where software errors frequently cluster. Jorgensen outlines:

Early chapters revisit discrete mathematics essentials—graph theory, logic, and set theory—then directly apply them to testing. Jorgensen is known for making abstract concepts tangible by tying each mathematical idea to a specific testing method.

Наверх