| 
|
Quote: nothing can prove the absence of bugs; verification can not prevent failures from unforeseen causes
topics >
all references >
references a-b >
Topic:
error safe systems
Group:
testing
Topic:
program proving is infeasible
Topic:
programming without errors
Quotation Skeleton
Dijkstra's famous remark that testing can prove the … Dijkstra intended: that nothing can prove the absence … the experience of engineers as well as the … just mentioned whose cause lies outside the frame … [e.g., Tacoma Narrows Bridge, thrashing in early time-sharing systems, guessing passwords by detecting page faults.] Google-1 Google-2
Copyright clearance needed for quotation.
Topic: error safe systems (75 items)
Group: testing (18 topics, 551 quotes)
Topic: program proving is infeasible (46 items)
Topic: programming without errors (28 items)