软件构造的质量指标

1.    软件系统的质量指标包括：外部质量因素和内部质量因素。

    外部质量因素：使用是否简易，速度性能是否优秀等，其影响到

    的是用户。而内部质量因素影响到的是软件本身和开发者。虽然

    在结果上看，只有外部质量因素重要，但外部质量因素是取决于

    内部质量的。

2.    外部质量因素的种类：

（1） 正确性（correctness）。关注有关软件是否按照预先定义

    的“规约”执行。是至高无上的质量指标。

    确保正确性的方法：

    a. 在软件系统中进行分层，每一层都保证自己的正确性，同时假

    设其下层是正确的。其与可复用性密切关联。

    b. 测试和调试，发现不正确，消除不正确。这与健壮性密切关联

    c. 防御性编程，在写程序时就确保正确性。其与健壮性相关。

    d. 形式化方法：通过形式化验证发现问题。可通过形式语言（研

    究生课程）来保证这一点。

（2） 健壮性（Robustness）。针对异常情况进行处理。

   -健壮性是对正确性的补充：正确性要求软件的行为要严格地符合

    规约中定义的行为。而健壮性要求在出现规约定义之外情形的时

    候，软件要做出恰当的反应。

    在程序出现异常时，健壮性要保证程序