5.0 测试的层次

软件几乎不可能通过有限测试证明“绝对没有错误”。测试真正提供的是证据：测试也是一种可执行的行为说明。例如“库存为 0 时不能下单”比“下单函数应该正确”更具体，也更能指导实现。