当前位置：文档之家 › 实验四、白盒测试技术(二)

实验四、白盒测试技术(二)

  • 格式：doc
  • 大小：99.32 KB
  • 文档页数：6

实验四、白盒测试技术（二）
一、实验类型
实验类型为验证型，2个学时。

二、实验目的
（1）通过简单程序白盒测试，熟悉测试过程，对软件测试行程初步了解，并养成良好的测试习惯；
（2）熟练掌握如何运用基路径测试方法进行测试用例设计,初步熟悉如何利用程序插装技术进行逻辑覆盖率分析；
三、背景知识
基本路径测试
如果把覆盖的路径数压缩到一定限度内，例如，程序中的循环体只执行零次和一次，就成为基本路径测试。

它是在程序控制流图的基础上，通过分析控制构造的环路复杂性，导出基本可执行路径集合，从而设计测试用例的方法。

设计出的测试用例要保证在测试中，程序的每一个可执行语句至少要执行一次。

① 程序的控制流图
控制流图是描述程序控制流的一种图示方法。

基本控制构造的图形符号如图所示。

符号○称为控制流图的一个结点，一组顺序处理框可以映射为一个单一的结点。

控制流图中的箭头称为边，它表示了控制流的方向，在选择或多分支结构中分支的汇聚处，即使没有执行语句也应该有一个汇聚结点。

边和结点圈定的区域叫做区域，当对区域计数时，图形外的区域也应记为一个区域。

图1 控制流图的各种图形符号
如果判定中的条件表达式是复合条件时，即条件表达式是由一个或多个逻辑运算符（OR，AND，NAND，NOR）连接的逻辑表达式，则需要改复合条件的判定为一系列只有单个条件的嵌套的判定。

例如对应图3-2. (a) 的复合条件的判定，应该画成如图3-2. (b) 所示的控制流图。

条件语句if a OR b 中条件a和条件b各有一个只有单个条件的判定结点。

图2 复合逻辑下的控制流图
② 计算程序环路复杂性
进行程序的基本路径测试时，程序的环路复杂性给出了程序基本路径集合中的独立路径条数，这是确保程序中每个可执行语句至少执行一次所必需的测试用例数目的上界。

所谓独立路径，是指包括一组以前没有处理的语句或条件的一条路径。

如在图3-3(b)所示的控制流图中，一组独立的路径是：
path1：1 - 11
path2：1 - 2 - 3 - 4 - 5 - 10 - 1 - 11
path3：1 - 2 - 3 - 6 - 8 - 9 - 10 - 1 - 11
path4：1 - 2 - 3 - 6 - 7 - 9 - 10 - 1 - 11
路径path1，path2，path3，path4组成了图3-3 (b) 所示控制流图的一个基本路径集。

只要设计出的测试用例能够确保这些基本路径的执行，就可以使得程序中的每个可执行语句至少执行一次，每个条件的取真分支和取假分支也能得到测试。

基本路径集不是唯一的，对于给定的控制流图，可以得到不同的基本路径集。

(a) 程序流程图(b) 控制流图
图3 程序流程图与对应的控制流图
通常环路复杂性可用以下三种方法求得。

▪将环路复杂性定义为控制流图中的区域数。

▪设E为控制流图的边数，N为图的结点数，则定义环路复杂性为V(G)＝E－N＋2。

▪若设P为控制流图中的判定结点数，则有V(G)＝P＋1。

因为图5.14(b)所示控制流图有4个区域。

其环路复杂性为4。

它是构成基本路径集的
独立路径数的上界。

可以据此得到应该设计的测试用例的数目。

③ 导出测试用例
利用逻辑覆盖方法生成测试用例，确保基本路径集中每条路径的执行。

四、实验设备
主流PC机一套，要求安装windows操作系统、VC++开发工具和OFFICE工具；
五、实验内容
被测测试程序功能：计算被输入日期是星期几，已知公元1年1月1日是星期一，只要输入年月日，能自动回复当天是星期几。

程序代码，测试对象为while循环内代码：
#include <iostream>
using namespace std;
int main()
{
int x=1,year,month,day;
while(x){
1 int i,num=0,total,total1,total2;
2 cout<<"请输入年份：";
3 cin>>year;
4 cout<<"请输入月份：";
5 cin>>month;
6 cout<<"请输入日期：";
7 cin>>day;
//求得输入年份之前一年末的总天数
8 for(i=1;i<year;i++){
9 if(((i%4==0)&&(i%100!=0))||(i%400==0))
10 num++;
}
11 total1=365*(year-num-1)+366*num;
//求得输入年份的总天数
12 if(((i%4==0)&&(i%100!=0))||(i%400==0)){
//求得输入月份之前一个月末的总天数
13 switch(month){
case 1:total2=0;break;
case 2:total2=31;break;
case 3:total2=60;break;
case 4:total2=91;break;
case 5:total2=121;break;
case 6:total2=152;break;
case 7:total2=182;break;
case 8:total2=213;break;
case 9:total2=244;break;
case 10:total2=274;break;
case 11:total2=305;break;
case 12:total2=335;break;
}
}else{
14 switch(month){
case 1:total2=0;break;
case 2:total2=31;break;
case 3:total2=59;break;
case 4:total2=90;break;
case 5:total2=120;break;
case 6:total2=151;break;
case 7:total2=181;break;
case 8:total2=212;break;
case 9:total2=243;break;
case 10:total2=273;break;
case 11:total2=304;break;
case 12:total2=334;break;
}
}
//再加上输入的日，求其总和可得到总天数
15 total=total1+total2+day;
16 int week;
17 week=total%7;
18 cout<<"请输入的日期是";
19 switch(week){
case 0:cout<<"星期天"<<endl;break;
case 1:cout<<"星期一"<<endl;break;
case 2:cout<<"星期二"<<endl;break;
case 3:cout<<"星期三"<<endl;break;
case 4:cout<<"星期四"<<endl;break;
case 5:cout<<"星期五"<<endl;break;
case 6:cout<<"星期六"<<endl;break;
}
20 cout<<"********退出程序请输入0，否则任意输入继续********"<<endl;
21 cin>>x;
}
}
程序运行结果
六、实验步骤
（1）画控制流图（简化）
（2）计算环形复杂度；
（3）导出基本路径集；A、
B、
C、
D、
（4）设计测试用例；A、
B、
C、
D、
（5）执行测试用例，记录结果
用例编号输入期望输出覆盖路径测试结果
七、实验报告要求
完成以上实验步骤。

合集下载

白盒测试有那些常用方法和技巧

白盒测试有那些常用方法和技巧

白盒测试有那些常用方法和技巧白盒测试是一种测试软件内部结构、设计和代码的过程，主要用于评估程序代码的质量、逻辑覆盖率和完整性。

白盒测试通常由开发人员执行，以确保代码按照规范执行，并且同时确保测试覆盖率达到预期水平。

下面将介绍一些白盒测试中常用的方法和技巧。

常用方法1. 语句覆盖语句覆盖是一种基本的白盒测试方法，旨在确保每个软件代码中的语句都被执行到。

测试人员通过设计测试用例来检查代码覆盖率，以便发现潜在的逻辑错误。

2. 判定覆盖判定覆盖是一种测试方法，旨在确保每个条件都被至少一次计算为true和false。

通过设计测试用例来覆盖条件语句的所有可能路径，从而提高代码的覆盖率。

3. 条件覆盖条件覆盖是一种测试方法，旨在确保每个条件语句内的所有布尔表达式都得到测试。

测试人员需要设计多个测试用例来覆盖所有可能的布尔组合，以发现潜在的逻辑错误。

4. 路径覆盖路径覆盖是一种测试方法，旨在确保从程序的入口到出口的所有可能执行路径都被覆盖。

通过设计测试用例来覆盖代码中的所有可能路径，以确保程序的完整性和正确性。

常用技巧1. 设计合适的测试用例在进行白盒测试时，设计合适的测试用例是至关重要的。

测试用例应该能够覆盖代码中的不同路径和分支，以便发现潜在的错误。

同时，测试用例应该具有高效性和可重复性，以便在代码发生改变时进行回归测试。

2. 使用静态分析工具静态分析工具可以帮助测试人员检测代码中的潜在错误和不一致性。

通过使用这些工具，测试人员可以更快速地发现代码中的问题，并及时进行修复。

3. 结合代码审查代码审查是一种有效的质量保证方法，可以帮助测试人员发现代码中的错误和潜在问题。

在白盒测试过程中，结合代码审查可以提高代码的质量和可维护性，确保代码符合规范。

4. 自动化测试自动化测试是提高测试效率的关键。

通过编写测试脚本和使用自动化测试工具，可以快速地执行大量的测试用例，提高测试覆盖率和质量。

通过采用上述方法和技巧，可以有效地进行白盒测试，并提高软件代码的质量和稳定性。

白盒测试实验报告-范例

白盒测试实验报告-范例

实验报告书实验一白盒测试学生姓名：李庆忠专业：计算机科学与技术学号：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可覆盖所有判定。

条件覆盖是指选择语句多数的测试，使得程序判定中的每个条件能获得各种不同的结果。

软件测试中的白盒测试技术与方法

软件测试中的白盒测试技术与方法

软件测试中的白盒测试技术与方法在软件开发过程中，测试是至关重要的一环。

而软件测试又分为白盒测试和黑盒测试两种方法。

本文将重点讨论白盒测试技术与方法。

一、白盒测试概述白盒测试又称结构化测试或透明盒测试，是指测试人员对软件内部结构和实现细节有详细了解，并以此为基础来编制测试用例，验证软件是否按设计要求正常运行。

相比之下，黑盒测试只依据软件需求规格说明书等外部信息来制定测试用例。

白盒测试广泛应用于各个测试层次，并被认为是提高测试效率和发现隐藏缺陷的关键手段。

二、白盒测试技术1. 静态白盒测试技术静态白盒测试技术是在软件开发生命周期的早期应用，主要通过检查源代码以及其他开发文档来识别潜在问题。

常见的静态白盒测试技术包括代码审查、需求分析、软件框架分析等。

2. 动态白盒测试技术动态白盒测试技术是在软件开发过程中进行源代码的动态执行，通过运行时的覆盖情况、路径信息等来进行测试。

常见的动态白盒测试技术包括基本路径测试、条件覆盖测试、循环测试等。

三、白盒测试方法1. 代码覆盖测试代码覆盖测试是白盒测试方法中的一种，主要以覆盖代码的不同路径来验证软件功能是否正确。

常见的覆盖测试包括语句覆盖、分支覆盖、判定覆盖等。

2. 数据流测试数据流测试是通过分析软件中的数据流来设计测试用例，以验证数据是否按照预期流动。

常见的数据流测试技术包括数据定义使用测试、局部/全局变量定义测试、数据定义-使用关系测试等。

3. 边界值测试边界值测试是一种白盒测试方法，通过检查软件在极限输入值或接近边界的输入值时的行为来验证程序的正确性。

这种测试方法能有效地发现常见的错误，如数组越界、变量溢出等。

4. 语句覆盖测试语句覆盖是白盒测试方法中最常见的一种，目标是通过执行每一条语句至少一次来验证软件的正确性。

通过多次运行测试用例，可以尽可能地发现隐藏的缺陷。

5. 状态覆盖测试状态覆盖测试是白盒测试方法中的一项重要内容，它覆盖了程序中可能的状态转换，以验证软件是否按照预期状态进行正确运行。

软件测试实验4

软件测试实验4

软件测试实验4本页仅作为文档页封面，使用时可以删除This document is for reference only-rar21year.March广东海洋大学学生实验报告书实验名称实验四白盒测试课程名称软件测试成绩学院软件学院专业软件工程班级（系）学生姓名学号实验地点实验日期一、实验目的：1.掌握白盒测试原理和测试方法2.使用白盒测试的逻辑测试和基本路径测试法设计测试用例二、实验内容：1.画出如下程序段的程序流程图，分别用最少的测试用例完成语句覆盖、判定覆盖、条件覆盖和路径覆盖的测试设计。

void test(int x, int y){if (x>0 && y>10) y=y/x;if(x<-10 || y<0) y=-(y+x);}程序流程图如下所示：input x,yx>0 and y>10y=y/xx<-10 or y<0y=-(y+x)语句覆盖每条语句至少执行一次。

判定覆盖每个判定的每个分支至少执行一次。

条件覆盖每个判定的每个条件应取到各种可能的值。

路径覆盖使程序中每一条可能的路径至少执行一次。

由这个流程图可以看出，该程序模块有4条不同的路径：P1:(a-c-e) P2:(a-c-d)P3:(a-b-e) P4:(a-b-d)将里面的判定条件和过程记录如下：判定条件M＝{x>0 and y>10}判定条件N={x<-10 or y<0}1、语句覆盖(P4)2、判定覆盖（P2 P3）P2和p3可以作为测试用例。

3、条件覆盖对于M：x>0取真时T1，取假时F1;y>10取真时T2，取假时F2；对于N：x<-10取真时T3，取假时F3;Y<0取真时T4，取假时F4。

条件：x>0,y>10条件：x<-10,y<0根据条件覆盖的基本思路，和这8个条件取值，组合测试用例如表所示:4、路径覆盖由上表可知，本程序无法实现路径覆盖。