软件构造期末复习-第六章

健壮性与正确性

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

正确性倾向于直接报错(error)，健壮性则倾向于容错(fault-tolerance)

Throwable

在Exception中 RuntimeException不需要捕获，其他异常必须捕获，否则在编译阶段会报错（静态检查）

处理异常的关键词（代码）

• try
• catch
• finally
• throws
• throw
  
  checked 与 unchecked 异常
  对于一个异常，如果有办法进行处理，解决使之恢复正常（合理的恢复），则可作为checked异常

throws

• 调用的其他函数抛出了一个checked exception——从其他函数传来的异常
• 当前方法检测到错误并使用throws抛出了一个checked exception——自己造出的异常

//需要告知client如何处理异常
//子类型方法中不能抛出比父类型方法更多的异常！

catch 异常的处理
catch用于捕获异常，并对异常进行处理，（也可以抛出异常——用于改变异常种类，便于client处理）

finally
用于关闭（处理）try中的资源
一定会被执行，在try之后执行

**Try-with-Resources **

finally中需要处理的资源可以定义在try（）中，使其在try结束时一定被回收处理。

Assertion 断言

asset必须为true，若为false 则报错

用于保证程序的正确性
快速中止程序（用于开发阶段）

应用：主要用于验证不变量

• 内部不变量
• 表示不变量
• 控制流不变量
• 方法的前置条件
• 后置条件

与异常的对比：
异常：意料之中可能发生的错误
断言：绝对不能发生的错误

SpotBugs tool
Java静态代码分析工具

Debug
寻求错误的根源并消除它（占用了大量的开发时间）

测试
前章节