【软件构造】乱七八糟的期末复习（预习）

Chapter1

首先放上这个PPT里的图：（虽然我还是记不住qvq）

三个维度：1.Build-time和Run-time 2.Code-level 和 Component-level 3.Moment 和 Period

指标：内部指标&外部指标

外部：正确性、健壮性、可扩展性、可复用性、兼容性、效率、可移植性、功能性、及时性等。

内部:1.从LOC（line of code）到圈复杂度：用来衡量一个模型判定结构的复杂程序

        2.耦合度和内聚度     3.代码是否可读、可理解、简洁     4.完整性     5.大小

 snapshot：记住immutable双线，mutable单线，原始值直接写，对象值放圈里，改变时可变的圈里打叉，不可变重新画个箭头指到新的，旧的打叉（应该就可以了叭qvq）

chapter2

SDLC：软件生命周期

经典软件过程模型：瀑布模型、增量模型、v模型、原型法、螺旋模型。

SCM（软件配制管理）：记录变化

SCI（软件配置项）：记录变化的单位

版本控制：本地VCS、集中式VCS（CVS、SVN）、分布式VCS（Git）

Git：后一次commit指向前一次commit

 

chapter3

基本数据类型：有值没ID、不可变、栈中分配内存、代价低

对象数据类型：有值有ID、有可变有不可变、堆中分配内存、代价高

静态类型检查：对于“类型”的检查（语法、错误类名函数名、参数类型或数目错误、返回值类型错误）

动态类型检查：对于“值”的检查（非法对象值、非法返回值、越界访问、空指针等）

Immutable、mutable:

Spec：前置条件、后置条件、异常行为

规约的确定性分为：确定的规约、欠定的规约·、未确定的

规约的陈述性分为：操作式规约、声明式规约

强的规约意味着更弱的前置条件和更强的后置条件

行为等价性

ADT：creators（构造器）、producers（生产器）、observers（观察器）、mutators（变值器）

OOP：

重写和重载（来自于https://www.runoob.com/java/java-override-overload.html）

方法的重写规则

• 参数列表必须完全与被重写方法的相同；
• 返回类型与被重写方法的返回类型可以不相同，但是必须是父类返回值的派生类（java5 及更早版本返回类型要一样，java7 及更高版本可以不同）；
• 访问权限不能比父类中被重写的方法的访问权限更低。例如：如果父类的一个方法被声明为public，那么在子类中重写该方法就不能声明为protected。
• 父类的成员方法只能被它的子类重写。
• 声明为final的方法不能被重写。
• 声明为static的方法不能被重写，但是能够被再次声明。
• 子类和父类在同一个包中，那么子类可以重写父类所有方法，除了声明为private和final的方法。
• 子类和父类不在同一个包中，那么子类只能够重写父类的声明为public和protected的非final方法。
• 重写的方法能够抛出任何非强制异常，无论被重写的方法是否抛出异常。但是，重写的方法不能抛出新的强制性异常，或者比被重写方法声明的更广泛的强制性异常，反之则可以。
• 构造方法不能被重写。
• 如果不能继承一个方法，则不能重写这个方法。

重载(Overload)

重载(overloading) 是在一个类里面，方法名字相同，而参数不同。返回类型可以相同也可以不同。

每个重载的方法（或者构造函数）都必须有一个独一无二的参数类型列表。

最常用的地方就是构造器的重载。

重载规则:

• 被重载的方法必须改变参数列表(参数个数或类型不一样)；
• 被重载的方法可以改变返回类型；
• 被重载的方法可以改变访问修饰符；
• 被重载的方法可以声明新的或更广的检查异常；
• 方法能够在同一个类中或者在一个子类中被重载。
• 无法以返回值类型作为重载函数的区分标准。

等价性：

对于immutable：分为引用等价性和对象等价性

对于mutable：分为观察等价性（Obsevers是否相同）和行为等价性（所有行为、比如比较运行时的内存地址）

chapter5

可复用性：

代码层面复用（方法和语句）、模型层面复用（类和接口）、库层面复用（API，library，包等）、架构层面复用（framework）等

又分为黑盒复用和白盒复用

chapter6

面向复用的设计模式：创建型模式、结构型模式、行为类模式
结构型：Adapter（适配器）、Decorator(装饰)、Facade（外观）
行为类模式：Stratege（策略）、Template（模板）、Iterator（迭代）

面向可维护性的设计模式：（同上）
创建型模式：工厂方法模式、抽象工厂模式、Builder模式
结构型模式：Bridge（桥接）、Proxy（代理）、Composite（组合）
行为类模式：Obsever（观察者）、Visitor、Mediator、*Command、*职责链

面向可维护性的构造技术：使用有限状态机定义程序的行为、使用状态来控制程序的执行
                 基于自动机的编程、

chapter7

error：（≈mistake）程序员犯的错误
defect：缺陷，bug的根源
fault：（≈fault）
failure：失效，运行时的外在表现
因果关系：error-》defect、fault、bug-》failure

MTBF（平均失效间隔时间）：从外部测量健壮性和正确性
残余缺陷率：从内部测量健壮性和真确性

Chapter8

四种GC方法：引用计数（Reference counting）、标记-清除（Mark-sweep）、标记-整理（Mark-Compact）、复制（Copying）
 

 

暂时先写到这里qvqqqq

参考了这些大佬的博客：https://1170300229.github.io/2019/06/20/%E8%BD%AF%E4%BB%B6%E6%9E%84%E9%80%A0%E6%80%BB%E7%BB%93/

https://www.cnblogs.com/hithongming/p/9132655.html