Michael_张金源

摘要： 测试与正确性论证的效果差异 这此的测试是使用规格通过测试用例对实现方法正确性的检查，与平时测试时直接用数据输入输出判断不同，这测试针对每一个具体方法的实现，使用JUnit。 优点： 缺点： 正确性论证可以做到全面的覆盖，在论证过程中会找到了不少写不正确的规格。但是，它的工作量实在是太大了，除了单纯论 阅读全文