摘要：
目录 总结UML单元两次作业的架构设计 总结四个单元的架构设计以及OO方法理解的演进 总结四个单元对测试的理解与实践的演进 总结课程收获 给课程提三个建议 一．总结UML单元两次作业的架构设计 （1）.第一次作业 本次作业，笔者除Main主类外，新建了四个类。 a.MyGraph。 MyGraph类 阅读全文
摘要：
经历了3周的学习，现对第三单元做一个总结。 一.梳理JML的语言基础和应用工具链情况。 （1）JML语言理论基础。 第三单元的任务主要是基于JML规格实现某些类中的某些方法，因此，读懂JML就成了完成此次作业的第一步。现对本单元比较常用的JML表达式做一些梳理。 语句部分： 方法规格： 规格类型 （ 阅读全文
摘要：
第二单元的主要任务是掌握面向多线程编程的方法，笔者通过这三次电梯作业，大概掌握了多线程编程的方法。现对每次作业进行总结。 第一次作业 Task：本次作业的任务是完成单部多线程傻瓜调度（FAFS）电梯的模拟。 设计策略：此次作业我一共写了5个类，其中Elevator和InputHandler是线程。调 阅读全文
摘要：
经历了四周学习和三次OO作业，现对OO第一阶段进行总结。 （一）基于度量分析程序结构 尽管老师上课一再强调，OO是面向对象编程，要注重类的划分，类与类之间传递的是消息，但是由于自身理解不到位，至今尚未从面向过程编程的思想中走出，在划分类的时候出现类与类之间耦合太多，类的划分不清晰等问题。 以下是第一 阅读全文