HaoranLuo

摘要： ADT & OOP 等价性 所以对可变类型来说，无需重写这两个函数，直接继承Object的两个方法即可。 如果一定要判断两个可变对象看起来是否一致，最好定义一个新的方法。 JDK中不同mutable等价性标准不同（行为等价性 观察等价性） So immutable types must overri 阅读全文

摘要： 抽象数据类型ADT 抽象数据类型与表示独立性： 如何设计良好的抽象数据结构，通过封装来避免客户端获取数据的内部表示（即“表示泄露”），避免潜在的bug——在client和implementer之间建立“防火墙” ADT特性：表示泄露、抽象函数、表示不变量Representation Invarian 阅读全文

摘要： 数据类型与类型检验 对应 04-Data Type and Type Checking内容 不过度展开记录，仅作“写意”用 数据类型 type:（抽象上的）值的集合，及可以运作于这些值的一系列运算 特定数据类型定义，存储满足类型约束之值的结构空间——变量 基本数据类型（java提供）&对象数据类型（ 阅读全文

摘要： 24复习，快速整理回顾 阅读全文

摘要： 对应讲义第一节内容：软件构造的多维视图、不同视图间的转换、软件系统的质量评估与软件构造中的五个关键质量目标 阅读全文

摘要： 正则表达式是一种用于描述字符串模式的强大工具，在Java中，通过内置的java.util.regex包可以轻松地进行字符串匹配和替换操作。在排班系统实现的最后涉及到了java下正则表达式的使用，为加深理解，查找资料，进行简单整理。 阅读全文

摘要： 对应讲义第二节内容，内容记录策略偏写意，回顾： - 测试优先“的思想与意义 - 用等价划分与边界值分析方法为模块设计测试用例 - “覆盖度” - 测试用例对代码测试全面程度的度量 - 对各种测试的初步了解 阅读全文

摘要： 设计规约 个人复习用 Skimming 目录设计规约规约：编码与沟通文档化的必要性规约与协定行为等价性规约结构（重）：前置条件与后置条件*测试&验证规约：略进行规约的设计规约分类规约的图表化优秀规约的判定标准 规约：编码与沟通 文档化的必要性 Java API文档给出了详尽的对类内方法的描述，如实现 阅读全文

摘要： 对git的基本指令及较复杂版本管理指令做出回顾整理，一方面用作考试复习参考，一方面方便之后项目过程中回顾参照。包括库的初始化，提交，推送，分支管理等。 阅读全文

摘要： 对Lab2-ADT&OOP的回顾——Static与非Static区别 及 equals和hashcode方法重写相关 阅读全文