摘要： BUAA_OO_Unit3 总结 目录 分析在本单元自测过程中如何利用JML规格来准备测试数据 梳理本单元的架构设计，分析自己的图模型构建和维护策略 按照作业分析代码实现出现的性能问题和修复情况 对Network进行扩展，并给出相应的JML规格 本单元学习体会 一、测试思路 在测试方面，主要依靠测评 阅读全文