软件构造复习——7.1健壮性与正确性

Posted 2020-11-19 hit1160300317

一、健壮性和正确性的简单介绍

1.1Robustness  健壮性

    1.1.1 定义：健壮性又称鲁棒性，是指软件对于规范要求以外的输入情况的处理能力。所谓健壮的系统是指对于规范要求以外的输入能够判断出这个输入不符合规范要求，并能有合理的处理方式。

              简单来说就是系统在正常输入或不正常外部环境下仍能够表现正常的程度。

    1.1.2面向健壮性编程的做法

• 处理未期望的行为和错误终止
• 即使终止执行，也要准确/无歧义的向用户展示全面的错误信息
• 错误信息有助于进行debug

    1.1.3面向健壮性编程的原则

•    总是假定用户恶意，假定自己的代码可能会失败
•    把用户想象成白痴，可能会输入任何东西
•    返回给用户的错误提示信息要准确、详细、无歧义
•    封闭实现细节，限定用户的恶意行为
•    考虑极端情况，没有“不可能”

1.2Correctness正确性

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

  

二、两者之间的对比

• 正确性：永不给用户错误的结果； 让开发者变得更容易：用户输入错误，直接结束（不满足precondition调用）。
• 健壮性：尽可能保持软件运行而不是总是退出； 让用户变得更容易：出错也可以容忍，程序内部已有容错机制。
• 正确性倾向于直接报错(error)，健壮性则倾向于容错(fault-tolerance)；
• 对外的接口，倾向于健壮性；对内的实现，倾向于正确性。
• Reliability（可靠性） = Robustness（健壮性） + correctness（正确性）

 

三、如何测量健壮性和正确性

    

       1.Mean time between failures (MTBF，平均失效间隔时间)：描述了可修复系统的两次故障之间的预期时间，而平均故障时间（MTTF）表示不可修复系统的预期故障时间。

       2.残余缺陷率：每千行代码中遗留的bug的数量