摘要：测试与正确性论证的效果差异及优缺点 测试实际上就是对程序进行的一种黑箱测试，利用各种各样的测试样例去检验程序是否能够给出正确的结果。其中的单元测试则是将整体的测试拆分成单元来进行，但其仍然躲不开黑箱测试的形式。而正确性论证虽然也是从各个方法入手，但其并不是盲目的对比输入输出是否一样，而是从逻辑上梳理 阅读全文