Conventional testing is not sufficient: crude purpose-built checking tools of a few thousand lines find bugs that testing does not.

Added to korrents 12 Dec 2015 · How quotes work · Something wrong? Tell us

Related korrents

Our reading — they may agree, disagree or merely touch the same thing. Closest first: a shared subject counts for most, then how near the wording is.

• Software is not less rigorous than traditional engineering; its record-keeping and automated verification are better than most of that field's. HWHillel Wayne20 Jan 2021similar wording
• Verifying a simplified model rather than the real system is worth doing even though the real system will still have bugs, because the bugs you designed in never get built. HWHillel Wayne29 Jul 2026similar wording
• Nuclear power plants, the standard example of software that must be proved correct, do not care about formal verification: thorough testing is enough for them. HWHillel Wayne29 Jul 2026similar wording
• Formal methods are not standard practice even in high-assurance software such as medical devices and aircraft. HWHillel Wayne21 Jan 2019similar wording
• The answer to weak studies of programming practice is to fund better ones, not to conclude that the question cannot be measured. DLDan Luu7 Nov 2014similar wording

See this on the map →