软件构造（2）- 软件构造的质量指标

一.软件系统的质量属性 External quality factors （外部质量因素） (1) 正确性：最重要的质量指标 按照预先定义的规约执行 确保正确性的方式： ① Conditional（分层）：每一层保证自己的正确性，同时假设其下层是正确的 ② 测试和调试：发现不正确，消除不正确 ③ 防御式编程：在写程序的时候就确保正确性 ④ 形式化方法：通过形式化验证发现问题 (2) 健壮性：针对异

>>阅读原文<<