软件构造第七章第一节 健壮性和正确性的区别
Posted hithongming
tags:
篇首语:本文由小常识网(cha138.com)小编为大家整理,主要介绍了软件构造第七章第一节 健壮性和正确性的区别相关的知识,希望对你有一定的参考价值。
第七章第一节 健壮性和正确性的区别
第七章:进入软件构造最关键的质量特性 ——健壮性和正确性。
本节在1-2节的基础上,重申了Robustness and Correctness的重要性,澄清了二者之 间的差异,并指明了在软件构造中处理二 者的典型技术(防御式编程、异常处理、 测试、调试等)
Outline
- 健壮性(Robustness)和正确性(correctness)
- 如何测量健壮性和正确性
Notes
## 健壮性(Robustness)和正确性(correctness)
【健壮性】
- 定义:系统在不 正常输入或不正常外部环境下仍能够表现正常的程度
- 面向健壮性编程:
- 处理未期望的行为和错误终止
- 即使终止执行,也要准确/无歧义的向用户展示全面的错误信息
- 错误信息有助于进行debug
- 健壮性原则:
- Paranoia (偏执狂):总是假定用户恶意、假定自己的代码可能失败
- 把用户想象成白痴,可能输入任何东西(返回给用户的错误提示信息要详细、准确、无歧义)
- 对别人宽容点,对自己狠一点(对自己的代码要保守,对用户的行为要开放)
- 面向健壮性编程的原则:
- 封闭实现细节,限定用户的恶意行为
- 考虑极端情况,没有“不可能”
【正确性】
- 含义:程序按照spec加以执行的能力,是最重要的质量指标!
- 对比健壮性和正确性:
- 正确性:永不给用户错误的结果; 让开发者变得更容易:用户输入错误,直接结束(不满足precondition调用)。
- 健壮性:尽可能保持软件运行而不是总是退出; 让用户变得更容易:出错也可以容忍,程序内部已有容错机制。
- 正确性倾向于直接报错(error),健壮性则倾向于容错(fault-tolerance);
- 对外的接口,倾向于健壮性;对内的实现,倾向于正确性。
- Reliability(可靠性) = Robustness + correctness
Problem | 健壮性 | 正确性 |
浏览器发出包含空格的URL |
剥离空白,正常处理请求。 | 将HTTP 400错误请求错误状态返回给客户端。 |
视频文件有坏帧 |
跳过腐败区域到下一个可播放部分。 |
停止播放,引发“损坏的视频文件”错误 |
配置文件使用了非法字符 |
在内部识别最常见的评论前缀,忽略它们。 |
终止启动时出现“配置错误”错误 |
奇怪格式的日期输入 |
尝试针对多种不同的日期格式解析字符串。
将正确的格式呈现给用户。
|
日期错误无效 |
## 如何测量健壮性和正确性
- 外部观察角度:
- Mean time between failures (MTBF,平均失效间隔时间):描述了可修复系统的两次故障之间的预期时间,而平均故障时间(MTTF)表示不可修复系统的预期故障时间。
- 内部观察角度:
- 残余缺陷率:每千行代码中遗留的bug的数量
以上是关于软件构造第七章第一节 健壮性和正确性的区别的主要内容,如果未能解决你的问题,请参考以下文章