摘要：本文主要包括：第四单元的架构设计，四个单元的架构设计思维和oo方法理解的演进、四个单元的测试理解与实践的演进、课程收获和对课程的三个建议 阅读全文

摘要：本文主要包含以下内容：在本单元自测过程中如何利用JML规格来准备测试数据、本单元的架构设计，对自己的图模型构建和维护策略的分析，代码实现出现的性能问题和修复情况，拓展的JML规格以及心得体会。 阅读全文