软件测试

图书标准信息

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

【内容简介】

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

【目录】

第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进一步研究的方向
习题

参考文献