引言 本单元为oo的最后一个单元,主要内容为完成一个UML类图分析器。本博客为第四单元以及整个课程内容的整理与总结。 正文 第四单元的架构设计 第一次作业 本次作业主要实现类图的解析,除规定的接口实现外,还自己增加了三个类,分别为MyClass、MyInterface和MyOperation,分别独 Read More
posted @ 2021-06-26 14:14 禾草 Views(56) Comments(0) Diggs(0) Edit
引言 本单元主要的学习内容为JML规格语言,通过阅读JML规格来实现一个社交网络及其相应的功能。本次作业相较于前两次作业较为简单,难度主要在于读懂JML规格和实现性能的优化。 正文 一、实现规格所采取的设计策略 在实现前我一般会先阅读指导书上的简要介绍,优先实现异常类。实现异常类之后由简到难实现各个 Read More
posted @ 2021-05-30 17:03 禾草 Views(64) Comments(1) Diggs(0) Edit
引言 本单元为多线程电梯,由于此前对多线程一无所知,第一次作业写的很艰难,在第二、三次作业中才逐步理解了多线程。 正文 多线程设计及bug分析 第一次作业 本次作业为单电梯调度,采用LOOK策略。共五个类,其中Elevator为电梯线程,负责电梯运行及调度策略,Input为输入线程,负责获取需求输入 Read More
posted @ 2021-04-26 14:00 禾草 Views(58) Comments(0) Diggs(0) Edit
引言 本学期oo的第一单元作业为表达式求导,由于对于java和面向对象较为陌生,第一单元作业总体完成起来较为困难。现对第一单元作业总结如下。 正文 ev(G):即Essentail Complexity,用来表示一个方法的结构化程度,范围在[1,v(G)]之间,值越大则程序的结构越“病态”,其计算过 Read More
posted @ 2021-03-28 22:40 禾草 Views(153) Comments(0) Diggs(0) Edit