《软件测试》实验指导书
曹严元
计算机与信息科学学院
2006年7月
目录
实验一软件设计阶段测试 (2)
实验二白盒测试 (4)
实验三黑盒测试 (7)
实验四用户手册测试 (9)
实验五自动测试工具的使用 (11)
实验六自拟题目测试 (13)
实验一软件设计阶段测试
实验目的
1、了解设计阶段测试的重要性，理解设计阶段测试的含义；
2、掌握软件设计阶段测试主要检查的内容、测试目的及实施步骤；
3、掌握对设计阶段测试的规格验证和一致性检查的方法；
预习与实验要求
1、预习实验指导书及教材的有关内容，理解软件设计阶段测试目的和意义，掌握规格
验证和一致性检查的方法；
2、了解需求的获取分析到设计阶段的过程，掌握软件规格描述方法；
3、采用如Telelogic Doors 或IBM Rational RequesitePro 等需求管理工具，对需求和设
计规格进行跟踪管理；
4、实验前认真听讲，服从安排。独立思考并与小组成员合作完成实验。
实验设备与器材
a)硬件：P4以上计算机，512M内存以上，2G以上空闲硬盘空间
b)软件：操作系统、Telelogic Doors 或IBM Rational RequesitePro
实验原理
1、随着项目的进行，项目的“业务需求规格”、“软件需求规格”、“接口规范”、
“设计规格”都有可能发生变化，对应的测试需求也可能发生变化；另外，测试策略、测试方法的调整也可能会导致测试需求的调整，需要采用规范的方法对测试需求进行管理。
2、对需求和设计阶段相关文档的一致性检查。
实验内容
1、软件产品的对照评价；
软件产品的业务需求规格，需求分析规格，概要设计规格，详细设计规格之间的对照评价，给出评价的关键点。
2、需求规格验证和一致性检查；
采用如Telelogic Doors 或IBM Rational RequesitePro 等需求管理工具，对需求和设
计规格进行跟踪管理，管理系统概要设计规格、系统详细设计规格、软件需求分析规格、业务需求规格与它们的测试需求之间的双向跟踪关系。
实验报告
1、按照实验报告手册的要求认真填写相关栏目；
2、描述规格验证和一致性检查的要点；
3、详细填写完成实验的收获和得失，实验过程中遇到的问题、解决的办法、实验心得
以及对该实验的建议和意见。
思考题
1、测试需求的重要性何在？
2、设计阶段规格验证和一致性检查有和目的？
实验二白盒测试
实验目的
1、掌握白盒测试的基础知识，了解白盒测试又叫结构性测试，是基于被测程序的源代
码的测试方法；
2、掌握白盒测试的主要检查内容、测试目的及实施步骤；
3、掌握白盒测试的3种基本测试方法：路径测试、逻辑覆盖和数据流测试；
预习与实验要求
1、预习实验指导书及教材的有关内容，掌握白盒测试的3种基本测试方法；
2、掌握一门编程语言，能读懂源代码并执行程序；
3、对具体程序的源代码，能分别使用3种测试方法设计测试用例，并实施测试、分析
测试结果；
4、实验前认真听讲，服从安排。独立思考并与小组成员合作完成实验。
实验设备与器材
a)硬件：P4以上计算机，512M内存以上，2G以上空闲硬盘空间
b)软件：操作系统、自己熟悉的程序设计软件
实验原理
1、白盒测试的目的和检查内容；
2、白盒测试的基本方法；
3、根据白盒测试方法设计测试用例及实施测试。
实验内容
1、使用测试界的一个古老例子---三角形问题来进行路经测试。
以下是问题陈述：
三角形问题接受三个整数a、b、c作为输入，用做三角形的边。整数a、b、c 必须满足以下条件：
C1: 1≤a≤200 C2: a＜b+c
C3: 1≤b≤200 C4: b＜a+c
C5: 1≤c≤200 C6: c＜a+b
程序的输出是由这三条边确定的三角形类型：等边三角形、等腰三角形、不等
边三角形或非三角形。如果输入值没有满足这些条件中的任何一个，则程序会通过输出信息来进行通知，例如，“b的取值不在允许取值的范围内。”如果a、b和c取值满足c1、c2和c3，则给出以下四种相互排斥输出中的一个：
1、如果三角形等边，则程序的输出是等边三角形。
2、如果恰好有两条边相等，则程序的输出是等腰三角形。
3、如果没有两条边相等，则程序输出的是不等边三角形。
4、如果c4、c5和c6中有一个条件不满足，则程序输出的是非三角形。
对上述问题进行以下测试工作：
1)对上面的问题陈述，使用自己熟悉的编程语言写出程序；
2)根据编写的程序画出程序图；
3)按照DD-路径测试方法，找出程序图中所有DD-路径；
4)根据找出的DD-路径设计测试用例；
5)实施测试并分析测试结果；
6)按照集路径测试方法，找出所有独立路径；
7)根据独立路径设计测试用例；
8)实施测试并分析测试结果。
2、使用上述1中三角形例子的问题陈述，及编写的程序和程序图，进行逻辑覆盖测试。并进行以下测试工作：
1)按照语句覆盖方法设计测试用例；
2)实施测试并分析测试结果；
3)按照判定覆盖方法设计测试用例；
4)实施测试并分析测试结果；
5)按照条件覆盖方法设计测试用例；
6)实施测试并分析测试结果；
7)按照判定/条件覆盖方法设计测试用例；
8)实施测试并分析测试结果；
9)按照组合覆盖方法设计测试用例；
10)实施测试并分析测试结果；
11)按照路径覆盖方法设计测试用例；
12)实施测试并分析测试结果。
3、使用佣金问题来进行数据流测试。
以下是关于佣金问题的问题陈述：
