摘要：面向对象构造与设计第三单元总结 本单元三次作业的内容为根据JML规格实现相应的接口，模拟社交网络的运行。重点为JML规格的学习和代码正确性的测试，其次也包括了一些与图相关的算法。每次作业都在上一次的基础上增加了部分功能。总体而言，相比与前两单元作业，难度较低，因此也有了更多的精力去进行代码正确性的测 阅读全文