摘要：1.测试与论证 测试是通过尽可能多而全的构建样例，让程序运行，并且通过观察程序的运行结果与期望对比，得出大概率正确的结果。 初步的样例选择简单，随着覆盖比例上升而变得越来越困难，就好像0分考到60和90考到100的感觉。 正确性论证是根据代码规格，逐步论证代码的正确性。如果代码的规格正确，同时代码的 阅读全文