测试可以证明程序有错，也可以证明程序没有错误。