软构复习小记之健壮性与安全性

健壮性

健壮性是指程序在不正常的输入或外部环境下仍然能够表现出正常的行为的特性

想编写的程序具有较强的健壮性，应该做到：

        假设用户想要恶意破坏代码，假设自己的代码可能运行不正确

        假设用户有非法输入

        健壮性准则:对自身代码保守，对用户行为开放

        隐藏实现细节

        考虑边界条件

正确性

正确性指程序能够按照spec的规定执行。

健壮性与正确性的对比：对外部接口倾向于健壮性，对内部实现倾向于正确性

异常的分类

Error

Error一般是指与虚拟机相关的问题，如系统崩溃，虚拟机错误，内存空间不足，方法调用栈溢等。对于这类错误的导致的应用程序中断，仅靠程序本身无法恢复和预防,遇到这样的错误，建议让程序终止。

Exception

Exception表示程序可以处理的异常，可以捕获且可能恢复。遇到这类异常，应该尽可能处理异常,使程序恢复运行，而不应该随意终止异常。

同时java标准规定，异常分为checke和unchecked类型