随笔分类 - 软件构造笔记
摘要：[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 ** > 用于在**不改变一个现有对象的结构的前提下，向其添加新的功能**。 Decorator设计模式属于结构型模式，作为对现有类的一个包装。 **定义：** > Decorator模式通过**创建一个装饰类
阅读全文
摘要：## 三个工厂模式方法 [toc] ### Introduction 工厂模式属于设计模式中创造型模式的一种。 它提供了一种创建对象的方式，将创建对象的过程作了优秀的封装。 使得创建对象的创建逻辑不会暴露给客户端，而是通过接口来进行对象的创建。 #### 简单工厂模式 **定义：** 定义一个工厂类
阅读全文
摘要：在做软构实验lab1，使用git进行版本管理的时候遇到的问题。 因为我使用两个设备进行学习，因此在这当中涉及到两方本地版本库的更新问题， 出现问题的原因： 我在使用p1设备的时候在未 git pull 更新本地版本库的前提下进行了 Code，因此在完成修改进行git push 的时候出现了 merg
阅读全文
摘要：Junit环境配置 步骤1：检查电脑中Java环境是否配置成功 因为JUnit 是 Java 的一个框架，所以最根本的需要是在你的机器里装有 JDK。 1.1 进入cmd控制台界面，输入java/javac/java --version即可检验 步骤2：下载Junit 官网下载地址：http://w
阅读全文
