摘要： OO第三单元总结 一、自测策略 ​ 本次实验最开始是想使用第九次ppt上的openjml来进行测试，但是这个方法实在是太“先进”了，网上几乎找不到他相关的任何资料（除了我们学校大佬写的博客:sob:），不是我这种人能够掌握的。所以我的目光移向了第二种方法，即课程组介绍的工具Junit，但是这个方法的 阅读全文