摘要： 本单元主要进行基于规格的层次化设计，在给定JML规格的基础上实现一个社交网络模拟系统。 1. 测试 在本单元的测试中，我选择了传统的随机生成数据的测试方法，事实证明我的这种选择是一把双刃剑。 1.1 两种测试方法对比 传统的随机数据方法的优点有： 测试过程不依赖于对JML规格的理解，只要对拍的人员内 阅读全文