程序测试可以用来显示错误的存在,但绝不能显示它们的不存在!
人不能以流水作为镜鉴,只能在静止的水面照见自己。