Debugging的局限性 As someone once put it,testing and debugging can not be used to demonstrate the absence of errors in software,only their presence. “someone”believed to be Dijkstra: Program testing can be used to show the presence of bugs, but never to show their absence! 我们能够用形式系统为Dijkstra的话证实吗？Debugging 的局限性 “someone” believed to be Dijkstra: Program testing can be used to show the presence of bugs, but never to show their absence! 我们能够用形式系统为Dijkstra的话证实吗？ As someone once put it, testing and debugging can not be used to demonstrate the absence of errors in software, only their presence