C'est la vie.

文章目录UML单元总结架构设计OO课程总结架构设计与面向对象方法的演进表达式系列 UML单元总结 架构设计 由于UML系列的类图、状态图、顺序图之间彼此相对独立，故从第一次作业到第三次作业均使用XXXManager进行分包管理，源代码结构如下 由于官方包的UmlElement并不能维护UML间的成员组成关系，故采用适配器模式将UmlElemen转化为NodeElement，建立方便维护的数据结构 从UML类图上来看，MyUmlInteraction进行统一管理，将任务分派到三个Manager上，其中每个

文章目录[OO] Unit3 Summary JML系列JML理论基础优点语法基础常用表达式方法规格类型规格JML工具链测试工具使用报告SMT SolverEvoSuiteJMLUnitNG黑盒测试架构设计Bug分析HW1HW2HW3心得体会 [OO] Unit3 Summary JML系列 JML理论基础 优点 对接口行为、功能和规格作出描述和规定，用数学语言描述能够有效确保设计者的本意被清晰表达，没有二义性 JML将自然语言转化为机器能够理解并执行的语言，这为自动的自动化测试提供支撑 理论上，基于规格

JML系列 优化及时间复杂度可行性证明 符号定义 符号 意义 上限 ppp 网络中Person数量 800 rrr 网络中关系数量 3000 qsq_sqs​ 查询queryStrongLinked数量 20 qrq_rqr​ 查询queryNameRank数量 1000 qbq_bqb​ 查询queryBlockSum数量 3000 qaq_aqa​ 查询queryAgeSum数量 3000 qmq_mqm​ 查询queryMinPath数量 3000 优化方法

[OO] Unit2 Summary 电梯系列 架构相关 UML类图 List item

强力自动评测机 背景 电梯输入需要发射器，手动评测难以复现 增量开发时需要回归测试 电梯进程等待时间较多CPU利用率低 组成部分 DataMaker按照一定规则产生新数据 RunJava调用Java程序产生output SpecialJudge根据output按照一定规则判断正确性及出错原因放到本地log 可以看到组成部分如右图，评测后只需要查看log目录[外链图片转存失败,源站可能有防盗链...

[OO] Unit1 Summary

电梯优化策略 架构 UML类图 采用架构为三类线程、分配器与控制器分离 请求处理流程 优化策略 强测结果 请求拆分策略 策略概述 拆分与分配独立，无需在拆分时考虑电梯的实时状态 使用静态Floyed预处理求最短路 无向图中边的定义为： ∀Fi∀FjR(Fi,Fj)⇝g(Fi,Fj)=∣Fi−Fj∣\forall F_i \forall F_j \quad R(F_i, F_j...