Design and Code Inspections to Reduce Errors in Program Development¶
Fagan, M. E. (1976). Design and Code Inspections to Reduce Errors in Program Development. IBM Systems Journal, 15(3), 182-211.
Cited by¶
3 citations across 3 artifacts.
Each citation links to the sentence it supports in the citing article.
Primes¶
- External Analytic Challenge
- And the exchange must be scheduled on the reversible side of a commitment threshold.
This sourceSpecifies an inspection with defined roles held by people other than the author, checklist-driven examination rather than open comment, and mandatory rework plus moderator follow-up before the work product passes its phase exit.
- And the exchange must be scheduled on the reversible side of a commitment threshold.
- Parallel Independent Inspection
- … $p_i$, and the inspectors work in parallel (overlapping), so the probability the defect survives all of them is the product of individual miss-rates: $P(\text{miss}) = \prod_i (1 - p_i)$, and detection coverage is its complement, $1 - \prod_i (1 - p_i)$ — the union of detection events, not the intersection.
This sourceFoundational formal inspection method establishing union-of-detection coverage across independent inspectors.
- … $p_i$, and the inspectors work in parallel (overlapping), so the probability the defect survives all of them is the product of individual miss-rates: $P(\text{miss}) = \prod_i (1 - p_i)$, and detection coverage is its complement, $1 - \prod_i (1 - p_i)$ — the union of detection events, not the intersection.
Domain-specific¶
Verification¶
This reference passed the adversarial substantiation pipeline: it was checked to exist and to support the claim it is attached to. See how references were verified.
Registry ID ref:e461c6edd259 · see in the full table