XX大学软件质量控制和测试实验(实习)报告
实验(实习)名称白盒测试（一）实验(实习)日期 2011-12-2 得分指导老师
系专业班级 1 姓名学号
一、实验目的
理解白盒测试的基本方法，掌握语句覆盖、分支覆盖、条件覆盖、路径覆盖等代码覆盖测试策略，并能应用白盒测试技术设计测试用例
二、实验内容
1．题目一：使用逻辑覆盖测试方法测试以下程序段（必做）
void DoWork (int x,int y,int z){
1 int k=0, j=0;
2 if ( (x>3)&&(z<10) )
3 {
4 k=x*y-1;
5 j=sqrt(k);
6 }
7 if((x==4)||(y>5))
8 j=x*y+10;
9 j=j%3;
10 }
说明：程序段中每行开头的数字（1~10）是对每条语句的编号。
（1）画出程序的控制流图（用题中给出的语句编号表示）。
（2）分别以语句覆盖、判定覆盖、条件覆盖、判定/条件覆盖、组合覆盖和路径覆盖方法设计测试用例，并写出每个测试用例的执行路径（用题中给出的语句编号表示）。
2．题目二：折半查找（选做）
请按要求对下面的java 代码进行测试。代码的功能是：用折半查找法在元素呈升序排列的数组中查找值为key 的元素。
public int binSearch ( int array[], int key ) {
int mid, low, high;
low = 0;
high = array.length-1;
while ( low <= high ) {
mid = (low +high)/2;
if ( key = = array [mid] )
return mid;
else if ( key < array [mid] )
high = mid -1;
else
low = mid + 1
}
return -1;
}
（1）试计算此程序段的McCabe 复杂性；
（2）用基本路径覆盖法给出测试路径；
（3）为各测试路径设计测试用例。
三、实验步骤
题目一：使用逻辑覆盖测试方法测试以下程序段（必做）
1、绘制出程序流程图，如图1；
图1 题目1的程序流程图
2、绘制控制流图，如图2；
图 2 题目1 的控制流图
3、设计测试用例：
（1）语句覆盖：
语句覆盖是设计足够的测试用例使程序中的每一条可执行语句至少执行一次。
这题中，两个if语句的判定之后，只要确保使两个判定都为真，那么所有的执
行语句就都可以执行了，即可达到语句覆盖的要求。所以设计的测试用例如下：
x = 4 , y = 6 , z = 8 。
这组测试用例的执行路径是1—2—3—4—5—6—7—8—9—10
（2）判定覆盖：
判定覆盖要求程序中每个判断的取真分支和取假分支至少经历一次。这题中，
有两个判定语句，至少需要设计两组测试用例，才能分别覆盖两个if语句的真
分支和假分支。所以设计的测试用例如下：
用例1：x = 4 , y = 6 , z = 8 ，
其执行路径是1—2—3—4—5—6—7—8—9—10 ；
用例2：x = 3 , y = 5 , z = 8 ,
其执行路径是1—2—3—6—7—9—10。
（3）条件覆盖：
条件覆盖要求每个判断中每个条件的可能取值至少要满足一次。这道题目中的条件有四个，分别如下：
① x > 3 ；② z < 10 ；③ x = = 4 ；④ y > 5 ；
设计用例时要使每个条件分别取真和取假。设计的测试用例如下表。
（4）判定/条件覆盖：
判定/条件覆盖要求判断中每个条件的所有可能至少出现一次，并且每个判断本身的可能判定结果也至少出现一次。题目中的条件有四个，分别如下：
①x > 3 ；② z < 10 ；③ x = = 4 ；④ y > 5 ；
该程序中的分支有四个。所以设计的测试用例如下表所示：
（5）条件组合覆盖：
条件组合覆盖要求每个判定的所有可能条件取值组合至少执行一次。这道题目中共有四个条件分别如下：
① x > 3 ；② z < 10 ；③ x = = 4 ；④ y > 5 ；
设定x > 3 为真时，记作T1 ；为假时，即x ≤ 3 , 记作F1 ；
z < 10为真时，记作T2 ；为假时，即z ≤ 10 , 记作F2 ；
x = = 4为真时，记作T3 ；为假时，即x ≠ 4 , 记作F3 ；
y > 5为真时，记作T4 ；为假时，即y ≤ 5 , 记作F4 。
条件组合如下表：
设计的测试用例如下：
（6）路径覆盖：
路径覆盖要求覆盖程序中所有可能的路径。这道题中可能的执行路径共有4条，所以需要设计4个测试用例：
题目二：折半查找（选做）
请按要求对下面的java 代码进行测试。代码的功能是：用折半查找法在元素呈升序排列的数组中查找值为key 的元素。
首先对代码进行编号，以便绘制控制流图。
public int binSearch ( int array[], int key ) {
1 int mid, low, high;
2 low = 0;
3 high = array.length-1;
4 while ( low <= high ) {
5 mid = (low +high)/2;
6 if ( key = = array [mid] )
7 return mid;
8 else if ( key < array [mid] )
9 high = mid -1;
10 else
11 low = mid + 1
12 }
13 return -1;
14 }
第1步：绘制给出代码段的程序流程图和控制流图；
（1）根据程序源代码，绘制出程序的程序流程图，如图3：
图 3 题目2的程序流程图
（2）根据程序流程图，绘制出程序的控制流图，如图4：
图 4 题目2的控制流图
第2步：计算程序环路复杂度；
程序的环路复杂性即McCabe复杂性度量，简单的定义为控制流图的区域数。从程序的环路复杂性可导出程序基本路径集合中的独立路径条数，这是确保程序中每个可执行语句至少执行一次所必需的最少测试用例数。
通常环路复杂性可用以下三种方法求得。
（1）通过控制流图的边数和节点数计算。设E为控制流图的边数，N为控制流图的节点数，则定义环路复杂性为 V（G）= E – N + 2 ；
该图中共有16条边，14个节点，因此 E = 16 ，N = 14 ，
V(G)=E-N+2=16-14+2 = 4 ，程序的环路复杂性为4。
（2）通过控制流图中判定节点数计算。若设P为控制流图中的判定节点数，则有V(G) = P + 1
该图中有3个判定节点，因此其环路复杂性为V(G)=P+1=3+1=4，所以该程序的环
路复杂性为4。
（3）将环路复杂性定义为控制流图中的区域数。
该控制流图中有4个区域：R1、R2、R3、R4，因此其环路复杂性为4。
第3步：找出独立路径；
通过程序的控制流图导出基本路径集，列出程序的独立路径。
PATH1：1-2-3-4-13-14
PATH2：1-2-3-4-5-6-7-12-4-13-14
PATH3：1-2-3-4-5-6-8-9-12-4-13-14
PATH4：1-2-3-4-5-6-8-10-11-12-4-13-14
第4步：设计测试用例；
根据程序结构和程序环路复杂性设计用例输入数据和预期结果，确保基本路径集中的每一条路径的执行。
四、实验心得
1、白盒测试与程序内部结构相关，因此也称为结构测试或逻辑驱动测试。而在进行白盒测
试时，测试者必须检查程序的内部结构，从程序的逻辑结构着手，得出测试数据。因此测试者需要了解程序结构的实现细节等知识，才能有效进行测试用例的设计工作。
2、白盒测试并不是简单地按照代码设计测试用例，而是需要根据不同的测试需求，结合不
同的测试对象，使用合适的方法进行测试。而白盒测试的方法也很多，主要方法有逻辑覆盖测试、基本路径测试等。
3、通过这次实验，我了解到绘制程序流程图与控制流图之间的区别，并且能够通过控制流
图来用各种方式设计测试用例。
摘要：单元测试是软件测试的基础，本文详细的论述了单元测试的两个步骤人工静态检查法与动态执行跟踪法，所需执行的工作项目及相关的策略和方法。通过对这两个步骤的描述作者将多年的单元测试经验及测试理论注入于全文。 关键词：单元测试、人工检查、白盒测试、测试用例、跟踪调试 1 概述 单元测试是针对软件设计的最小单位——程序模块，进行正确性检验的测试工作。其目的在于发现每个程序模块内部可能存在的差错。 单元测试也是程序员的一项基本职责，程序员必须对自己所编写的代码保持认真负责的态度，这是也程序员的基本职业素质之一。同时单元测试能力也是程序员的一项基本能力，能力的高低直接影响到程序员的工作效率与软件的质量。 在编码的过程中作单元测试，其花费是最小的，而回报却特别优厚的。在编码的过程中考虑测试问题，得到的将是更优质的代码，因为在这时您对代码应该做些什么了解得最清楚。如果不这样做，而是一直等到某个模块崩溃了，到那时您可能已经忘记了代码是怎样工作的。即使是在强大的工作压力下，您也还必须重新把它弄清楚，这又要花费许多时间。进一步说，这样做出的更正往往不会那么彻底，可能更脆弱，因为您唤回的理解可能不那么完全。 通常合格的代码应该具备以下性质：正确性、清晰性、规范性、一致性、高效性等(根据优先级别排序)。 1. 正确性是指代码逻辑必须正确，能够实现预期的功能。 2. 清晰性是指代码必须简明、易懂，注释准确没有歧义。 3. 规范性是指代码必须符合企业或部门所定义的共同规范包括命名规则，代码风格等等。 4. 一致性是指代码必须在命名上(如：相同功能的变量尽量采用相同的标示符)、风格上都保持统一。 5. 高效性是指代码不但要满足以上性质，而且需要尽可能降低代码的执行时间。 2 单元测试步骤 在代码编写完成后的单元测试工作主要分为两个步骤人工静态检查和动态执行跟踪。 人工静态检查是测试的第一步，这个阶段工作主要是保证代码算法的逻辑正确性(尽量通过人工检查发现代码的逻辑错误)、清晰性、规范性、一致性、算法高效性。并尽可能的发现程序中没有发现的错误。 第二步是通过设计测试用例，执行待测程序来跟踪比较实际结果与预期结果来发现错误。经验表明，使用人工静态检查法能够有效的发现30%到70%的逻辑设计和编码错误。但是代码中仍会有大量的隐性错误无法通过视觉检查发现，必须通过跟踪调试法细心分析才能够捕捉到。所以，动态跟踪调试方法也成了单元测试的重点与难点。 3 人工检查 通常在人工检查阶段必须执行以下项目的活动： 第一、检查算法的逻辑正确性;确定所编写的代码算法、数据结构定义(如：队列、堆栈等)是否实现了模块或方法所要求的功能。 第二、模块接口的正确性检查;确定形式参数个数、数据类型、顺序是否正确;确定返回值类型及返回值的正确性。 第三、输入参数有没有作正确性检查;如果没有作正确性检查，确定该参数是否的确无需做参数正确性检查，否则请添加上参数的正确性检查。经验表明，缺少参数正确性检查的代码是造成软件系统不稳定的主要原因之一。 第四、调用其他方法接口的正确性;检查实参类型正确与否、传入的参数值正确与否、
1白盒测试用例设计方法 1.1白盒测试简介 白盒测试又称结构测试、逻辑驱动测试或基于程序的测试，一般多发生在单元测试阶段。白盒测试方法主要包括逻辑覆盖法，基本路径法，程序插装等。 这里重点介绍一下常用的基本路径法，对于逻辑覆盖简单介绍一下覆盖准则。 1.2基本路径法 在程序控制流图的基础上,通过分析控制构造的环路复杂性，导出独立路径集合，从而设计测试用例，设计出的测试用例要保证在测试中程序的每一个可执行语句至少执行一次。 在介绍基本路径测试方法（又称独立路径测试）之前，先介绍流图符号： 图1 如图1所示，每一个圆，称为流图的节点，代表一个或多个语句，流程图中的处理方框序列和菱形决策框可映射为一个节点，流图中的箭头，称为边或连接，代表控制流，类似于流程图中的箭头。一条边必须终止于一个节点，即使该节点并不代表任何语句，例如，图2中两个处理方框交汇处是一个节点，边和节点限定的范围称为区域。 图2
任何过程设计表示法都可被翻译成流图，下面显示了一段流程图以及相应的流图。 注意，程序设计中遇到复合条件时（逻辑or, and, nor 等），生成的流图变得更为复杂，如(c)流图所示。此时必须为语句IF a OR b 中的每一个a 和b 创建一个独立的节点。
(c)流图 独立路径是指程序中至少引进一个新的处理语句集合，采用流图的术语，即独立路径必须至少包含一条在定义路径之前不曾用到的边。例如图(b)中所示流图的一个独立路径集合为： 路径1：1-11 路径2：1-2-3-4-5-10-1-11 路径3：1-2-3-6-8-9-10-1-11 路径4：1-2-3-6-7-9-10-1-11 上面定义的路径1，2，3 和4 包含了(b)流图的一个基本集，如果能将测试设计为强迫运行这些路径，那么程序中的每一条语句将至少被执行一次，每一个条件执行时都将分别取true 和false（分支覆盖）。应该注意到基本集并不唯一，实际上，给定的过程设计可派生出任意数量的不同基本集。如何才能知道需要寻找多少条路径呢？可以通过如下三种方法之一来计算独立路径的上界： 1. V=E-N+2，E 是流图中边的数量，N 是流图节点数量。 2. V=P+1，P 是流图中判定节点的数量 3. V=R，R 是流图中区域的数量 例如，(b)流图可以采用上述任意一种算法来计算独立路径的数量 1. V=11 条边-9 个节点+2=4 2. V=3 个判定节点+1=4 3. 流图有4 个区域，所以V=4 由此为了覆盖所有程序语句，必须设计至少4 个测试用例使程序运行于这4 条路径。 在采用基本路径测试方法中，获取测试用例可参考以下方式：
软件测试实验二 一：实验目的 1.通过实验熟悉测试用例设计 2.通过实验熟悉白盒测试 二：实验内容1： 1．用java编写一个类，完成下面函数的功能，并编写另外一个类，调用该方法： void DoWork(int x,int y,int z) { int k=0,j=0; if((x>3)&&(z<10)) { k=x*y-1; //语句块1 j=sqrt(k); } if((x= =4)||(y>5)) { j=x*y+10; //语句块2 } j=j%3; //语句块3 } 试验内容2： 1、画出上面函数的流程图。 2、分别使用语句覆盖、判定覆盖（也称为分支覆盖）、条件覆盖、判定-条件覆盖、条件组合测试、路径测试设计测试用例（注意测试用例的格式）。 3、执行每个测试用例，执行完毕后填写测试用例。
二：程序 public class Test { static void dowork(int x,int y,int z) { int k=0,j=0; if((x>3)&&(z<10)) { k=x*y-1; j=(int)Math.sqrt(k); } if((x==4)||(y>5)) { j=x*y+10; } j=j%3; System.out.println("k="+k); x>3 and z<10 x==4 or y>5 k=x*y-1 j=sqrt(k) T F T a c e b j=j%3 j=x*y+10 F d
System.out.println("j="+j); } public static void main(String[] args) { dowork(4,6,5); } } 三：设计测试用例 1.语句覆盖 x=4,y=6,z=5 2.判定覆盖 x，y，z (x>3) and (z<10) (x=4) or (y>5) 执行路径4，6，7 真真ace 2，5，10 假假abd 3.条件覆盖 x>3为真，记为T1 x>3为假，记为-T1 z<10为真，记为T2 z<10为假，记为-T2 x=4为真，记为T3 x=4为假，记为-T3 y>5为真，记为T4 y>5为假，记为-T4 x，y，z 执行路径覆盖条件覆盖分支3，5，5 abe -T1，T2，-T3，T4 be 4，4，11 abe T1，-T2，T3，-T4 be 4.判定—条件覆盖 x，y，z 执行路径覆盖条件覆盖分支 1 4, 4, 5 ace T1,T2,T3,T4 ce 2 2, 6,11 abd -T1,-T2,-T3,-T4 bd 5.条件组合覆盖 1．X>3,Z<10,记为T1，T2 2．X>3,Z>=10,记为T1,-T2 3.X<=3,Z<10,记为–T1，T2 4.X<=3,Z>=10记为–T1,-T2 5.X=4,Y>5 记为T3,T4
一、白盒测试概念 1、定义 白盒测试又称结构测试、透明盒测试、逻辑驱动测试、基于代码的测试。盒子指被测试的软件，白盒指盒子是可视的。白盒测试是一种测试用例设计方法，测试人员依据程序内部逻辑结构相关信息，设计或选择测试用例。白盒测试主要针对被测程序的源代码，主要用于软件验证，不考虑软件的功能实现，只验证内部动作是否按照设计说明书的规定进行。 2、目的 我们一方面注重软件功能需求的实现，另一方面还要注重程序逻辑细节，主要是因为软件自身的缺陷，具体如下： 1）逻辑错误和不正确假设与一条程序路径被运行的可能性成反比。日常处理往往被很好地了解，而“特殊情况”的处理则难于发现。 2）我们经常相信某逻辑路径不可能被执行，而事实上，它可能在正常的基础上被执行。程序的逻辑流有时是违反直觉的，只有路径测试才能发现这些错误。 3）代码中的笔误是随机且无法杜绝的。笔误出现在主流上和不明显的逻辑路径上的机率是一样的。很多被语法检查机制发现，但是其他的会在测试开始时才会被发现。 4）功能测试本身的局限性。如果程序实现了没有被描述的行为，功能测试是无法发现的，例如病毒，而白盒测试很容易发现它。 3、目标 采用白盒测试必须遵循以下几条原则，才能达到测试的目标： 1）保证一个模块中的所有独立路径至少被测试一次。 2）所有逻辑值均需测试真(true) 和假(false)两种情况。 3）检查程序的内部数据结构，保证其结构的有效性。 4）在上下边界及可操作范围内运行所有循环。 4、黑白灰区别 黑盒测试技术：也称功能测试或数据驱动测试，只关注规格说明中的功能，测试者在程序接口对软件界面和软件功能进行测试，它只检查实现了的功能是否按照“用户需求说明书”的规定正常使用，程序是否能适当地接收输入数据而产生正确的输出信息，并且保持外部信息（如数据库或文件）的完整性。主要用于软件确认测试，结合兼容、性能测试等方面，但黑盒测试不能保证已经实现的各个部分都被测试到。黑盒测试适用于各阶段测试。 白盒测试技术：只关注软件产品的测试，深入到代码一级的测试，它是知道产品内部结构，通过测试来检测产品内部动作是否按照“设计规格说明书”的规定正常进行，按照程
实验报告 一、实验目的 1．熟练掌握如何运用基路径测试方法进行测试用例设计。 2．初步熟悉如何利用程序插装技术进行逻辑覆盖率分析。 二、实验内容 1、题目 前一日函数PreDate是NextDate的逆函数（代码实现见下），实现功能为：输入1800 年到2050 年之间的某个日期，函数返回这一天的前一天的日期。（此处不考虑无效输入）请采用基路径方法对前一日函数进行测试用例设计，并利用程序插装技术对测试用例的判定覆盖率进行检查分析。 代码：(被测函数为PreDate) #include"" typedef struct MyDate{ int month; int day; int year; }MyDate; MyDate PreDate(MyDate date); int Leapyear(int year); void Print(MyDate date); MyDate PreDate(MyDate date) //输入日期有效性检查中其他模块实现，此处假设输入日期都是合法数据{ yesterday; = ; // initialization = ; = ; days_month[13]={0,31,0,31,30,31,30,31,31,30,31,30,31}; //初始化每月天数，其中2月不确定，初始化为0 >1) else {
==1) { } if==3) { (Leapyear) { } else { } } else { } } yesterday; } Leapyear(int year) { ((year%4==0&&year%100!=0) || (year%400==0)) 1; return 0; } void Print(MyDate date) { ("%d--%d--%d\n",,,; } 2、测试用例设计 1）控制流图
白盒测试的基本路径测试法 一、白盒测试的主要测试方法 1、代码检查法 2、静态结构分析法 3、静态质量度量法 4、逻辑覆盖法 5、基本路径测 试法（应用最广泛）6、域测试7、符号测试8、Z路径覆盖9、程序变异 二、基本路径测试法 1、定义：基本路径测试法是在程序控制流图的基础上，通过分析控制构造的环路复杂性，导出基本可执行路径集合，从而设计测试用例的方法。 设计出的测试用例要保证在测试中程序的每个可执行语句至少执行一次。 2、基本路径测试法的基本步骤 1) 程序的控制流图：描述程序控制流的一种图示方法。 2）程序圈复杂度：McCabe复杂性度量。从程序的环路复杂性可导出程序基本路径集合中的独立路径条数，这是确定程序中每个可执行语句至少执行一次所必须的测试用例数目的上界。 3）导出测试用例：根据圈复杂度和程序结构设计用例数据输入和预期结果。 4）准备测试用例：确保基本路径集中的每一条路径的执行。 3、基本路径测试法的工具方法 1）图形矩阵：是在基本路径测试中起辅助作用的软件工具，利用它可以实现自动 地确定一个基本路径集。 三、程序的控制流图 控制流程图是描述程序控制流的一种图示方法。圆圈称为控制流图的一个结点，表示一个或多个无分支的语句或源程序语句流图只有二种图形符号：图中的每一个圆称为流图的结点，代表一条或多条语句。流图中的箭头称为边或连接，代表控制流。任何过程设计都要被翻译成控制流图。
1、根据程序流程图化成控制流图 在将程序流程图简化成控制流图时，应注意： 1）在选择或多分支结构中，分支的汇聚处应有一个汇聚结点。 2）边和结点圈定的区域叫做区域，当对区域计数时，图形外的区域也应记为一个区域。如下页图所示： 如果判断中的条件表达式是由一个或多个逻辑运算符(OR, AND, NAND, NOR) 连接的复合条件表达式，则需要改为一系列只有单条件的嵌套的判断。 例如： 1 if a or b 2 x 3 else 4 y 对应的逻辑为：
白盒测试实例之一——需求说明 三角形的问题在很多软件测试的书籍中都出现过，问题虽小，五脏俱全，是个很不错的软件测试的教学例子。本文借助这个例子结合教学经验，从更高的视角来探讨需求分析、软件设计、软件开发与软件测试之间的关系与作用。 题目：根据下面给出的三角形的需求完成程序并完成测试： 一、输入条件： 1、条件1：a+b>c 2、条件2：a+c>b 3、条件3：b+c>a 4、条件4：0 11. if(a==b && b==c && a==c) //这里可以省掉一个判断 12. { 13. printf("1是等边三角形"); 14. } 15. else 16. { 17. if(a==b || b==c || a==c) 18. { 19. printf("2是等腰三角形"); 20. } 21. else 22. { 23. if(a*a+b*b==c*c || a*a+c*c==b*b || b*b+c*c==a*a) 24. { 25. printf("3是直角三角形"); 26. } 27. else 28. { 29. printf("4是一般三角形"); 30. } 31. } 32. } 33. } 34. else 35. { 36. printf("5不能组成三角形"); 37. } 38. } 39. else 40. { 41. printf("6某些边不满足限制"); 42. } 43. } 点评：这样的思路做出来的程序只能通过手工方式来测试所有业务逻辑，而且这个程序只能是DOS界面版本了，要是想使用web或图形化界面来做输入，就得全部写过代码。 白盒测试作为测试人员常用的一种测试方法，越来越受到测试工程师的重视。白盒测试并不是简单的按照代码设计用例，而是需要根据不同的测试需求，结合不同的测试对象，使用适合的方法进行测试。因为对于不同复杂度的代码逻辑，可以衍生出许多种执行路径，只有适当的测试方法，才能帮助我们从代码的迷雾森林中找到正确的方向。本文介绍六种白盒子测试方法：语句覆盖、判定覆盖、条件覆盖、判定条件覆盖、条件组合覆盖、路径覆盖。 白盒测试的概述 由于逻辑错误和不正确假设与一条程序路径被运行的可能性成反比。由于我们经常相信某逻辑路径不可能被执行, 而事实上,它可能在正常的情况下被执行。由于代码中的笔误是随机且无法杜绝的，因此我们要进行白盒测试。 白盒测试又称结构测试,透明盒测试、逻辑驱动测试或基于代码的测试。白盒测试是一种测试用例设计方法，盒子指的是被测试的软件，白盒指的是盒子是可视的,你清楚盒子内部的东西以及里面是如何运作的。 白盒的测试用例需要做到： ·保证一个模块中的所有独立路径至少被使用一次 ·对所有逻辑值均需测试true 和false ·在上下边界及可操作范围内运行所有循环 ·检查内部数据结构以确保其有效性 白盒测试的目的：通过检查软件内部的逻辑结构，对软件中的逻辑路径进行覆盖测试；在程序不同地方设立检查点，检查程序的状态，以确定实际运行状态与预期状态是否一致。 白盒测试的特点：依据软件设计说明书进行测试、对程序内部细节的严密检验、针对特定条件设计测试用例、对软件的逻辑路径进行覆盖测试。 白盒测试的实施步骤： 1.测试计划阶段：根据需求说明书，制定测试进度。 2.测试设计阶段：依据程序设计说明书，按照一定规范化的方法进行软件结构划分和设计测试用例。 3.测试执行阶段：输入测试用例，得到测试结果。 4.测试总结阶段：对比测试的结果和代码的预期结果，分析错误原因，找到并解决错误。 白盒测试的方法：总体上分为静态方法和动态方法两大类。 实验1-白盒测试实验报告 第一章白盒测试 实验1 语句覆盖 【实验目的】 1、掌握测试用例的设计要素和关键组成部 分。 2、掌握语句覆盖标准，应用语句覆盖设计测 试用例。 3、掌握语句覆盖测试的优点和缺点。 【实验原理】 设计足够多的测试用例，使得程序中的每个语句至少执行一次。 【实验内容】 根据下面提供的程序，设计满足语句覆盖的测试用例。 1、程序1源代码如下所示： #include { int b; int c; int a; if(a*b*c!=0&&(a+b>c&&b+c>a&&a+c>b)) { if(a==b&&b==c) { cout<<"您输入的是等边三角形！"; } else if((a+b>c&&a==b)||(b+c>a&&b==c)||(a+c> b&&a==c)) { cout<<"您输入的是等腰三角形！"; } else if((a*a+b*b==c*c)||(b*b+c*c==a*a)||(a* a+c*c==b*b)) { cout<<您输入的是直角三角形"; } else { cout <<”普通三角形”; } } else { cout<<"您输入的不能构成一个三角形！"; } } 输入数据预期输出 A=6,b=7,c=8普通三角形 A=3,b=4,c=5直角三角形 A=4,b=2,c=4等腰三角形 A=1,b=1,c=1等边三角形 A=20,b=10,c=1非三角形 2、程序2源代码如下所示： void DoWork(int x,int y,int z) { ［试题分类］：［04］白盒测试方法/［0400］［综合］白盒测试方法 1. 下面不属于白盒测试能保证的是。 A. 模块中所有独立途径至少测试一次 B. 测试所以逻辑决策真和假两个方面 C. 在所有循环的边界内部和边界上执行循环体 D. 不正确或漏掉的功能 答案:D 分数:1 题型：单选题 难度：1 2. 因果图方法是根据（）之间的因果关系来设计测试用例的。 A. 输入与输岀 B. 设计与实现 C. 条件与结果 D. 主程序与子程序 答案:A 分数:1 题型:单选题 难度：1 3. 使用白盒测试方法时，确定测试数据应根据（）和指定的覆盖标准 A. 程序的内部逻辑 B. 程序的复杂程度 C. 使用说明书 D. 程序的功能 答案:A 分数:1 题型:单选题 难度:1 4. 软件测试中常用的静态分析方法是（）和接口分析。 A. 引用分析 B. 算法分析 C. 可靠性分析 D. 效率分析 答案:A 分数:1 题型:单选题 难度:1 5. 软件测试中常用的静态分析方法是引用分析和（）。 A. 引用分析 B. 算法分析 C. 可靠性分析 D. 接口分析 答案:D 分数:1 题型:单选题 难度:1 6. 白盒方法中常用的方法是（）方法。 A. 路径测试 B. 等价类 C. 因果图 D. 归纳测试 答案:A 分数:1 题型:单选题 难度:1 7. 在软件工程中，白箱测试法可用于测试程序的内部结构。此方法将程序看作是（） A. 路径的集合 B. 循环的集合 C. 目标的集合 D. 地址的集合 答案:A 分数:1 题型：单选题 难度：1 8. 软件测试白箱测试是对软件的结构进行测试，下述： I.边缘值分析n.语句测试 皿.分值测试IV .路经测试 ）是其应包括的内容。 A. I B. n和皿 C.皿和V D. n .皿和V 答案:D 分数:1 题型:单选题 难度：1 9. 在进行单元测试时，常用的方法是（）。 A. 采用白盒测试，辅之以黑盒测试 B. 采用黑盒测试，辅之以白盒测试 C. 只适用白盒测试 D. 只适用黑盒测试 答案:A 分数:1 题型:单选题 难度:1 10. 白盒测试法一般使用于（）测试。 A. 单元 B. 系统 C. 集成 D. 确认 答案:A 分数:1 题型:单选题 难度:1 [试题分类]:[04] 白盒测试方法/[0401]逻辑覆盖法 11. 关于条件测试错误的是（） A. 可以检查程序中所包含的逻辑条件 B. 条件中包含的错误有布尔算子错误 C. 条件中包含的错误有布尔变量错误 D. 条件中包含的错误有接口错误 答案:D 分数:1 题型:单选题 难度:1 精品文档 class是从struct发展而来的。之所以将struct和class都保留，是因为： 1、提出class是为了强调一种概念。 2、保留struct是为了照顾到大多数人的习惯。 struct和class是有区别的。 struct保证成员按照声明顺序在内存中存储。class不保证等等 而它们都可以继承，实现多态等。但也有少许区别。比如： struct A { }； class B : A{ }; //private继承 struct C : B{ }； //public继承 这是由于class默认是private，struct默认是public。 一般说来，struct和class可以换用（当然要注意一些语法问题）。 而struct更适合看成是一个数据结构的实现体， class更适合看成是一个对象的实现体， 对私有成员进行保护，还提供与外界的接口。 从习惯上更喜欢用class。 05:请讲一讲析构函数和虚函数的用法和作用？ 答:置于“～”是析构函数；析构函数因使用"~"符号(逻辑非运算符)，表示它为腻构造函数，加上类名称来定义。 ；析构函数也是特殊的类成员函数，它没有返回类型，没有参数，不能随意调用，也没有重载，只有在类对象的生命期结束的时候，由系统自动调用。 有适放内存空间的做用! 虚函数是C++多态的一种表现 例如：子类继承了父类的一个函数（方法），而我们把父类的指针指向子类，则必须把父类的该函数（方法）设为virturl（虚函数)。 使用虚函数，我们可以灵活的进行动态绑定，当然是以一定的开销为代价。 如果父类的函数（方法）根本没有必要或者无法实现，完全要依赖子类去实现的话，可以把此函数（方法）设为virturl 函数名=0 我们把这样的函数（方法）称为纯虚函数。 如果一个类包含了纯虚函数，称此类为抽象类 精品文档 实验报告书 实验一白盒测试 学生姓名：李庆忠 专业：计算机科学与技术学号：1341901317 白盒测试实验报告 一实验内容 1、系统地学习和理解白盒测试的基本概念、原理，掌握白盒测试的基本技术和方法； 2、举例进行白盒测试，使用语句覆盖、判定覆盖、条件覆盖、判定/条件覆盖、组合 覆盖、路径覆盖进行测试。 3、通过试验和应用，要逐步提高和运用白盒测试技术解决实际测试问题的能力； 4、熟悉C++编程环境下编写、调试单元代码的基本操作技术和方法； 5、完成实验并认真书写实验报告（要求给出完整的测试信息，如测试程序、测试用例， 测试报告等） 二实验原理 白盒测试原理：已知产品的内部工作过程，可以通过测试证明每种内部操作是否符合设计规格要求，所有内部成分是否已经过检查。它是把测试对象看作装在一个透明的白盒子里，也就是完全了解程序的结构和处理过程。这种方法按照程序内部的逻辑测试程序，检验程序中的每条通路是否都能按预定要求正确工作。其又称为结构测试。 流程图如下图所示 实验代码 #include"stdio.h" int main() { int x,y,z; scanf("%d%d",&x,&y); if((x>0)&&(y>0)) { z=x+y+10; } else { z=x+y-10; } if(z<0) { z=0; printf("%d\n",z); } else { printf("%d\n",z); } return 0; } 语句覆盖是指选择足够的测试，使得程序中每个语句至少执行一次。如选择测试x=1,y=1和x=1,y=-1可覆盖所有语句。 判定覆盖是指选择足够的测试，使得程序中每一个判定至少获得一次“真”值和“假”值，从而使得程序的每个分支都通过一次（不是所有的逻辑路径）。选择测试x=1,y=1和x=1,y=-1可覆盖所有判定。 条件覆盖是指选择语句多数的测试，使得程序判定中的每个条件能获得各种不同的结果。选择测试x=1,y=1和x=-1,y=-1可覆盖所有条件。 判定/条件覆盖是指选择足够多的测试，使得程序判定中每个条件取得条件可能的值，并使每个判定取到各种可能的结果（每个分支都通过一次）。即满足条件覆盖，又满足判定覆盖。选择测试x=1,y=1和x=-1,y=-1可覆盖所有判定/条件。 条件组合覆盖是指选择足够的测试，使得每个判定中的条件的各种可能组合都至少出现一次（以判定为单位找条件组合）。 注：a，条件组合只针对同一个判断语句存在多个条件的情况，让这些条件的取值进行笛卡尔乘积组合。 b，不同的判断语句内的条件取值之间无需组合。 c，对于但条件的判断语句，只需要满足自己的所有取值即可。 选择测试用例x=1,y=1；x=1,y=-1，x=-1,y=1和x=-1,y=-1可覆盖所有条件组合。 路径覆盖是分析软件过程流的通用工具，有助分离逻辑路径，进行逻辑覆盖的测试，所用的流程图就是讨论软件结构复杂度时所用的流程图。 [试题分类]: [04]白盒测试方法/[0400][综合]白盒测试方法 1. 下面不属于白盒测试能保证的是。 A.模块中所有独立途径至少测试一次 B.测试所以逻辑决策真和假两个方面 C.在所有循环的边界内部和边界上执行循环体 D.不正确或漏掉的功能 答案:D 分数:1 题型:单选题 难度:1 2.因果图方法是根据（）之间的因果关系来设计测试用例的。 A.输入与输出 B.设计与实现 C.条件与结果 D.主程序与子程序 答案:A 分数:1 题型:单选题 难度:1 3.使用白盒测试方法时，确定测试数据应根据（）和指定的覆盖标准。 A.程序的内部逻辑 B.程序的复杂程度 C.使用说明书 D.程序的功能 答案:A 分数:1 题型:单选题 难度:1 4.软件测试中常用的静态分析方法是（）和接口分析。 A.引用分析 B.算法分析 C.可靠性分析 D.效率分析 答案:A 分数:1 题型:单选题 难度:1 5.软件测试中常用的静态分析方法是引用分析和（）。 A.引用分析 B.算法分析 C.可靠性分析 D.接口分析 答案:D 分数:1 题型:单选题 难度:1 6.白盒方法中常用的方法是（）方法。 A.路径测试 B.等价类 C.因果图 D.归纳测试 答案:A 分数:1 题型:单选题 7.在软件工程中，白箱测试法可用于测试程序的内部结构。此方法将程序看作是（） A.路径的集合 B.循环的集合 C.目标的集合 D.地址的集合 答案:A 分数:1 题型:单选题 难度:1 8.软件测试白箱测试是对软件的结构进行测试，下述： Ⅰ.边缘值分析Ⅱ.语句测试 Ⅲ.分值测试Ⅳ.路经测试 （）是其应包括的内容。 A.Ⅰ B.Ⅱ和Ⅲ C.Ⅲ和Ⅳ D.Ⅱ.Ⅲ和Ⅳ 答案:D 分数:1 题型:单选题 难度:1 9.在进行单元测试时，常用的方法是（）。 A.采用白盒测试，辅之以黑盒测试 B.采用黑盒测试，辅之以白盒测试 C.只适用白盒测试 D.只适用黑盒测试 答案:A 分数:1 题型:单选题 难度:1 10.白盒测试法一般使用于（）测试。 A.单元 B.系统 C.集成 D.确认 答案:A 分数:1 题型:单选题 难度:1 [试题分类]: [04]白盒测试方法/[0401]逻辑覆盖法 11.关于条件测试错误的是（） A.可以检查程序中所包含的逻辑条件 B.条件中包含的错误有布尔算子错误 C.条件中包含的错误有布尔变量错误 D.条件中包含的错误有接口错误 答案:D 分数:1 题型:单选题 难度:1 12.关于条件中包含的错误类型说法错误的是（） A.关系算子错误 B.算术表达式错误 C.条件中包含的错误有布尔变量错误 D.条件中包含的错误有接口错误 白盒测试 白盒测试，又称结构测试、透明盒测试、逻辑驱动测试或基于代码的测试。白盒测试是一种测试用例设计方法，盒子指的是被测试的软件，白盒指的是盒子是可视的，你清楚盒子部的东西以及里面是如何运作的。"白盒"法全面了解程序部逻辑结构、对所有逻辑路径进行测试。"白盒"法是穷举路径测试。在使用这一方案时，测试者必须检查程序的部结构，从检查程序的逻辑着手，得出测试数据。贯穿程序的独立路径数是天文数字。 采用什么方法对软件进行测试呢？常用的软件测试方法有两大类：静态测试方法和动态测试方法。其中软件的静态测试不要求在计算机上实际执行所测程序，主要以一些人工的模拟技术对软件进行分析和测试；而软件的动态测试是通过输入一组预先按照一定的测试准则构造的实例数据来动态运行程序，而达到发现程序错误的过程。在动态分析技术中,最重要的技术是路径和分支测试。下面要介绍的六种覆盖测试方法属于动态分析方法。 中文名：白盒测试 外文名：white-box testing 别称：结构测试、透明盒测试 白盒测试测试方法 白盒测试的测试方法有代码检查法、静态结构分析法、静态质量度量法、逻辑覆盖法、基本路径测试法、域测试、符号测试、路径覆盖和程序变异。 白盒测试法的覆盖标准有逻辑覆盖、循环覆盖和基本路径测试。其中逻辑覆盖包括语句覆盖、判定覆盖、条件覆盖、判定/条件覆盖、条件组合覆盖和路径覆盖。六种覆盖标准发现错误的能力呈由弱到强的变化： 1.语句覆盖每条语句至少执行一次。 2.判定覆盖每个判定的每个分支至少执行一次。 3.条件覆盖每个判定的每个条件应取到各种可能的值。 4.判定/条件覆盖同时满足判定覆盖条件覆盖。 5.条件组合覆盖每个判定中各条件的每一种组合至少出现一次。 6.路径覆盖使程序中每一条可能的路径至少执行一次。 白盒测试要求 7.使用白盒测试用例设计方法为下面的程序设计测试用例： ·程序要求：10个铅球中有一个假球（比其他铅球的重量要轻），用天平三次称出假球。 ·程序设计思路：第一次使用天平分别称5个球，判断轻的一边有假球；拿出轻的5个球，拿出其中4个称，两边分别放2个球；如果两边同重，则剩下的球为假球；若两边不同重，拿出轻的两个球称第三次，轻的为假球。 【源程序】 using System; using System.Collections.Generic; using System.Linq; using System.Text; using NUnit.Framework; namespace Test3_7 { [TestFixture] public class TestGetMinValue { [Test] public void AddTwoNumbers() { Random r = new Random(); int n; int[] a=new int[10]; n = r.Next(0, 9); for (int i = 0; i < a.Length; i++) { if (i == n) a[i] = 5; else a[i] = 10; } GetMin gm = new GetMin(); Assert.AreEqual(n,gm.getMinvalue(a)); } } public class GetMin { public int getMinvalue(int[] m) { double m1 = 0, m2 = 0, m3 = 0, m4 = 0; for (int i = 0; i < 5; i++) { m1 = m1 + m[i]; } for (int i = 5; i < 10; i++) { m2 = m2 + m[i]; } if (m1 < m2) { m3 = m[1] + m[0]; m4 = m[3] + m[4]; if (m3 > m4) { if (m[3] > m[4]) return 4; else return 3; } else if (m3 < m4) { if (m[0] > m[1]) return 1; else return 0; } else return 2; } else { m3 = m[5] + m[6]; m4 = m[8] + m[9]; if (m3 < m4) { if (m[5] > m[6]) return 6; 白盒测试方法 一、静态结构分析法 程序的结构形式是白盒测试的主要依据。研究表明程序员38%的时间花费在理解软件系统上，因为代码以文本格式被写入多重文件中，这是很难阅读理解的，需要其它一些东西来帮助人们阅读理解，如各种图表等，而静态结构分析满足了这样的需求。 在静态结构分析中，测试者通过使用测试工具分析程序源代码的系统结构、数据结构、数据结构、内部控制逻辑等内部结构，生成函数调用关系图、模块控制流图、内部文件调用关系图、子程序表、宏和函数参数表等各类图形图标，可以清晰地标识整个软件系统的组成结构，使其便于阅读和理解，然后可以通过分析这些图标，检查软件有没有存在缺陷或错误。 其中函数调用关系图通过应用程序中各函数之间的调用关系展示了系统的结构。通过查看函数调用关系图，可以检查函数之间的调用关系是否符合要求，是否存在递归调用，函数的调用曾是是否过深，有没有存在独立的没有被调用的函数。从而可以发现系统是否存在结构缺陷，发现哪些函数是重要的，哪些是次要的，需要使用什么级别的覆盖要求...... 模块控制流图是与程序流程图相类似的由许多节点和连接节点的边组成的一种图形，其中一个节点代表一条语句或数条语句，边代表节点间控制流向，它显示了一个函数的内部逻辑结构。模块控制流图可以直观地反映出一个函数的内部逻辑结构，通过检查这些模块控制流图，能够很快发现软件的错误与缺陷 二、代码检查 代码检查包括桌面检查、代码审查和走查等，主要检查代码和设计的一致性，代码对标准的遵循、可读性，代码逻辑表达的正确性，代码结构的合理性等方面；发现违背程序编写标准的问题，程序中不安全、不明确和模糊的部分，找出程序中不可移植部分、违背程序编程风格的内容，包括变量检查、命名和类型审查、程序逻辑审查、程序语法检查和程序结构检查等内容。 代码检查方法 1、代码检查法 （1）桌面检查：这是一种传统的检查方法，由程序员检查自己编写的程序。程序员在程序通过编译之后，对源程序代码进行分析、检验，并补充相关文档，目的是发现程序中的错误。由于程序员熟悉自己的程序及其程序设计风格，桌面检查由程序员自己进行可以节省很多的检查时间，但应避免主观片面性 （2）代码审查 由若干程序员和测试员组成一个审查小组，通过阅读、讨论和争议，对程序进行静态分析的过程。代码审查分两步：第一步，小组负责人提前把设计规格说明书、控制流程图、程序文本及有关要求、规范等分发给小组成员，作为审查的依据。小组成员在充分阅读这些材料后，进入审查的第二步，召开程序审查会。在会上，首先由程序员逐句简介程序的逻辑。 概述 课程介绍 本门课程是S2中介绍白盒测试及OO测试的课程。通过本门课程的学习，可以 1、掌握白盒测试与黑盒测试的联系与区别 2、了解白盒测试的常用策略 3、掌握白盒测试中覆盖率测试技术和基本路径测试技术 4、初步掌握下列测试工具的使用 Logiscope、C++ Test、JTest、JUnit 完成本门课程的学习后，学员可以对运用所学工具和理论对C、C++、java代码进行代码规范检查和单元测试。 在项目实训当中的地位 在项目实训中使用的自动测试工具和白盒测试策略由本课程教授。 第一章软件测试环境 主要内容 内容一：白盒测试的概念和作用 内容二：比较白盒测试和黑盒测试 白盒测试和黑盒测试的比较 单元测试概念 集成测试的概念 内容三：白盒测试的策略 桌前检查 单元测试 代码会审 代码走查 静态分析 内容四：白盒测试的目的和意义 目的：测试源代码，从而提高代码的质量，并保证测试覆盖程序中的所有代码。 主要内容 内容五：白盒测试相关 做白盒测试需要开发部门提供的材料。 常用的测试用例涉及技术 ?逻辑覆盖测试 ?基本路径测试 ?数据流分析 ?信息流分析 白盒测试的结果 测试工具在白盒测试中所起的作用 白盒测试对测试人员的要求 重点 重点一、白盒测试的概念 重点二、白盒测试和黑盒测试的比较 不同点 相同点 重点三、白盒测试的策略 桌前检查 单元测试 代码会审 代码走查 静态分析 难点 难点一、白盒测试的策略 难点二、白盒测试和黑盒测试的异同 作业 第一题 结合第一小学期所学的测试课程，总结一下，白盒测试同的黑盒测试相比，具有哪些优点，存在哪些不足？ 白盒测试 白盒测试以程序的结构为依据，所有又称为结构测试。早期的白盒测试把注意力放在流程图的各个判定框，使用不同的逻辑覆盖标准来表达对程序进行测试的详尽程度。随着测试技术的发展，人们越来越重视对程序执行路径的考察，并且用程序图代替流程图来设计测试用例。为了区分这两种白盒测试技术，以下把前者称为逻辑覆盖测试，后者称为路径测试。 一、逻辑覆盖测试 逻辑覆盖测试法（Logic Coverage Testing ）考察的重点是图中的判定框（菱形框）。因为这些判定若不是与选择结构有关，就是与循环结构有关，是决定程序结构的关键成分。 按照对被测程序所作测试的有效程度，逻辑覆盖测试可由弱到强区分为5种覆盖标准： 发现错误的能力 弱 强 语句覆盖 每条语句至少执行一次 判定覆盖 每一判定的每个分支至少执行一次 条件覆盖 每一判定中的每个条件，分别按“真”、“假”至少各执行一次 判定/条件覆盖 同时满足判定覆盖和条件覆盖的要求 条件组合覆盖 求出判定中所有条件的各种可能组合值，每一可能的条件组合至少执行一次 举例说明： 有一个程序段如下： a b F T c d F T e (A>1) (B=0) (A=2) (x>1) x=x/a x=x+1 (a)语句覆盖：设计若干个测试用例，运行被测程序，使得每一个可执行语句至 少执行一次。例如在上图所给出的例子中，正好所有的可执行语句都在路径L1（a－>c－>e）上，所以选择路径L1设计测试用例，就可以覆盖所有的可执行语句。 L1（a－>c－>e） ＝{(A>1) and (B=0) } and {(A=2) or (x/A>1)} =(A=2) and (B=0) or {(A>1) and (B=0) and (x/A>1)} 测试用例可以设计为：【（2，0，4），（2，0，3）】覆盖ace【L1】 从程序中每个可执行语句都得到执行这一点来看，语句覆盖的方法似乎能够比较全面的检验每一个可执行语句。但与后面介绍的其它覆盖相比，语句覆盖是最弱的逻辑覆盖准则。 (b)判定覆盖 所谓判定覆盖就是设计若干个测试用例，运行被测试程序，使得程序中每个判断的取真分支和取假分支至少经历一次。判定覆盖又称为分支覆盖。如上例如果选择路径L1（a－>c－>e）和L2（a－>b－>d），可得满足要求得测试用例： L2（a－>b－>d） ＝{(A<=1) or (B≠0) } and {(A≠2) and (x<=1)} =( A<=1) and (x<=1) or {( B≠0) and (A≠2) and (x<=1)} 测试用例可以设计为： 【（2，0，4），（2，0，3）】覆盖ace【L1】 【（1，1，1），（1，1，1）】覆盖abd【L2】 如果选取路径L3（a－>b－>e）和L4（a－>c－>d） L3（a－>b－>e） ＝{(A<=1) or (B≠0) } and {(A＝2) or (x>1)} ={( A<=1) and (x>1)} or {( B≠0) and (A=2) } or {( B≠0) and (x>1)} L4（a－>c－>d） ＝{(A>1) and (B=0) } and {(A≠2) and (x/A<=1)} 还可以得到另一组可用得测试用例： 【（2，1，1），（2，1，2）】覆盖abe【L3】 【（3，0，3），（3，1，1）】覆盖acd【L4】 所有测试用例得取法不唯一。注意有例外情况，例如，如果把上例中第二个判定中的条件x>1错写成x<1，那么利用上面两组测试用例，仍能得到同样的结果。这表明，只是判定覆盖，还不能保证一定能查出在判断得条件中存在得错误。因此还需要更强的逻辑覆盖准则检验判断内部条件。 (c)条件覆盖白盒测试的六种覆盖准则
实验1-白盒测试实验报告
白盒测试方法习题及答案
最新白盒测试面试题
白盒测试实验报告-范例
白盒测试方法习题测验及答案
白盒测试和黑盒测试
最新软件测试白盒测试实验报告
白盒测试方法详细说明
《白盒测试与OO测试》的重点与难点
软件工程白盒测试
相关主题
文本预览