 | Beizer catalogs software testing as disciplined search for failure — black-box cases from spec, white-box paths from structure, and design-for-testability so systems expose their seams before users do. Beizer First published 1983 - 2nd ed. (1990) · Van Nostrand Reinhold · ISBN 9780442206727 |
|---|
Key principles
- Black-box test design — Inputs from specification — behaviour judged without peeking at code.
- White-box path coverage — Exercise branches and loops — structure reveals untested assumptions.
- Boundary value analysis — Failures cluster at edges — test limits, not only happy paths.
- Regression discipline — Change reopens old risk — suites protect what already worked.
- Test oracle problem — Know expected outcome — ambiguous success criteria hide bugs.
- Design for testability — Hooks and seams in architecture — untestable design exports failure to production.
Core science
Software Testing Techniques is a classic methods encyclopedia — predates modern CI/CD but still sharp on coverage logic and failure thinking. On the Codex shelf map to The Glassbox Mindset when debugging personal systems or workflows with explicit oracles.
Application
Reach for this volume when glass-box debugging or test design needs a methods catalog — before shipping changes without regression checks. Open The Glassbox Mindset on the Atlas shelf for the mechanism map.