第14章软件质量管理分析.ppt

从质量保证到质量认证 质量保证 软件可靠性 程序正确性证明 CMM软件能力成熟度模型 ISO9000 国际标准 软件度量 软件需求是度量软件质量的基础，与需求不一致就是质量不高。 指定的标准定义了一组指导软件开发的准则，如果没有遵守这些准则，几乎肯定会导致质量不高。 通常，有一组没有显式描述的隐含需求(例如，期望软件是容易维护的)。如果软件满足明确描述的需求，但却不满足隐含的需求，那么软件的质量仍然是值得怀疑的。 McCall的软件质量要素 二、软件质量保证措施 软件质量保证(Software Quality Assurance，SQA)的措施主要有： 基于非执行的测试(也称为复审)：用于保证软件在编码之前各阶段产生的文档的质量 基于执行的测试：在程序编写出来之后进行，是保证软件质量的最后一道防线 程序正确性证明：用数学方法来严格验证程序是否与对它的说明完全一致 参加软件质量保证的人员分为： 软件工程师：通过采用可靠的技术方法和度量、进行正式的技术复审以及完成计划周密的测试保证软件质量 SQA小组：辅助软件工程小组以获得高质量的软件产品，包括计划、监督、记录、分析和报告。 1、技术复审的必要性 正式技术复审的明显优点是，能够较早地发现错误，防止错误被传播到软件过程的后续阶段。 正式技术复审实际上是一类复审方法，包括走查(Walkthrough)和审查(Inspect