程序测试可以用来显示错误的存在,但绝不能显示它们的不存在!
Program testing can be used to show the presence of bugs, but never to show their absence!
The difference between correlation and causation is not just academic—it can have profound policy implications.