软件构造复习5

1.健壮性与正确性

健壮性：系统在不正常输入或不正常外部环境下仍能够表现正常的程度
正确性：程序按照spec加以执行的能力，是最重要的质量指标
对外的接口，倾向于健壮；对内的实现，倾向于正确

2.错误与异常处理

分类：
unchecked异常：Error类、Exception类中的运行时异常
checked异常:Exception类中除运行时异常外的其他异常，如AWT,IOE异常

Exception类：
运行时异常：运行时异常，是程序源代码中引入的故障所造成的，如果在代码中提前进行验证，这些故障就可以避免（如数组越界、空指针等）
非运行时异常：是程序员无法完全控制的外在问题所导致的 – 即使在代码中提前加以验证（文件是否存在），也无法完全避免失效发生

Checked Exceptions：编译器可帮助检查你的程序是否已抛出或处理了可能的异常
Unchecked Exceptions：可以不处理，编译没问题，但执行时出现就导致程序失败，代表程序中的潜在bug

异常处理：
Declaring exceptions (throws) 声明“本方法可能会发生XX异常”
Throwing an exception (throw) 抛出XX异常
Catching an exception (try, catch, finally) 捕获并处理XX异常

1.如果客户端可以通过其他的方法恢复异常，那么采用checked exception；
2.如果客户端对出现的这种异常无能为力，那么采用unchecked exception；
3. 异常出现的时候，要做一些试图恢复它的动作而不要仅仅的打印它的信息
4. 尽量使用unchecked exception来处理编程错误：因为unchecked
exception不用使客户端代码显式的处理它们，它们自己会在出现的地方挂起程序并打印出异常信息。
5.错误可预料，但无法预防，但可以有手段从中恢复，此时使用checked
exception，如果做不到这一点，则使用unchecked exception

try-catch-finally中finally语句：如果异常发生前曾申请过某
些资源，那么异常发生后这些资源要被恰当的清理
如

The Try-with-Resources Statement (TWR)：

自动进行资源关闭

3.断言与防御式编程

断言：在开发阶段的代码中嵌入，检验某些“假设”是否成立。若成立，表明程序运行正常，否则表明存在错误

格式：
assert condition;
assert condition : “message”;

异常与断言的使用：
1.如果参数来自于外部（不受自己控制），使用异常处理
2.如果来自于自己所写的其他代码，可以使用断言来帮助发现错误
3可以用断言测试私有方法的前置条件，也可在任意方法中测试后置条件

4.软件测试与测试优先的编程

笛卡尔积：全覆盖
多个划分维度上的多个取值，要组合起来，每个组合都要有一个用例
覆盖每个取值：最少1次即可
每个维度的每个取值至少被1个测试用例覆盖一次即可