摘要:
一、总结本单元两次作业的架构设计 1.第一次作业 ①建立一个CheckElements类对不同的Elements进行分类管理,将它们直接储存(数据没有顺序性所以无法直接构成):我认为是叶类型(就是没有会属于它的属性的Element)直接储存,我认为不是叶类型的Element建立新的类储存。 ②从我认 阅读全文
摘要:
一、JML理论基础及应用工具链 JML存在的意义 1. 开展规格化设计,能够实现设计与实现分离,实现进行提前测试。 2. 方便程序代码的阅读和维护。 JML方法规格 requires —— pre-condition assignable —— side-effects,列出这个方法能够修改的类成员 阅读全文
摘要:
前言 oo课已经进行了八周,学习了多线程相关的知识,也终于亲自体验了传闻中的“电梯”编写。 在进行课程学习的总结之前,我想先对自己学习课程时的心情与态度做一次反省与总结。 其实一直到现在,在oo的学习过程中还是处于一种比较被动的状态,把作业都当作是任务去完成,交完作业过了中测就结束了,不会再去改进自 阅读全文
摘要:
程序结构分析 1.第一次作业 可以看出第一次作业基本就是面向过程来做的。 只有一个多项式类,类中存了每个单项式的系数和指数。 所有的单项式分离工作全都由多项式类的构造方法完成,导致了构造方法的复杂度非常高。 而changeToString方法由于只有这一个类有处理功能,所以写了所有可能的情况,复杂度 阅读全文