OO
sun ie
个人网站:http://blog.sunie.top
展开
-
OO_Unit2_多线程电梯
一、第一次作业1.需求分析单部多线程傻瓜调度(FAFS)电梯2.实现方案输入接口解析类似于Scanner,我们使用ElevatorInput进行阻塞式读取(第一次作业较简单,没有单独开一个线程,而是直接放在主控类Main中)读取到null时,表示已经读取完毕,可以退出本接口只会读取到正确的请求,错误的将跳过并在stderr输出错误信息(不影响程序本身运行,也不会引发RUNTIM...原创 2019-04-24 13:01:33 · 304 阅读 · 0 评论 -
C++复习笔记
C++ 复习思维导图云笔记传送门文章目录引言万物皆对象封装分治————访问控制三无并发的解决思路构造,析构,拷贝引用 reference(安全的指针)克隆构造 copy constructorstatic运算符重载:继承代码重用 reuse多继承多态多态性纯虚函数(仅适用于抽象类:不能创建实例)Interfacetemplate——reuseIterator——所有STL类的内部类Fac...原创 2019-05-07 15:13:34 · 207 阅读 · 0 评论 -
OO_Unit3_JML规格模式
文章目录一、JML语言的理论基础及应用工具链(一)定义:(二)契约式设计核心思想:(三)特点:(四)用法:(五)工具链:二、部署SMT Solver并验证三、JMLUnitNG/JMLUnit自动生成测试用例(一)对Edge类的hashCode进行测试(二)针对Graph接口的测试用例四、架构设计(一)类图设计(二)算法设计(三)代码复杂度分析五、bug修复(一)Edge类的hashCode错误(...原创 2019-05-22 20:10:30 · 625 阅读 · 0 评论 -
OO_Unit4_UML模型化设计
文章目录一、架构设计(一)第一次作业作业需求分析建立类图bug修复(二)第二次作业作业需求分析建立类图checkForUml002实现方式checkForUml008/009实现方式StateChart.getSubsequentStateCount实现方式二、四个单元中架构设计及OO方法理解的演进三、四个单元中测试理解与实践的演进四、三个具体改进建议一、架构设计(一)第一次作业本次作业关于...原创 2019-06-21 12:14:56 · 282 阅读 · 0 评论