摘要： 面向对象程序设计第三单元作业总结 本单元的任务是学习JML的相关知识。在三次作业中，我们根据JML规格实现了一个社交关系系统，深刻体会到了JML规格语言的严谨性，掌握了阅读较为复杂的JML规格的能力。 一、利用JML规格进行程序自测 我在本单元的测试基本通过Junit实现。由于单元作业中，实现的方法 阅读全文