Test和Debugging的局限性 Most algorithmic problems have infinite sets of legal inputs, and hence infinitely many candidate test sets,each of which has the potential of exposing a new error. Dijkstra: Program testing can be used to show the presence of bugs, but never to show their absence! 我们能够用形式系统“翻译”Dijkstral的话吗？Test和Debugging 的局限性 Dijkstra: Program testing can be used to show the presence of bugs, but never to show their absence! 我们能够用形式系统“翻译”Dijkstra的话吗？ Most algorithmic problems have infinite sets of legal inputs, and hence infinitely many candidate test sets, each of which has the potential of exposing a new error