摘要： (1) 分析在本单元自测过程中如何利用JML规格来准备测试数据 没有用JUNIT测试方法，主要是针对JML规格中的异常出现情况，以及基本的JML大意来构造测试数据。 (2) 梳理本单元的架构设计，分析自己的图模型构建和维护策略 本单元的架构比较明了，就是简单的网络模型——MyNetWork。 其中有 阅读全文