软件测试

图书标准信息

• 作者 郑人杰 著
• 出版社 人民邮电出版社
• 出版时间 2011-03
• 版次 1
• ISBN 9787115238078
• 定价 38.00元
• 装帧 平装
• 开本 16开
• 纸张 胶版纸
• 页数 318页
• 字数 498千字
• 正文语种 简体中文
• 丛书 21世纪高等学校计算机规划教材

【内容简介】

随着软件测试技术从简单的查错、排错，发展到贯穿软件开发的各个阶段，高级的测试方法和测试管理越来越重要，本书旨在全面系统地介绍软件测试技术。
《软件测试》作者由清华大学、南开大学计算机系、清华同方公司软件研究院的人员组成。作者总结了多年在软件工程、软件测试教学经验的基础上，系统回顾了测试发展与概念的定义，深入讲解了测试方法与测试过程，全面介绍了测试管理与主流测试工具。
《软件测试》可以作为计算机、软件工程、软件测试及相关专业的本科、硕士研究生教材，也可以作为测试工程师培训用书。

【作者简介】

郑人杰，清华大学教授。清华大学后留校任计算数学专业、软件专业教师及清华大学软件中心副主任、清华同方公司副工程师及顾问：现任中国软件行业协会理事、软件过程改进分会常务副会长。2009年“推动中国软件产业发展杰出人物”奖。多年来在软件工程、软件质量及测试、软件过程改进方面从事、研究和开发工作，编写实用软件工程、计算机软件测试技术、基于软件能力成熟度模型的软件过程改进等书。许静，南开大学信息技术科学学院计算机与信息安全系教授、博士生导师，中国计算机学会软件工程专委会委员，天津市软件评测中心兼职副主任。曾从事军工软件的开发与测试多年。目前从事软件工程、软件测试的和科研工作。主讲本科生“软件工程”、硕士生“软件测试”课程。参与和主持重量、省部级科研项目多项，发表学术40余篇。

精彩内容：

7.1.1测试需求分析和计划1.什么是测试需求软件测试需求是根据程序文件和质量目标对软件测试活动所提的要求，也是在项目中要测试哪些内容和测试到什么程度。在测试活动中，首先需要明确测试需求，才能决定需要多少人、怎么测、测试多长时间、测试的环境、需要的技能、工具、相应的背景知识以及可能遇到的风险等，以上所有的内容结合起来构成了测试计划的基本要素。测试需求是测试计划的基础与重点。像软件的需求一样，根据不同的公司环境、不同的专业水、不同的要求和详细程度，测试需求也是不同的。但是，对于一个全新的项目或产品，测试需求力求详细明确，以避测试遗漏与误解。测试需求是测试人员根据用户需求说明书和开发设计说明书编写的，测试需求分析要检查用户需求的正确，保证需求的描述能够得出一个实际结果；还要根据用户需求和设计需求分析软件各个模块所要实现的功能点、潜在的业务约束以及一些常识的软件设计规格。测试需求可从系统的需求报告或软件规格说明书中获得，针对测试过程而言，可以理解为测试目标。测试需求越详细，功能点越清晰，这样可以更好地编写测试计划和用例。因为在测试过程中要验证是否实现需求提出的功能，测试需求与测试用例具有对应关系，例如一个管理系统，其中有一个测试需求是用户正常登录，对应设计的测试用例应根据此需求进行设计。2.为什么要做测试需求分析要成功地完成一个测试项目，必须了解测试的规模、复杂程度以及可能存在的风险，这些都需要通过详细的测试需求来了解。测试需求详细、，表明对所测软件了解得深入，对所要进行的任务内容有清晰的认识，因而保证测试的质量与进度更有把握。如果把测试活动类比于整个软件生命周期，我们把“软件”两个字替换成“测试”，则测试需求相当于软件的需求规格，测试策略相当于软件的设计架构，测试用例相当于软件的详细设计，测试执行相当于软件的编码过程。这样，我们可以明白整个测试活动的依据来源于测试需求。

【目录】

第1章绪论
1.1软件危机和软件生存期
1.2软件测试的意义
1.3什么是软件测试
1.4应该怎样认识软件测试
1.5软件测试发展的历史回顾
1.5.1历史回顾
1.5.2与软件测试相关课题的发展
习题

第2章软件测试策略
2.1测试的生命周期
2.2测试步骤
2.2.1单元测试
2.2.2集成测试
2.2.3确认测试
2.2.4系统测试
2.3静态方法与动态方法
2.4黑盒测试与白盒测试
2.4.1黑盒测试
2.4.2白盒测试
2.4.3黑盒测试与白盒测试的比较
2.5回归测试方法
2.6人工测试与自动测试
2.6.1人工测试技术概述
2.6.2软件审查
2.6.3软件审查的作用
2.6.4自动测试
习题

第3章黑盒测试
3.1等价类划分
3.1.1方法简介
3.1.2应用等价类划分方法进行测试用例设计的实例
3.2因果图
3.3正交实验设计法
3.3.1提取功能说明，构造因子--状态表
3.3.2加权筛选，生成因素分析表
3.3.3利用正交表构造测试数据集
3.3.4方法评价
3.4边值分析
3.4.1单变量边界值的选取
3.4.2多个变量组合情况下边界值的选取
3.5判定表驱动测试
3.5.1什么是判定表
3.5.2判定表在功能测试中的应用
3.6功能测试
3.6.1功能测试的系统化
3.6.2模块功能的分解测试
习题

第4章白盒测试
4.1程序结构分析
4.1.1控制流分析
4.1.2数据流分析
4.1.3信息流分析
4.2逻辑覆盖
4.2.1几种常用的逻辑覆盖测试方法
4.2.2最少测试用例数计算
4.2.3测试覆盖准则
4.3域测试
4.4符号测试
4.5路径分析
4.5.1程序路径表达式
4.5.2程序中路径数的计算
4.5.3程序路径的树表示及路径编码
4.5.4测试路径枚举
4.5.5路径测试系统
4.6程序插装
4.6.1方法简介
4.6.2断言语句
4.7程序变异
4.7.1程序强变异
4.7.2程序弱变异
习题

第5章集成测试
5.1集成测试的必要性
5.2程序结构分析
5.3集成的方法
5.3.1一次性集成
5.3.2自顶向下集成
5.3.3自底向上集成
5.3.4协作集成
5.3.5基干集成
5.3.6层次集成
5.3.7客户/服务器集成
5.3.8分布服务集成
5.3.9高频集成
5.3.10基于调用图集成
习题

第6章系统测试
6.1非功能测试
6.1.1安装测试
6.1.2兼容性测试
6.1.3安全性测试
6.1.4恢复测试
6.2性能测试
6.2.1负载测试
6.2.2压力测试
6.2.3容量测试
6.3其他测试
6.3.1α测试
6.3.2β测试
6.3.3文档测试
6.3.4界面测试
习题

第7章测试组织和管理
7.1测试准备
7.1.1测试需求分析和计划
7.1.2测试环境搭建
7.1.3测试用例
7.2测试实施
7.2.1测试用例执行
7.2.2测试数据记录
7.2.3测试沟通
7.2.4测试用例验证
7.3测试总结
7.3.1测试数据整理
7.3.2测试用例修订
7.3.3用例库的维护
7.3.4配置管理
7.4缺陷管理
7.4.1缺陷描述
7.4.2测试缺陷追踪
7.4.3缺陷统计分析
7.4.4寻找薄弱环节
7.5测试成熟度模型
7.6测试度量
习题

第8章测试工具
8.1测试工具综述
8.1.1白盒测试工具
8.1.2黑盒测试工具
8.1.3测试管理工具
8.1.4其他测试工具
8.2JUnit(白盒测试工具)
8.2.1JUnit简介
8.2.2JUnit测试过程
8.2.3JUnit断言设置
8.2.4JUnit测试用例
8.3LoadRunner(黑盒测试工具)
8.3.1创建Vuser脚本
8.3.2定义方案场景
8.3.3运行方案场景
8.3.4分析负载结果
8.4TestDirector(测试管理工具)
8.4.1测试需求定义
8.4.2测试计划
8.4.3测试执行
8.4.4缺陷跟踪
8.5WAST(专用测试工具)
8.5.1准备测试脚本
8.5.2设置测试脚本
8.5.3运行测试脚本
8.5.4应用侧重点
8.6Introscope(测试辅助工具)
8.6.1Introscope工作模式
8.6.2Introscope测试策略
8.6.3Introscope测试过程
8.6.4Introscope监控指标
8.7开源测试工具解决方案
习题

第9章软件评审
9.1软件评审方法
9.1.1软件评审方法概述
9.1.2软件项目评审应用举例
9.1.3软件评审的定义
9.1.4相关国际标准及能力成熟度模型中对软件评审的要求
9.2软件评审的作用
9.2.1软件评审的意义
9.2.2代码评审的成功实例
9.2.3评审与其他验证方法的比较
9.3软件评审的实施
9.3.1正式评审
9.3.2需求评审
9.3.3设计评审
9.3.4代码评审
9.4如何做好软件评审
9.4.1软件评审中经常出现的问题
9.4.2做好软件评审工作的建议
9.4.3一个软件需求规格说明书的评审用检查单
习题

第10章软件质量与软件质量管理
10.1软件质量问题的挑战
10.1.1软件质量问题引发的系统事故屡见不鲜
10.1.2软件质量事故问题分析
10.1.3解决软件质量问题的途径
10.2软件错误类型分析
10.3程序中隐藏错误数量估计
10.3.1撒播模型
10.3.2回归模型
10.4软件质量特性
10.5与软件质量管理相关的若干过程
10.5.1软件质量保证过程
10.5.2软件验证过程
10.5.3软件确认过程
10.5.4软件评审过程
10.5.5软件审核过程
10.5.6软件问题解决过程
10.6软件质量因素和质量特性
10.7软件质量保证的任务
10.8程序排错
10.8.1排错工作概述
10.8.2排错方法
10.8.3排错策略
习题

第11章测试可靠性与软件可靠性
11.1测试可靠性理论
11.1.1测试可靠性的奠基性理论
11.1.2路径测试可靠性理论
11.1.3暴露子域理论
11.1.4测试的数学符号系统
11.2软件可靠性概念
11.3软件可靠性模型
11.4软件可靠性在软件测试中的应用
11.5近几年的发展状况
习题

第12章程序正确性证明
12.1程序正确性证明概述
12.2以公理语义学为基础的正确性证明技术
12.2.1程序规范
12.2.2程序及其运行状态
12.2.3程序正确性与部分正确性
12.2.4公理正确性证明
12.2.5FLOYD的归纳断言法
12.2.6HOARE的公理方法
12.2.7E.W.Dijkstra的最弱前置条件法
12.2.8程序正确性证明技术存在的问题
12.3程序综合
12.3.1面向目标的程序推导
12.3.2不变式推导技术
12.4进一步研究的方向
习题

参考文献