软件构造 第七章第一节 健壮性和正确性的区别

第七章第一节  健壮性和正确性的区别

健壮性(Robustness)和正确性(correctness)

健壮性

• 定义：系统在不正常输入或不正常外部环境下仍能够表现正常的程度
• 面向健壮性编程：
  • 处理未期望的行为和错误终止
  • 即使终止执行，也要准确/无歧义的向用户展示全面的错误信息
  • 错误信息有助于进行debug
• 健壮性原则：
  • Paranoia (偏执狂)：总是假定用户恶意、假定自己的代码可能失败
  • 把用户想象成白痴，可能输入任何东西（返回给用户的错误提示信息要详细、准确、无歧义）
  • 对别人宽容点，对自己狠一点（对自己的代码要保守，对用户的行为要开放）
• 面向健壮性编程的原则：
  • 封闭实现细节，限定用户的恶意行为
  • 考虑极端情况，没有"不可能"

正确性

• 含义：程序按照spec加以执行的能力，是最重要的质量指标！

 

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

 

测量方式：

• 外部观察角度：
  • Mean time between failures (MTBF，平均失效间隔时间)：描述了可修复系统的两次故障之间的预期时间，而平均故障时间（MTTF）表示不可修复系统的预期故障时间。
• 内部观察角度：
  • 残余缺陷率：每千行代码中遗留的bug的数量