摘要： 一、测试与正确性论证效果的差异及其优缺点 在第十三次作业中，我们使用了JUnit单元测试框架对我们在第三次作业中编写的捎带电梯程序中的每一个方法进行了测试。捎带电梯程序在经过了互测之后，已经是一个比较完善的系统，但是通过大量细致的单元测试，仍能从程序中寻找到一些逻辑漏洞甚至错误。通过观察每个方法的语 阅读全文