健壮性与正确性
健壮性:系统在不正常输入或不正常外部环境下仍能够表现正常的程度
正确性:程序按照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
寻求错误的根源并消除它(占用了大量的开发时间)
测试
前章节