摘要：
[toc] ## 软构7 本章大纲： + OOP 的基本概念 + OOP 的显著特征 + 封装与信息隐藏 + 继承与重写 + 多态、子类型、重载 + 静态与动态分派 + JAVA 中的一些重要的 Object方法 + 设计良好的 Classes ### 基本概念 + Object + State + 阅读全文
摘要：
[toc] ## 软构9 面向复用的软件构造技术 本章大纲： + 软件复用的优缺点 + 为复用而construct + 通用可复用组件的特征 + 开发便携式应用系统的方法 + 可复用组件的级别和形态 + 源代码级别的复用 + 模块级别的复用：类/抽象类/接口 + 库级别的复用：API/包 + 系统级 阅读全文
摘要：
[toc] ## 软构8 本章大纲： + 理解特性之间的等价关系 + 站在观察者角度，利用AF，定义不可变对象之间的等价关系 + 引用等价性和对象等价性 + 可变数据类型的观察等价性和行为等价性 + 理解 Object 的契约，正确实现等价关系判定 ### ADT 的等价操作 + ADT 是对数据的 阅读全文
摘要：
[toc] ## 5 设计规约 本章大纲： + 方法的规约 + 前置/后置条件 + 欠定规约、非确定规约 + 陈述式、操作式规约 + 规约强度及其比较 + 如何写出好的规约 规约只说明“能做什么”， 而不讲“怎么实现” ### 行为等价性 站在客户端的角度看待行为等价性 ### Spec 结构 + 阅读全文
摘要：
[toc] ## 4 数据类型与类型检验 章节大纲： + 静态/动态类型检查 + 可变/不可变数据类型 + 可变数据类型的危险性 + 不可变数据类型的优越性 + 用 Snapshot 图理解数据类型 + 用集合类表达复杂数据类型 ### Java中的数据类型 + 基本数据类型 如int、long、b 阅读全文
摘要：
[toc] ## 2 软件测试与测试优先的编程 ### 大纲 + 测试用例（Test Case） + 测试优先编程（TDD） + 单元测试 + 使用Junit进行自动化单元测试 + **黑盒测试** + 等价类划分 + 边界值分析 + 覆盖度 ### Testing levels + 单元测试(Un 阅读全文
摘要：
[toc] ## 1 软件构造的多维度视图和质量目标 ### Build-Moment-Code 源代码是如何以代码块的方式组织起来的： + functions + classes + methods + interface ![](https://img2023.cnblogs.com/blog/ 阅读全文