tag:blogger.com,1999:blog-5763764290649132593.post3789801173700713954..comments2011-08-15T23:15:14.159+02:00Comments on CLOSED-LOOP: Test Driven: It is the mindset not the tool!Jonas Bandihttps://profiles.google.com/112227752763576523969noreply@blogger.comBlogger1125tag:blogger.com,1999:blog-5763764290649132593.post-12884519362485757272011-08-15T18:50:12.353+02:002011-08-15T18:50:12.353+02:00no! dijkstra doesn't argue for testing, even i...no! dijkstra doesn't argue for testing, even in your cited part he argues for correctness proofs, you mix up testing and verification. please cite the complete argument three, this is the first sentence:<br /><br />"Argument three is based on the constructive approach to the problem of program correctness. Today a usual technique is to make a program and then to test it. But: program testing can be a very effective way to show the presence of bugs, but is hopelessly inadequate for showing their absence. The only effective way to raise the confidence level of a program significantly is to give a convincing proof of its correctness."Anonymousnoreply@blogger.com