软件质量实用方法论

软件质量实用方法论
作　者： Gerard O'Regan 陈茵 闪四清
出版社： 清华大学出版社
丛编项： 国外计算机科学经典教材
版权说明： 本书为公共版权或经版权方授权，请支持正版图书
标　签： 软件质量
ISBN 出版时间 包装 开本 页数 字数
未知 暂无 暂无 未知 0 暂无

作者简介

暂缺《软件质量实用方法论》作者简介

内容简介

本书讨论了软件质量管理和软件过程改进的基本原则，以及—些成熟度方法。本书是从实践者的角度编写的，既有一定的理论深度，又有很强的实践性。本书包括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节介绍了软件工程中的形式方法领域，这是最难的一节。它包括一些初等数学， 以便向读者介绍这门学科的风格，但是大部分内容都是枯燥乏味的。对数学符号没有感觉的读者可以跳过此节。

图书目录

第1章

软件质量简述 11.1

软件工程的挑战 11.2

软件的失败史 31.3

软件质量的背景 41.3.1

什么是软件质量 41.3.2

早期的质量管理 51.3.3

全面质量管理 51.3.4

软件质量控制 61.4

质量的历史 71.4.1

Shewhart 71.4.2

Deming 81.4.3

Juran 101.4.4

Crosby 121.4.5

其他质量专家 151.5

软件工程 161.5.1

需求分析 171.5.2

规范 181.5.3

设计 191.5.4

实施 191.5.5

测试 191.5.6

维护 211.6

现代软件质量管理 231.6.1

软件审查 231.6.2

软件测试 241.6.3

软件质量保证 251.6.4

问题求解 261.6.5

建模 271.6.6

质量的成本 281.6.7

过程改进 281.6.8

度量 301.6.9

客户满意度 301.6.10

评估 331.6.11

全面质量管理 331.7

其他 351.7.1

软件质量的未来 351.7.2

组织的文化及其变革 351.7.3

疏忽法则 361.7.4

形式方法 361.7.5

质量和WEB 371.8

本书结构 38第2章

软件审查和测试 392.1

Fagan审查概述 392.2

软件审查方法论 412.3

E-MailFax(电子邮件传真)评审 422.4

半正式评审会议 422.4.1

评审会议清单—— 评审指导 432.4.2

评审备忘录模板 442.5

Fagan审查法 452.5.1

Fagan审查方针 472.5.2

审查者和角色 482.5.3

审查进入标准 482.5.4

准备 492.5.5

审查会议 492.5.6

审查退出标准 512.5.7

问题的严重性 512.5.8

缺陷类型 522.6

软件测试 542.6.1

测试计划 552.6.2

测试过程 572.6.3

测试工具 612.6.4

电子商务测试 632.6.5

测试和质量改进 652.6.6

需求可追踪性 672.6.7

需求追踪矩阵 682.7

小结 68第3章

ISO 9000标准 693.1

简介 693.1.1

ISO 9000的动机 703.1.2

ISO 9000和质量组 703.2

ISO 90001994版 713.3

ISO 90002000版 743.4

实施ISO 90002000 773.4.1

质量管理体系条款 823.4.2

管理职责条款 843.4.3

资源管理条款 873.4.4

产品或服务实现 893.4.5

度量、分析和改进 943.5

ISO 9000和改进 983.5.1

自我评估过程 983.5.2

行动计划 993.6

ISO 9000认证过程 1003.7

小结 101第4章

能力成熟度模型 1034.1

简介 1034.1.1

CMM的动机 1044.1.2

CMM和质量组 1054.2

CMM概述 1064.3

CMM的体系结构 1094.4

CMM成熟度级别 1124.1.1

初始级 1124.4.2

可重复级 1134.4.3

已定义级 1164.4.4

已管理级 1184.4.5

优化级 1204.5

实现CMM 1214.6

CMM内部评估 1234.7

CMM外部评估 1254.7.1

评估计划 1274.7.2

实施评估 1274.7.3

评估报告 1274.8

世界范围内的CMM成熟度 1274.9

CMMI项目 1294.9.1

CMMI分级模型 1304.9.2

CMMI连续模型 1324.10

小结 135第5章

SPICE(15504)标准 1365.1

简介 1365.1.1

SPICE的动机 1365.1.2

SPICE和质量组 1375.2

SPICE概述 1385.3

过程管理 1405.4

SPICE参考模型 1415.5

SPICE过程 1455.5.1

客户-供应商过程类型 1455.5.2

工程过程类型 1465.5.3

管理过程类型 1475.5.4

支持过程类型 1485.5.5

组织过程类型 1495.6

样品模型 1505.7

SPICE评估 1515.7.1

评估的计划 1525.7.2

数据搜集和确认 1545.7.3

过程评级 1545.7.4

评估报告 1555.8

过程能力鉴定 1555.9

SPICE和过程改进 1575.10

SPICE的实施 1605.11

SPICE的评论分析 1605.12

小结 161第6章

度量和问题求解 1636.1

简介 1636.2

目标问题度量模式 1646.3

平衡记分卡 1656.4

组织的度量 1676.4.1

客户满意度度量 1686.4.2

过程改进度量 1696.4.3

人力资源和培训度量 1706.4.4

项目管理度量 1726.4.5

开发质量度量 1736.4.6

质量审核度量 1756.4.7

客户关心度量 1776.4.8

其他度量 1796.5

实施度量程序 1796.6

问题求解技术 1826.6.1

鱼骨图 1836.6.2

柱状图 1846.6.3

Pareto图 1856.6.4

走势图 1876.6.5

散点图 1876.6.6

度量和统计过程控制 1886.7

小结 189第7章

形式方法和设计 1907.1

简介 1907.2

软件配置管理 1937.3

统一建模语言 1957.4

软件可用性 1997.4.1

可用性标准 2007.4.2

ISO 9241 2007.4.3

ISO 13407 2017.4.4

可用性设计 2027.5

形式方法 2037.5.1

为什么要使用形式方法 2057.5.2

形式方法的应用 2067.5.3

形式方法和复用 2077.5.4

形式方法的工具 2077.5.5

面向模型的方法 2087.5.6

公理化方法 2097.5.7

维也纳开发方法(VDM) 2107.5.8

VDM?，爱尔兰VDM学派 2117.5.9

Z规范语言 2137.5.10

B方法 2157.5.11

命题演算和谓词演算 2167.5.12

谓词变换程序和最弱前置条件 2177.5.13

过程演算 2177.5.14

其他规范语言 2187.5.15

证明和形式方法 2197.6

小结 220参考 221缩语表 227