摘要: 第四单元总结 一、 本单元架构设计 本次作业的一个重点就是把原本按照父子关系链接的elements分析并用合适的数据结构存储起来。我选择的方法是按照元素之间的逻辑关系来构建,也就是UMLCLASS下分出attribute, operation等属性,以及father来存储父类;UMLINTERFAC 阅读全文
posted @ 2020-06-17 22:27 SSpLiT 阅读(150) 评论(0) 推荐(0) 编辑
摘要: 一、 JML理论基础 JML(Java Modeling Language)是用于对Java程序进行规格化设计的一种表示语言。 对于JML,个人觉得JML相比于自然语言的优势在于,它更为严谨准确,避免了自然语言容易引起歧义的缺点。但同样,JML也有一些缺点。首先它的效率更低,相比于自然语言,表达同样 阅读全文
posted @ 2020-05-21 21:47 SSpLiT 阅读(189) 评论(0) 推荐(0) 编辑
摘要: 设计策略: 这一单元的三次作业我的程序基本上一样架构,主线程负责接收输入并传给CONTROLLER, 然后由CONTROLLER在接受乘客之后唤醒电梯,并负责将乘客传递给电梯。 结构比较简单,只有五个类:main,control,elevator,passenger,Globalvar。其中只有el 阅读全文
posted @ 2020-04-16 23:28 SSpLiT 阅读(153) 评论(0) 推荐(0) 编辑
摘要: 我觉得自己并没有很好地把求导的过程拆解开,我的确也根据几种函数的类型分出了几个类,并对他们分别设置了方法。 但是由于我试图一边进行求导,一边进行字符串的分析,导致了大量的代码堆积在了一个方法中,我现在回头看这些代码真是又臭又长,很难进行维护。 有几个bug也都是因为这个原因导致我无法找到bug的产生 阅读全文
posted @ 2020-03-20 22:55 SSpLiT 阅读(173) 评论(0) 推荐(0) 编辑