软件系统的指标特征

1.十大外部质量因素

（1）正确性（Correctness）按照预先定义的规约执行，是最重要的质量指标

 按照预先定义的“规约”执行

正确性：最重要的质量指标，任何程序设计都要以正确性为前提

测试和调试：发现不正确、消除不正确

防御式编程：在写程序的时候就确保正确性

形式化方法：通过形式化验证发现问题

（2）健壮性（Robustness）

针对异常情况的处理

健壮性是对正确性的补充，区别和联系如下：

 正确性：软件的行为要严格的符合规约中定义的行为

 健壮性：出现规约定义之外的情形的时候，软