| 1974 - 742 lapas
...proponent of correctness via structure rather than exhaustive testing, and is noted for the quote: "Program testing can be used to show the presence...of bugs, but never to show their absence." Dijkstra was the first to exhibit a simultaneous demonstration of top-down programming, structure, and correctness.... | |
| Brian Niblett - 1980 - 264 lapas
...be proved correct, they can only be tested thoroughly. As Dijkstra has commented (Dijkstra, 1970): "program testing can be used to show the presence of bugs but never to show their absence". In the jargon of the programmer, the errors show up at run-time rather than compile time. Similar considerations... | |
| Kalle Nemvalts - 1986 - 224 lapas
...admittedly artificial, but it does illustrate the inconclusiveness of testing. As Dijkstra1 puts it, Testing can be used to show the presence of bugs but never to show their absence. Testing has an important practical purpose, of course, to weed out the gross mistakes in a specification-program... | |
| Soren Prehn, Hans Toetenel - 1991 - 452 lapas
...approach to enhancing software reliability often quote the famous aphorism of Edsger Dijkstra that testing "can be used to show the presence of bugs but never to show their absence." Of course, some small programs can be exhaustively tested. It is usually infeasible, however, to assure... | |
| Allen Kent, James G. Williams - 1993 - 442 lapas
...formal methods provide the only access route to the kind of knowledge that is required. The maxim that "testing can be used to show the presence of bugs, but never to show their absence" has been promoted by Dijkstra and others (13). This position seems to conform to Sir Karl Popper's... | |
| Allen Kent, James G. Williams - 1994 - 416 lapas
...formal methods provide the only access route to the kind of knowledge that is required. The maxim that "testing can be used to show the presence of bugs, but never to show their absence" has been promoted by Dijkstra and others (13). This position seems to conform to Sir Karl Popper's... | |
| M Ali, M Matthews, D Potter - 1997 - 516 lapas
...determining if a program is correct or not is "program testing" at run-time. But, as Dijkstra said, "Program testing can be used to show the presence of bugs, but never to show their absence!". So it is generally accepted that, while there be no automatic procedure of verification, the conception... | |
| Donald MacKenzie - 2004 - 448 lapas
..."bugs" that may have caused them." As computer scientist Edsger W. Dijkstra famously put it in 1969, "Program testing can be used to show the presence of bugs, but never to show their absence!" 12 Even extensive computer use can offer no guarantees, because bugs may lurk for years before becoming... | |
| J.H. Fetzer - 2001 - 358 lapas
...formal methods provide the only access route to the kind of knowledge that is required. The maxim that "testing can be used to show the presence of bugs, but never to show their absence" has been promoted, especially by Dijkstra (1972). Such a position seems to conform to Sir Karl Popper's... | |
| Ulf Hashagen, Reinhard Keil-Slawik, Arthur L. Norberg - 2002 - 296 lapas
...systems, a critique famously expressed by Edsger W. Dijkstra in a paper to the 1969 Rome Conference: "program testing can be used to show the presence of bugs, but never to show their absence!"" Conversely, the claims of the formalizers have been fiercely contested by computer scientists Richard... | |
| |