Java
sun ie
个人网站:http://blog.sunie.top
展开
-
OO_Unit1_表达式求导
一、第一次作业1.需求分析简单多项式导函数带符号整数 支持前导0的带符号整数,符号可省略,如: +02、-16、19260817等。幂函数一般形式 由自变量x和指数组成,指数为一个带符号整数,如:x ^ +2。省略形式 当指数为1的时候,可以采用省略形式,如:x。项变量项带有系数的幂函数,如:2 * x ^ 2、-1 * x。系数为1的时候,可以省略系数或表示为...原创 2019-03-27 16:41:27 · 684 阅读 · 0 评论 -
OO_Unit2_多线程电梯
一、第一次作业1.需求分析单部多线程傻瓜调度(FAFS)电梯2.实现方案输入接口解析类似于Scanner,我们使用ElevatorInput进行阻塞式读取(第一次作业较简单,没有单独开一个线程,而是直接放在主控类Main中)读取到null时,表示已经读取完毕,可以退出本接口只会读取到正确的请求,错误的将跳过并在stderr输出错误信息(不影响程序本身运行,也不会引发RUNTIM...原创 2019-04-24 13:01:33 · 304 阅读 · 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 评论