第七章第一节 健壮性和正确性的区别
健壮性(Robustness)和正确性(correctness)
健壮性
-
定义:系统在不正常输入或不正常外部环境下仍能够表现正常的程度
-
面向健壮性编程:
-
处理未期望的行为和错误终止
-
即使终止执行,也要准确/无歧义的向用户展示全面的错误信息
-
错误信息有助于进行debug
-
-
健壮性原则:
-
Paranoia (偏执狂):总是假定用户恶意、假定自己的代码可能失败
-
把用户想象成白痴,可能输入任何东西(返回给用户的错误提示信息要详细、准确、无歧义)
-
对别人宽容点,对自己狠一点(对自己的代码要保守,对用户的行为要开放)
-
-
面向健壮性编程的原则:
-
封闭实现细节,限定用户的恶意行为
-
考虑极端情况,没有"不可能"
-
正确性
-
含义:程序按照spec加以执行的能力,是最重要的质量指标!
-
正确性倾向于直接报错(error),健壮性则倾向于容错(fault-tolerance);
测量方式:
-
外部观察角度:
-
Mean time between failures (MTBF,平均失效间隔时间):描述了可修复系统的两次故障之间的预期时间,而平均故障时间(MTTF)表示不可修复系统的预期故障时间。
-
-
内部观察角度:
-
残余缺陷率:每千行代码中遗留的bug的数量
-