2023哈工大软件构造复习笔记(1)

第一节 多维视图和质量目标
软件构造多维度视图
红色标注为重点（考试会考选择题）

Moment 特定时刻的软件形态 Period 软件形态随时间的变化

AST (Abstract Syntax Tree) 抽象语法树

SCI (Software Configuration Item) 配置项

concurrent multithreads 并发多线程

第一节 多维视图和质量目标
软件构造多维度视图

Moment 特定时刻的软件形态 Period 软件形态随时间的变化

AST (Abstract Syntax Tree) 抽象语法树

SCI (Software Configuration Item) 配置项

 

concurrent multithreads 并发多线程

不需要实例化Error，也不需要捕获（捕获了也处理不了）

异常分为：运行时异常（RuntimeException）和其他异常

运行时异常是程序员代码里处理不当造成，其他异常由外部原因造成

Checked and unchecked exceptions
Unchecked exceptions = Error + RuntimeExceptions

两者区分：编译器是否能检查出（编译器不会检查Unchecked exception）

checked exception 必须捕获并指定错误处理器handler，否则编译无法通过

 

五个处理异常时使用的关键字：try，catch，finally，throws，throw

Unchecked异常也能用try/catch来进行捕获，但大多数时时不需要的，也不应该这样做——掩耳盗铃，对发现的编程错误充耳不闻！

尽量用unchecked exception来处理编程错误——使代码更易读

不需要实例化Error，也不需要捕获（捕获了也处理不了）

异常分为：运行时异常（RuntimeException）和其他异常

运行时异常是程序员代码里处理不当造成，其他异常由外部原因造成

Checked and unchecked exceptions
Unchecked exceptions = Error + RuntimeExceptions

两者区分：编译器是否能检查出（编译器不会检查Unchecked exception）

checked exception 必须捕获并指定错误处理器handler，否则编译无法通过

五个处理异常时使用的关键字：try，catch，finally，throws，throw

Unchecked异常也能用try/catch来进行捕获，但大多数时时不需要的，也不应该这样做——掩耳盗铃，对发现的编程错误充耳不闻！

尽量用unchecked exception来处理编程错误——使代码更易读

断言（assert）

可尽早发现bug，避免扩散

断言用在开发阶段，运行时可被一次性关闭。断言保证的是正确性。

异常可用于处理用户输入错误，用在release阶段，提高健壮性

assert可用来限定：内部不变量、表示不变量、控制流不变量、前置条件、后置条件等