2016年东南大学软件测试白盒测试实验二

白盒测试实验报告引言近年来，软件行业发展迅速，软件质量成为软件企业必须关注的重点。

白盒测试是软件测试的一种重要手段。

本文将介绍一次白盒测试实验的过程和结果。

实验内容本次实验采用的测试对象是一款音乐播放器软件，我们将以白盒测试为手段，对音乐播放器软件进行测试，为构建一个健壮性好，功能稳定的音乐播放器软件做出我们的贡献。

实验过程1.需求分析阶段需求分析是基础性工作，是成功进行软件测试的重要基础。

我们首先分析音乐播放器软件的需求，划分出测试的模块和对应的测试用例。

在分析过程中，我们还同时制定了测试计划和测试执行。

2.设计阶段在设计阶段，我们将测试模块分成了多个部分，比如软件启动，音乐播放，音乐分类等等。

设计测试用例时，我们着重考虑了边界值测试用例，异常测试用例，特殊情况测试用例等，以提高测试的覆盖率。

3.实施阶段在实施阶段，我们严格按照测试计划与测试用例执行测试。

针对测试结果，我们每天在会上讨论，分析测试结果，确认产生的缺陷，并提出了解决方案。

我们还记录了测试用例执行过程、测试结果及其缺陷，以备后续参考。

4.缺陷整理与跟踪在检测和记录所有缺陷及其描述、报告和跟踪过程中，我们将测试结果分为三类：一类是重要的缺陷，需要开发人员立即修复；二类是次要的缺陷，将在下一周期处理；三类是需要处理的小错误，可以在后续的版本中修复。

实验结果通过测试，我们发现了多个问题，并对其进行了记录和反馈。

其中主要缺陷有以下几个方面：1.在平台正常工作过程中，应及时清理平台缓存，否则可能导致存储空间的不足，影响音乐播放体验。

2.在进行音频播放时，带缓存的音乐样本（即缓存层的音乐）的播放时，有时会造成截断现象。

3.当用户对相同音频文件进行不同时间的快进、快退操作时，应能保证允许的时间是在音频文件长度范围内的。

结论本次白盒测试实验中，我们收集并汇总了测试过程中遇到的问题，并及时反馈给开发人员。

我们还为软件企业的软件质量提升提供了一定的保障，以帮助企业提高其软件产品的健壮程度和可靠性。

软件测试基础与实践实验报告实验名称：白盒测试实验一实验地点：计算机软件楼实验日期： 2016.11.6学生姓名：王鑫学生学号： 71114430 东南大学软件学院制一、实验目的（1）巩固白盒测试知识，对于给定的待测程序，能熟练应用基本控制流覆盖方法设计测试用例；（2）通过绘制程序控制流程图，实现对于程序源代码的逻辑描述（3）培养严谨的测试精神，学习测试用例的设计和分析二、实验内容（一）实验一: 控制流测试技术实验2.1 语句覆盖3.进一步用路径覆盖准则测试getWeekday()分析：非正常输出，return 0，-1，-2，-3，共4条路径。

之前有一条if语句，所以共2*4=8条路径。

正常输出，总共有4个if语句（把循环简化成if语句），分别有2，3，4，2条路径，所以总共有2*3*4*2=48条路径。

总共8+48=56条路径。

平均一条路径对应一个测试用例，需要1分钟给出，整个也要1个小时左右才能完成路径覆盖测试。

4.MC/DC(修订的判定条件覆盖)上述判定表达式只有TFT,TFF,TTF,FTF四种取值。

测试用例P1和P4比较得条件a独立；测试用例P3和P4比较得条件b独立；测试用例P2和P3比较得条件c独立。

三、实验体会（1）没有测出缺陷，但实际上存在缺陷。

这说明动态白盒测试并不能完全测出缺陷。

每种测试方法都存在弊端。

语句覆盖：很难达到100%的覆盖，是比较弱的覆盖；判定覆盖：容易忽略布尔表达式的分支和逻辑短路；条件覆盖：与判定覆盖类似，但比判定覆盖覆盖率高；判定条件覆盖：可能会有错误屏蔽现象；条件组合覆盖：比之前的覆盖率都高，但也存在漏洞。

（2）程序存在缺陷，如day取值为0这种错误输入时，依然有结果；month取值为0，程序报错；year取值为0，输出结果和取值为1时一样。

改进：程序代码21-22句多余，因为2月日期数的计算在2-3句已经分析过了，没必要再重复写判断语句。

（3）关键：1.做出正确有美观的流程图。

➢ 外度是将该节点作为开始节点的不同边的条数。 ➢ 内度是将该节点作为终止节点的不同边的条数。
10
8.1.3 数据流测试
相关概念 计算使用（C-use） 使用节点USE(v,n) 是一个计算使用，当且仅当语句n是计算语句，USE(v,n) 是计算使用。 ➢ 对应计算使用的节点的外度<=1。
11
8.1.3 数据流测试
的使用，但对如何从一个定义传递到一个使用不作 要求。 • 全使用覆盖虽然要求检查每个定义的所有可传递到 的使用，但对如何从一个定义传递到一个使用不作 要求。
27
8.1.4 信息流分析
定义
通过对输入数据、输出数据、语句之间关系的分析来检查程序错 误，还可用来分析是否存在无用的语句。
28
8.1.4 信息流分析
22
8.1.3 数据流测试
定义-使用的路经测试覆盖指标 全计算使用（all predicate use）/部分谓词使用（some calculation use）覆盖准则 集合T满足程序P的全计算使用/部分谓词使用覆盖准则，当且仅当对于所 有变量v∈V，T包含从v的每个定义节点到v的所有计算使用的定义清除 路径，并且如果v的一个定义没有计算使用，则到至少一个谓词使用有一 条定义清除路径。
32
8.1.5 覆盖率分析及测试覆盖准则
注意点 1. 内部动作是否按照规格说明书的规定正常进行。 2. 覆盖测试的主要方法。 3. 覆盖法要求全面了解程序内部逻辑结构、对所有逻辑路径进行测试。 4. 不同软件的覆盖率分析对应的的覆盖测试方法是可以有差别的。 5. 覆盖测试只是根据程序的内部结构进行测试，而不考虑外部特性。
19
8.1.3 数据流测试
全定义覆盖示例
n1: float X,Y,Z,U,W; n2: scanf("%f%f%f",&X,&Y,&Z); n3: U=(X-Y)*2; n4: if(X>Y) n5: W=U; n6: else W=Y; n7: if((W+Z)>100){ n8: X=X-2; n9: Y=Y+W; n10: printf("Linear");}

南京信息工程大学实验（实习）报告实验四白盒测试（二）一、实验目的理解白盒测试的基本方法，掌握语句覆盖、判定覆盖、条件覆盖、判定/条件覆盖、条件组合覆盖和路径覆盖等代码覆盖测试策略，并能运用相应的方法设计测试用例二、实验时间2学时三、实验准备主流PC 机一套，要求安装windows 操作系统和Office 工具及相应编程软件；四、实验内容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 ) {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 else11 low = mid + 112 }13 return -1;14 }（1）画出此程序段的控制流图；（2）试计算此程序段的McCabe 复杂性；（3）用独立路径覆盖法给出测试路径；并为各测试路径设计测试用例。