软件构造第7章-软件健壮性

一、健壮性(Robustness)和正确性(Correctness)

健壮性

系统在不正常输入或不正常外部环境下仍能够表现正常的程度。

面向健壮性的编程：处理未期望的行为和错误终止，即使终止执行，也要准确且无歧义地向用户展示全面的错误信息。

程序员需要考虑到任何可能出现的错误操作，总是假定自己的代码可能失败，考虑的方面越多，程序的健壮性就越高。

“对别人宽容点，对自己狠一点。”

正确性

程序按照spec加以执行的能力，这是最重要的质量指标。

两者的区别

正确性是永远给出正确的答案；健壮性是尽可能保持软件正常运行而不是异常退出。

正确性倾向于直接报错（error）；健壮性倾向于容错（fault-rolerance）。

正确性让开发者变得更容易，用户输入错误则直接结束；健壮性让用户变得更容易，出错也可以容忍。

对外的借口倾向于健壮；对内的借口倾向于正确。

可靠性 = 健壮性 + 正确性

二、错误和异常处理

内部错误

例如内存溢出、栈溢出等。

程序员通常无能为力，一旦出现内部错误，想办法让程序优雅地结束。

异常

程序执行中的非正常事件，使程序无法再按照预想的流程进行。

异常是自己程序导致的问题，可以捕获并处理。

异常的种类

运行时异常(RuntimeException)：由程序员在代码里处理不当造成，在代码中提前验证就可以避免运行时异常。

其他异常：由程序员无法控制的外部原因造成，即使在代码中提前验证也无法完全避免。

检查异常(Checked Exception)和未检查异常(Unchecked Exception)

Checked异常：是Exception的子类型，必须捕获并指定错误处理器handler，否则编译