比如,面向对象的开发方法通过封装、信息隐藏、继承和多态性来达到事务分析的目的,从而提高软件的质量;形式化开发方法则通过严格的数学模型来规范软件的需求和验证从而满足对质量有苛刻要求的软件开发项目。
(2)软件配置管理。软件配置管理在软件质量管理和质量保证中起着重要作用,是CMM(软件能力成熟度模型)和ISO9000质量管理体系的核心内容之一,贯穿于整个软件生存周期。其核心内容——版本管理和变更控制管理不仅可以大大提高开发团队的工作效率,而且可以避免开发过程中由于没有配置管理所必然造成的混乱以及由此产生的大量差错,因此,是一种非常有效的缺陷预防技术。
(3)软件可靠性安全性设计。软件可靠性安全性设计准则是长期以来人们对如何开发高质量、高可靠软件经验的总结,包括避错和容错等设计方法。有效采用这些设计方法,可以使软件产品在设计过程中不出现缺陷或少出现缺陷,使程序在运行中自动查找存在的缺陷,并使缺陷发生时不影响系统的特性,或将影响限制在容许的范围内,从而提高软件的可靠性。因此遵循这些设计准则就可以有效地预防缺陷的发生。本书在第4章介绍软件可靠性设计方法和设计准则。
……