摘要：
（1）第四单元两次作业的架构设计
（2）四个单元中架构设计及OO方法理解的演进
（3）四个单元中测试理解与实践的演进
（4）总结自己的课程收获
（5）体会与建议 阅读全文
摘要：
• (1)JML语言理论基础、应用工具链
• (2)SMT Solver
• (3)JMLUnitNG/JMLUnit
针对Graph接口的实现自动生成测试用例， 并结合规格对生成的测试用例和数据进行简要分析
• (4)架构设计梳理以及重构
• (5)作业bug和修复
• (6)规格撰写体会 阅读全文
摘要：
三次作业总结主要分为以下几个部分的内容： 多线程协同和控制 基于度量的程序结构分析 程序bug检验 心得体会 多线程协同和控制 第一次作业为傻瓜式先来先服务电梯调度，而且不考虑捎带优化。所以设计非常简单，只需要满足相关的线程同步避免轮询即可。 具体的设计为两个线程： (1) 电梯线程 （2）输入线程 阅读全文
摘要：
本文主要内容为BUAA_OO课程前三次作业中设计思考的一些问题如三次作业中如何对类进行设计，如何重构代码和实现功能的泛化，以及程序的bug检验方法，基于度量对程序结构进行分析等内容。 阅读全文