摘要: 架构设计: 第十三次作业: 第十三次作业是只要实现类图的一些统计功能,我是通过一个Graph类来进行具体的实现,然后OperationInfo,AttributeInfo,InterfaceInfo,ClassInfo来储存具体的操作,属性,接口,类的信息。 第十四次作业: 第十四次作业中的Solv 阅读全文
posted @ 2020-06-19 17:46 倪衔军 阅读(110) 评论(0) 推荐(0) 编辑
摘要: 一、关于JML JML理论基础 所谓的JML,它是一种形式化的,面向JAVA的行为接口规格语言。对于我们所写的代码,正确性的重要性不言而喻,JML正是我们为了获得回答方法正确性问题的一种重要的技术手段,同时可作为我们开展测试设计时的依据,是多人协同开发时的交互基础。 方法规格: 举一个例子,首先我们 阅读全文
posted @ 2020-05-22 23:20 倪衔军 阅读(137) 评论(0) 推荐(0) 编辑
摘要: 一、设计策略 对于前两次的电梯,由于电梯的种类单一,我采取的设计是采用的最简单的生产者-消费者模式。即输入线程作为生产者,将新的请求信息传递到调度室中进行处理,调度室再给电梯线程下达命令。在第三次的作业中由于电梯种类的增加,我又增加了一个控制室,用来控制三种调度室,而每一种调度室负责给一种类型的电梯 阅读全文
posted @ 2020-04-16 10:40 倪衔军 阅读(122) 评论(0) 推荐(0) 编辑
摘要: 一、程序结构分析 第一次作业:对幂函数表达式进行求导(保证输入合法) 结构: 复杂度分析: 在第一次的作业中,我还没有逃脱面向过程的思维模式,基本上还是一Main到底的代码风格。 可以看到我一共只用了两个类,一个类Nape表示项,它记录了一个项的符号,系数,指数,并实现了求导功能。另一个类则是主类, 阅读全文
posted @ 2020-03-21 12:15 倪衔军 阅读(164) 评论(0) 推荐(0) 编辑