最折磨的一集 建模 为了完成作业，我采取了先写代码再反向完成类图的方式。 架构思想 这几次代码我都是按照生活中的常识进行的架构设计， 但是在后期发现了许多的冗余类，于是进行了简化设计。 迭代过程中基本上没有进行大的架构变革， 而是基于几次测试新增的要求进行更新。 与设计要求不太相同的是， 我设计中的「书」更像是单纯的实体， 它本身没有状态， 所谓的「状态」由书在前所在的位置决定。 这样的...

分析本单元的测试过程 测试类型 黑箱测试 测试者不了解程序的内部情况，不需具备应用程序的代码、内部结构和编程语言的专门知识。只知道程序的输入、输出和系统的功能，这是从用户的角度针对软件界面、功能及外部结构进行测试，而不考虑程序内部逻辑结构。测试案例是依应用系统应该做的功能，照规范、规格或要求等设计。 在本单元的课程中就是根据 JML 规范来制定相应的测试用例，比如调用的 OKTest 方...

第五次作业 本次作业由两个大的任务组成： 电梯运行策略 多线程设计 电梯运行策略 想必大家在等电梯的时候，都会疑惑电梯是怎么调度的，甚至想「这方案太（）了，假如（），肯定效率更高」 原本想实现一个最优方案，在尝试查找电梯调度方面的论文后， 却发现不同的策略在不同的情况下有不同的优势，很难说有一种最优的方案。 仔细想想也确实如此。电梯是一个实时响应的系统，它不能预测未来，故只能选择当前条件...

第一次作业 整体架构 整体架构 形式化表述 原始规则 \[ \begin{align*} \texttt{Expr}\rightarrow\ &\texttt{White}\ [\texttt{PlusMinus}\ \texttt{White}]\ \texttt{Term}\ \texttt{White} \\ |\ &\texttt{Expr}\...