摘要：为什么使用单元测试 一般来说，验证的两个思路是证明和证伪，分别对应着软件验证的形式化验证和测试。 证明适用于在有明确的逻辑范畴内通过演绎推理（如三段论、假言推理等）进行；证伪可通过举出反例的方式进行。 软件领域的性质导致证明的困难及收效甚微，绝大部分都采用测试来验证。 根据测试目的的不同有功能测试、 阅读全文