摘要：​ 本单元的作业是根据JML规格，实现社交关系模拟系统，难度相比第二单元下降了很多，但是我的得分情况却差了很多，主要原因是本地没有充分测试。 一、实现规格所采取的设计策略 ​ 本单元的代码只需要按照JML的规格实现方法就行，我在刚开始写的时候，按照指导书中每个类出现的顺序来填充他们的方法，而没有从整 阅读全文