本书讨论了软件质量管理和软件过程改进的基本原则,以及—些成熟度方法。本书是从实践者的角度编写的,既有一定的理论深度,又有很强的实践性。本书包括7章内容,分别对软件质量的基本概念、软件审查和测试、ISO 9000系列标准、能力成熟度模型、SPICE 15504标准、度量和问题求解、形式方法和设等内容进行了详细的研究。 本书特别适于软件公司中的软件工程师和管理人员,以及软件质量的专业人员和实践人员阅读。 作为一本介绍性的专业用书,本书既适合那些对软件质量管理的基本原理感兴趣的软件工程专业的学生,也适合那些对软件工程感兴趣的普通读者。组织结构和特征第1章介绍了质量管理的一些基本原理。后面几章则讲述了软件审查和测试、ISO9000、CMM、演化后的SPICE标准、度量和问题求解,第7章“形式方法和设计”讲述的是一些高级课题,包括配置管理、UML、软件可用性以及形式方法。读者可能会发现某些内容学习起来进展缓慢,尤其是7.5节(形式方法)。读者可以先跳过这一节。 本书第2章是关于软件审查和测试的,这一章包括了关于Fagan审查的一些内容。 2.6节(软件测试)则包括了测试计划和跟踪、测试度量、测试报告、测试用例的定义、各种类型的测试,以及在电子商务环境下的测试等内容。而ISO 9000、CMM、SPICE 是独立的3章,这3章提供了背景材料和支持模型或标准实施的适当级别的材料。 本书对新的ISO 9000:2000标准和实际的实施问题进行了讨论,在第4章中讲述了软件工程研究所的新CMMI模型。第6章是关于度量和问题求解的,讨论了帮助组纵确认合适的度量的平衡记分卡、针对组织目标的相关度量的GQM,以及组织中各个职能领域的度量样本集。第7章讨论了—些高级课题,包括软件配置管理、UML、软件可用性以及形式方法。7.5节介绍了软件工程中的形式方法领域,这是最难的一节。它包括一些初等数学, 以便向读者介绍这门学科的风格,但是大部分内容都是枯燥乏味的。对数学符号没有感觉的读者可以跳过此节。