OO
文章平均质量分 96
JacquesdeH
.
展开
-
[OO] Unit4 Summary UML系列 暨 OO Summary
文章目录UML单元总结架构设计OO课程总结架构设计与面向对象方法的演进表达式系列UML单元总结架构设计由于UML系列的类图、状态图、顺序图之间彼此相对独立,故从第一次作业到第三次作业均使用XXXManager进行分包管理,源代码结构如下由于官方包的UmlElement并不能维护UML间的成员组成关系,故采用适配器模式将UmlElemen转化为NodeElement,建立方便维护的数据结构从UML类图上来看,MyUmlInteraction进行统一管理,将任务分派到三个Manager上,其中每个原创 2020-06-17 21:14:39 · 278 阅读 · 0 评论 -
[OO] Unit3 Summary JML系列
文章目录[OO] Unit3 Summary JML系列JML理论基础优点语法基础常用表达式方法规格类型规格JML工具链测试工具使用报告SMT SolverEvoSuiteJMLUnitNG黑盒测试架构设计Bug分析HW1HW2HW3心得体会[OO] Unit3 Summary JML系列JML理论基础优点对接口行为、功能和规格作出描述和规定,用数学语言描述能够有效确保设计者的本意被清晰表达,没有二义性JML将自然语言转化为机器能够理解并执行的语言,这为自动的自动化测试提供支撑理论上,基于规格原创 2020-05-23 21:55:25 · 304 阅读 · 0 评论 -
[OO] JML系列 优化及时间复杂度可行性证明
JML系列 优化及时间复杂度可行性证明符号定义符号意义上限ppp网络中Person数量800rrr网络中关系数量3000qsq_sqs查询queryStrongLinked数量20qrq_rqr查询queryNameRank数量1000qbq_bqb查询queryBlockSum数量3000qaq_aqa查询queryAgeSum数量3000qmq_mqm查询queryMinPath数量3000优化方法原创 2020-05-14 14:48:32 · 2628 阅读 · 3 评论 -
[OO] Unit2 Summary 电梯系列
[OO] Unit2 Summary 电梯系列架构相关UML类图List item原创 2020-04-18 21:49:41 · 412 阅读 · 0 评论 -
[OO] 电梯系列 多进程强力自动评测机
强力自动评测机背景电梯输入需要发射器,手动评测难以复现增量开发时需要回归测试电梯进程等待时间较多CPU利用率低组成部分DataMaker按照一定规则产生新数据RunJava调用Java程序产生outputSpecialJudge根据output按照一定规则判断正确性及出错原因放到本地log可以看到组成部分如右图,评测后只需要查看log目录[外链图片转存失败,源站可能有防盗链...原创 2020-04-16 20:23:54 · 367 阅读 · 0 评论 -
[OO] Unit1 Summary 表达式求导系列
[OO] Unit1 Summary转载 2020-04-16 09:18:59 · 266 阅读 · 0 评论 -
[OO] 第二单元 电梯优化策略
电梯优化策略架构UML类图采用架构为三类线程、分配器与控制器分离请求处理流程优化策略强测结果请求拆分策略策略概述拆分与分配独立,无需在拆分时考虑电梯的实时状态使用静态Floyed预处理求最短路无向图中边的定义为:∀Fi∀FjR(Fi,Fj)⇝g(Fi,Fj)=∣Fi−Fj∣\forall F_i \forall F_j \quad R(F_i, F_j...原创 2020-04-15 20:43:05 · 916 阅读 · 0 评论