#软件构造 健壮性与正确性

健壮性 健壮性：系统在不 正常输入或不正常外部环境下仍能够表现正常的程度 面向健壮性的编程： 处理未期望的行为和错误终止 即使终止执行，也要准确/无歧义的向用户展示全面的错误信息 错误信息有助于进行debug 健壮性法则 (Postel’s 准则) 对自己的代码要保守，对用户的行为要开放 封闭实现细节，限定 用户的恶意行为 考虑极端情况，没有“不可能” 正确性 正确性：程序按照spec加以执行的能

>>阅读原文<<