华东理工大学软件工程概论课件第十四章 软件质量管理.pptVIP

第十四章 软件质量管理 从质量保证到质量认证 质量保证 软件可靠性 程序正确性证明 CMM软件能力成熟度模型 ISO9000 国际标准 软件度量 从软件质量保证到质量认证 质量管理的三个阶段 质量检验 全面质量管理TQC 质量认证 CMM软件能力成熟度模型 ISO 9000国际标准 质量保证 软件的质量属性 功能性 可靠性 易用性 效率 可维护性 可移植性 质量保证的活动内容 质量保证的活动内容 软件可靠性 可靠性的定义和分级 定义：在给定的时间内，程序按照规定的条件成功地运行的概率 可靠性等级 可靠性模型 软件容错技术 可靠性分级表 可靠性模型 正比于遗留故障数的宏观模型 平均故障时间模型（MTTF模型） 错误植入模型 软件容错技术 容错软件（有抗故障功能的软件） 屏蔽错误 修复错误 减少影响 冗余技术 结构冗余 时间冗余 信息冗余 容错软件的设计 静态冗余结构和动态冗余结构 容错软件设计 程序正确性证明 用数学的方法，证明程序具有某些性质 CMM软件能力成熟度模型 CMM的基本概念 软件过程 关键过程域 CMM模型 5级，18个关键过程域，52个过程目标，316种关键实践 CMM应用 能力评估 软件过程评估 软件能力评价 过程改善 引用CMM关键实践 改善本机构的软件过程 ISO 9000 国际标准 质量术语标准 ISO 8402-1994 质量保证标准 ISO 90