The Art of Software Testing¶
Myers, G. J., Badgett, T., & Sandler, C. (2012). The Art of Software Testing. Wiley.
Cited by¶
5 citations across 5 artifacts.
Each citation links to the sentence it supports in the citing article.
Primes¶
- Coverage / Reachability
- Software testing: branch, path, and statement coverage — every code branch is exercised by at least one test; gaps are branches no test reaches.
This sourceStandard reference defining statement, branch, and path coverage as the requirement that every code branch be exercised by at least one test.
- Software testing: branch, path, and statement coverage — every code branch is exercised by at least one test; gaps are branches no test reaches.
- Surjectivity
- In computer science and software testing it is coverage as a structural goal: a test suite is "surjective" over the set of requirements, branches, or equivalence classes when every one of them is exercised by some test, and an uncovered branch is a gap exactly as an unhit codomain element is; code generation that must emit a case for every variant, and parsers that must accept every string in a grammar, are surjectivity obligations.
This sourceBranch, requirement, and equivalence-class coverage as the goal that every target be exercised by some test, with an uncovered branch as a gap.
- In computer science and software testing it is coverage as a structural goal: a test suite is "surjective" over the set of requirements, branches, or equivalence classes when every one of them is exercised by some test, and an uncovered branch is a gap exactly as an unhit codomain element is; code generation that must emit a case for every variant, and parsers that must accept every string in a grammar, are surjectivity obligations.
Mechanisms¶
- Consistency Regression Suite
- Treating "all tests pass" as "no paradox exists" is the classic misuse; it is exactly the false comfort that regression testing is prone to when the corpus stops growing.
This sourcePassing tests do not prove that no untested defect remains, because exhaustive testing is generally impossible.
- Treating "all tests pass" as "no paradox exists" is the classic misuse; it is exactly the false comfort that regression testing is prone to when the corpus stops growing.
- Coordinate Round-Trip Test
- Its intrinsic limit is coverage — it certifies only the cases you test, so a thin or comfortable validation set yields false confidence.
This sourceExplains that exhaustive testing is impossible, so any finite test suite covers only a selected subset of possible inputs and cannot certify an error-free program.
- Its intrinsic limit is coverage — it certifies only the cases you test, so a thin or comfortable validation set yields false confidence.
- Integration Acceptance Test
- Its strength is that it is the one mechanism grounded in reality: it catches the archetype's core failure — a system out of fit while every part is in bounds — because it measures the composed result directly, and it provides the truth data that keeps the predictive models honest.
This sourceTests previously tested modules in combination to detect failures in the composed result.
- Its strength is that it is the one mechanism grounded in reality: it catches the archetype's core failure — a system out of fit while every part is in bounds — because it measures the composed result directly, and it provides the truth data that keeps the predictive models honest.
Verification¶
Does it exist? Confirmed. This work's DOI resolves to a registered record, which fixes its identity. That is all it fixes.
Does it back the claim? Not recorded. Neither this nor any other of the 5 citations of this work carries a recorded support check.
Support is checked per citation rather than per work — the same source can be cited soundly in one article and wrongly in another. Per-citation recording began recently, so a citation with no recorded check is a gap in the record rather than evidence it went unchecked.
See how references were verified.
Links previously used in the corpus¶
Before the registry existed this work was also linked 2 other ways.
- https://onlinelibrary.wiley.com/doi/book/10.1002/9781119202486 ×1
- https://www.wiley.com/en-us/The+Art+of+Software+Testing%2C+3rd+Edition-p-9781119202486 ×1
Registry ID ref:b657296c89b2 · see in the full table