摘要：
OO_Unit4总结及课程总结 Unit4总结 架构设计 UML图、 第一次作业使用PreCount类进行元素的预处理，将处理结果储存起来，并实现元素信息查询与Implementation之间的接口工作。 第二次与第三次作业将PreCount拓展为ClassPreCount, ColPreCount 阅读全文
摘要：
BUAA_2022_Unit3总结 一、如何利用JML规格来准备测试数据 根据是否触发异常来准备测试数据 JML规格一般包含normal情况的输入数据和会触发异常的数据，构造和输入normal情况的数据要保证不会触发异常，而构造和输入异常数据则要保证异常的顺利触发。 @ public normal_ 阅读全文
摘要：
电梯单元总结 锁与同步 锁的选择 第一次作业中，由于对锁与同步的陌生，我选择了最简单的实现方式：在线程中，只要遇到读写共享对象的情况，就将这段读写代码放在同步块中，比如 public class Elevator extends Thread { ... private void look() { 阅读全文
摘要：
2022OO第一单元总结 第一次作业 作业要求 通过对表达式结构进行建模，完成单变量多项式的括号展开，初步体会层次化设计的思想。 程序架构 | 类 | 行数 | | | | | Add.java | 39 | | MainClass.java | 67 | | MiniList.java | 80 阅读全文