程序测试可以用来显示错误的存在,但绝不能显示它们的不存在!
"The truth of a story lies in what it hides, not in what it reveals."