The Humble Programmer¶
Dijkstra, E. W. (1972). The Humble Programmer. ACM, 15(10), 859-866.
Cited by¶
2 citations across 2 artifacts.
Each citation links to the sentence it supports in the citing article.
Mechanisms¶
- Integration Test Plan
- What it cannot do is prove the configuration is flawless: a test can reveal a problem but never certify the absence of all of them, so a clean run means "no failure found under these conditions", not "will never fail".
This sourceStates that program testing can show the presence of bugs but cannot establish their absence.
- What it cannot do is prove the configuration is flawless: a test can reveal a problem but never certify the absence of all of them, so a clean run means "no failure found under these conditions", not "will never fail".
- Residual-Defect Scan
- Its trap is that a clean scan certifies only the defect classes it actually looked for: absence of findings is not absence of defects, and a narrow scan breeds false confidence — the worst outcome being a reassuring green over a real leftover it never thought to check.
This sourceStates that testing can demonstrate the presence of defects but never establish their absence.
- Its trap is that a clean scan certifies only the defect classes it actually looked for: absence of findings is not absence of defects, and a narrow scan breeds false confidence — the worst outcome being a reassuring green over a real leftover it never thought to check.
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 2 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.
Registry ID ref:4aeb47fae18d · see in the full table