摘要: OO第四单元总结 一、本单元架构设计 本单元每次作业都直接在上一次作业的基础上直接对新需求进行添加,所以下面分析第三次作业的架构设计即可。 首先是对类图的建模,新建了MyClass, MyInterface, MyOperation三个类。MyClass中包含了UmlAttribute,MyOper 阅读全文
posted @ 2020-06-19 20:43 困于街头 阅读(156) 评论(0) 推荐(0) 编辑
摘要: OO第三单元总结 一、 JML语言的理论基础及应用工具链 (1)JML语言理论基础 1.原子表达式: \result表示非void类型的方法执行所获得的结果,即方法执行后的返回值。 \old(expr)用来表示一个表达式 expr 在相应方法执行前的取值。 \not_assigned(x,y,... 阅读全文
posted @ 2020-05-23 19:47 困于街头 阅读(143) 评论(0) 推荐(0) 编辑
摘要: OO第二单元总结 一、设计策略分析 1.第一次作业 第一次作业应该是我花费时间最长的一次,由于第一次接触多线程,对锁的概念还是不能很好的理解,我首先花了两天时间去理解synchronized关键字,然后又用了一天时间进行架构的构思,从周三上机的代码中获得了灵感。直到星期五才进行代码的编写。想明白之后 阅读全文
posted @ 2020-04-18 21:13 困于街头 阅读(158) 评论(0) 推荐(0) 编辑
摘要: 代码分析 第一次作业 UML图: 度量分析: 第一次作业比较简单,整体来看,代码复杂度比较低。 输入 由于第一次作业保证输入的合法性,先对字符串进行预处理,将空白字符去除,然后将++,- -,+ -,- +转变为单一正号或负号。 我使用了如上正则表达式使用Matcher的find()方法去匹配每一项 阅读全文
posted @ 2020-03-19 00:40 困于街头 阅读(178) 评论(0) 推荐(0) 编辑