实验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) {
第 5 章白盒与黑盒测试的测试用例设计 5.1 覆盖率的概念 覆盖率是用来度量测试完整性的一个手段逻辑覆盖和功能覆盖 覆盖率=（至少被执行一次的item 数）/item 总数 5.2 白盒测试的测试用例设计 5.2.1 逻辑覆盖逻辑覆盖是以程序内部的逻辑结构为基础的测试用例设计技术，属白盒测试。为了衡量测试的覆盖程度，需要建立一些作为测试彻底度的定量衡量标准。目前常用的覆盖标准是：语句覆盖；判定覆盖；条件覆盖；判定/ 条件覆盖；条件组合覆盖;路径覆盖 一、语句覆盖语句覆盖就是设计若干个测试用例，运行所测的程序，使得每一可执行语句至少执行一次。 二、判定覆盖判定覆盖就是设计若干个测试用例，使程序中的每个判断至少出现一次“真值”和一次“假值”，即程序中的每个分支都至少执行一次。 三、条件覆盖条件覆盖是指利用若干个测试用例，使被测试的程序中，对应每个判断中每个条件的所有可能情况均至少执行一次。 四、判定/ 条件覆盖 判定/ 条件覆盖就是设计足够多的测试用例，使得程序中每个判断条件的所有可能的结果至少取到一次，又使每次判断的每个分支至少通过一次。 五、条件组合覆盖 解决上述问题的新标准是条件组合覆盖。条件组合覆盖就是设计足够多的测试用例，使得每个判断的所有可能的条件取值组合至少执行一次。 六、逻辑覆盖举例 [例1]试用逻辑覆盖测试法为采用冒泡排序（bubble sorting ）法进行数据排序的C 程序设
计测试用例。 本例是一个对k 个整数进行升序排序的C 程序，采用的算法是冒泡排序。基 本步骤是： （1）从数组中取出第2 个元素； （2）如果新取出的元素大于等于其前邻元素，则转向第（4）步； （3）如果新取出的元素小于其前邻元素，则与其前邻元素交换位置； （4）将新元素与新的前邻元素比较，若仍小于新的前邻元素，则重复第（3）步； （5）取下一个元素。如果数组中元素已取完则结束排序，否则转向第（2）步。 下面将给出本例的C程序。图2则是排序部分的流程图。 main（） { int a[11],i,j,k,temp; scanf（“%d”,k）; printf（“input numbers: n”）; for（i=1;i<=k;i++） scanf（“ %d”,&a[i]）;
河北民族师范学院 软件测试课程设计报告 题目：NextDate函数 姓名： 班级： 学号： 指导老师： 2014.10.9 目录 第1章软件测试的概念和设计要求 (3) 1.1 测试目的 (3) 1.2 测试选题 (4) 1.3测试人员 (4) 1.4测试方法 (4) 1.5 测试资料及参考书 (4) 1.6关于黑盒测试 (4) 1.7 关于白盒测试 (5) 1.8、黑盒测试与白盒测试的比较 (6) 1.9 软件测试过程 (6) 1.10数据整理 (7) 第2章NextDate函数问题 (8) 2.1NextDate函数的黑盒测试 (8) 2.1.1.问题描述： (8) 2.1.2.程序代码（开发环境：Windowsxp xp、java）： (8) 2.1.3.测试方法 (9) 2.1.4.测试用例设计 (9)
2-2NextDate函数的白盒测试 (11) 2.2.1核心程序代码 (11) 2.2.2程序流程图 (12) 2.2.3 测试用例 (12) 2.2.4程序控制流图 (14) 设计心得与体会 (14) 第1章软件测试的概念和设计要求 1.1 测试目的 1.练习和掌握软件测试管理的一般过程与步骤； 2.掌握测试管理的人工过程和能够通过相关管理软件实现以下工作： a)配置软件资产信息、软件需求、软件模型和缺陷数据库； b)创建和管理多个测试组和用户； c)配置测试环境、编写详细测试计划、安排测试进度； d)设计测试脚本、测试用例； e)实施测试、执行测试和评估测试。 1.2 测试选题 NextDate函数； 1.3测试人员 张@@：软件测试计划及相关资料的编写与收集。 李@@：对特定问题编写程序代码，并对其进行黑盒测试。 王@@：对特定问题编写程序代码，并对其进行白盒测试。 1.4测试方法 对于选题，使用黑盒测试技术，测试内容包括等价类划分测试、边界值分析测试、决策表方法使用。 使用白盒测试技术，测试内容包括语句覆盖测试、分支覆盖测试、条件覆盖测试、分支/条件覆盖测试、条件组合覆盖测试及基本路径测试。
黑盒测试、白盒测试和灰盒测试的基本概念 作者：Aken 1. 黑盒测试 黑盒测试也称功能测试或数据驱动测试，它是在已知产品所应具有的功能，通过测试来检测每个功能是否都能正常使用，在测试时，把程序看作一个不能打开的黑盆子，在完全不考虑程序内部结构和内部特性的情况下，测试者在程序接口进行测试，它只检查程序功能是否按照需求规格说明书的规定正常使用，程序是否能适当地接收输入数锯而产生正确的输出信息，并且保持外部信息（如数据库或文件）的完整性。 黑盒测试方法主要有等价类划分、边值分析、因—果图、错误推测等，主要用于软件确认测试。“黑盒”法着眼于程序外部结构、不考虑内部逻辑结构、针对软件界面和软件功能进行测试。“黑盒”法是穷举输入测试，只有把所有可能的输入都作为测试情况使用，才能以这种方法查出程序中所有的错误。实际上测试情况有无穷多个，人们不仅要测试所有合法的输入，而且还要对那些不合法但是可能的输入进行测试。 2. 白盒测试 白盒测试也称结构测试或逻辑驱动测试，它是知道产品内部工作过程，可通过测试来检测产品内部动作是否按照规格说明书的规定正常进行，按照程序内部的结构测试程序，检验程序中的每条通路是否都有能按预定要求正确工作，而不顾它的功能，白盒测试的主要方法有逻辑驱动、基路测试等，主要用于软件验证。 “白盒”法全面了解程序内部逻辑结构、对所有逻辑路径进行测试。“白盒”法是穷举路径测试。在使用这一方案时，测试者必须检查程序的内部结构，从检查程序的逻辑着手，得出测试数据。贯穿程序的独立路径数是天文数字。但即使每条路径都测试了仍然可能有错误。第一，穷举路径测试决不能查出程序违反了设计规范，即程序本身是个错误的程序。第二，穷举路径测试不可能查出程序中因遗漏路径而出错。第三，穷举路径测试可能发现不了一些与数据相关的错误。 3. 灰盒测试 灰盒测试，确实是介于二者之间的，可以这样理解，灰盒测试关注输出对于输入的正确性，同时也关注内部表现，但这种关注不象白盒那样详细、完整，只是通过一些表征性的现象、事件、标志来判断内部的运行状态，有时候输出是正确的，但内部其实已经错误了，这种情况非常多，如果每次都通过白盒测试来操作，效率会很低，因此需要采取这样
实验报告书 实验一白盒测试 学生姓名：李庆忠 专业：计算机科学与技术学号：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可覆盖所有条件组合。 路径覆盖是分析软件过程流的通用工具，有助分离逻辑路径，进行逻辑覆盖的测试，所用的流程图就是讨论软件结构复杂度时所用的流程图。
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;
白盒测试也称结构测试或逻辑驱动测试，它是按照程序内部的结构测试程序，通过测试来检测产品内部动作是否按照设计规格说明书的规定正常进行，检验程序中的每条通路是否都能按预定要求正确工作。 这一方法是把测试对象看作一个打开的盒子，测试人员依据程序内部逻辑结构相关信息，设计或选择测试用例，对程序所有逻辑路径进行测试，通过在不同点检查程序的状态，确定实际的状态是否与预期的状态一致。 采用什么方法对软件进行测试呢？常用的软件测试方法有两大类：静态测试方法和动态测试方法。其中软件的静态测试不要求在计算机上实际执行所测程序，主要以一些人工的模拟技术对软件进行分析和测试；而软件的动态测试是通过输入一组预先按照一定的测试准则构造的实例数据来动态运行程序，而达到发现程序错误的过程。 白盒测试的测试方法有代码检查法、静态结构分析法、静态质量度量法、逻辑覆盖法、基本路径测试法、域测试、符号测试、Z路径覆盖、程序变异。 白盒测试法的覆盖标准有逻辑覆盖、循环覆盖和基本路径测试。其中逻辑覆盖包括语句覆盖、判定覆盖、条件覆盖、判定/条件覆盖、条件组合覆盖和路径覆盖。 六种覆盖标准：语句覆盖、判定覆盖、条件覆盖、判定/条件覆盖、条件组合覆盖和路径覆盖发现错误的能力呈由弱至强的变化。语句覆盖每条语句至少执行一次。判定覆盖每个判定的每个分支至少执行一次。条件覆盖每个判定的每个条件应取到各种可能的值。判定/条件覆盖同时满足判定覆盖条件覆盖。条件组合覆盖每个判定中各条件的每一种组合至少出现一次。路径覆盖使程序中每一条可能的路径至少执行一次。 "白盒"法全面了解程序内部逻辑结构、对所有逻辑路径进行测试。"白盒"法是穷举路径测试。在使用这一方案时，测试者必须检查程序的内部结构，从检查程序的逻辑着手，得出测试数据。贯穿程序的独立路径数是天文数字。但即使每条路径都测试了仍然可能有错误。第一，穷举路径测试决不能查出程序违反了设计规范，即程序本身是个错误的程序。第二，穷举路径测试不可能查出程序中因遗漏路径而出错。第三，穷举路径测试可能发现不了一些与数据相关的错误。 如何挑选白盒测试工具 白盒测试目前主要用在具有高可靠性要求的软件领域，例如：军工软件、航天航空软件、工业控制软件等等。白盒测试工具在选购时应当主要是对开发语言的支持、代码覆盖的深度、嵌入式软件的测试、测试的可视化等。 对开发语言的支持：白盒测试工具是对源代码进行的测试，测试的主要内容包括词法分析与语法分析、静态错误分析、动态检测等。但是对于不同的开发语言，测试工具实现的方式和内容差别是较大的。目前测试工具主要支持的开发语言包括：标准C、C＋＋、Visual C ＋＋、Java、Visual J＋+等。
第5章白盒与黑盒测试的测试用例设计 5.1 覆盖率的概念 ●覆盖率是用来度量测试完整性的一个手段 ●逻辑覆盖和功能覆盖 ●覆盖率=（至少被执行一次的item数）/item总数 5.2 白盒测试的测试用例设计 5.2.1逻辑覆盖 逻辑覆盖是以程序内部的逻辑结构为基础的测试用例设计技术，属白盒测试。为了衡量测试的覆盖程度，需要建立一些作为测试彻底度的定量衡量标准。目前常用的覆盖标准是：语句覆盖；判定覆盖；条件覆盖；判定/条件覆盖；条件组合覆盖;路径覆盖 一、语句覆盖 语句覆盖就是设计若干个测试用例，运行所测的程序，使得每一可执行语句至少执行一次。 二、判定覆盖 判定覆盖就是设计若干个测试用例，使程序中的每个判断至少出现一次“真值”和一次“假值”，即程序中的每个分支都至少执行一次。 三、条件覆盖 条件覆盖是指利用若干个测试用例，使被测试的程序中，对应每个判断中每个条件的所有可能情况均至少执行一次。 四、判定/条件覆盖 判定/条件覆盖就是设计足够多的测试用例，使得程序中每个判断条件的所有可能的结果至少取到一次，又使每次判断的每个分支至少通过一次。 五、条件组合覆盖 解决上述问题的新标准是条件组合覆盖。条件组合覆盖就是设计足够多的测试用例，使得每个判断的所有可能的条件取值组合至少执行一次。 六、逻辑覆盖举例 [例1]试用逻辑覆盖测试法为采用冒泡排序（bubble sorting）法进行数据排序的C程序设计测试用例。 本例是一个对k个整数进行升序排序的C程序，采用的算法是冒泡排序。基本步骤是：（1）从数组中取出第2个元素； （2）如果新取出的元素大于等于其前邻元素，则转向第（4）步； （3）如果新取出的元素小于其前邻元素，则与其前邻元素交换位置； （4）将新元素与新的前邻元素比较，若仍小于新的前邻元素，则重复第（3）步； （5）取下一个元素。如果数组中元素已取完则结束排序，否则转向第（2）步。 下面将给出本例的C程序。图2则是排序部分的流程图。 main() { int a[11],i,j,k,temp; scanf(“%d”,k); printf(“input numbers:\n”); for(i=1;i<=k;i++) scanf(“%d”,&a[i]); printf(“\n”); for(i=2;i<=k;i++) { if(a[i]>=a[i-1]) continue; for(j=i;j<=2;j--)
软件质量保证与测试 实验指导 计算机工程学院
测试环境配置 1.setting Junit (1) start Eclipse Select windows-preferences-java-build path –class path variables (2) click new, the figure of new variable entry is shown. (3) name JUNIT_LIB
select file-选择JUnit 插件所对应的JAR文件所在地，在Eclipse的安装目录的plugins目录中 2.JUNIT的组成框架 其中，junit.framework 和junit.runner是两个核心包。 junit.framework 负责整个测试对象的框架 junit.runner 负责测试驱动 Junit的框架又可分为： A、被测试的对象。 B、对测试目标进行测试的方法与过程集合，可称为测试用例(TestCase)。
C、测试用例的集合，可容纳多个测试用例(TestCase)，将其称作测试包(TestSuite)。 D、测试结果的描述与记录。(TestResult) 。 E、每一个测试方法所发生的与预期不一致状况的描述，称其测试失败元素(TestFailure) F、JUnit Framework中的出错异常（AssertionFailedError）。 JUnit框架是一个典型的Composite模式：TestSuite可以容纳任何派生自Test 的对象；当调用TestSuite对象的run()方法是，会遍历自己容纳的对象，逐个调用它们的run()方法。 3.JUnit中常用的接口和类 Test接口——运行测试和收集测试结果 Test接口使用了Composite设计模式，是单独测试用例（TestCase），聚合测试模式（TestSuite）及测试扩展（TestDecorator）的共同接口。 它的public int countTestCases（）方法，它来统计这次测试有多少个TestCase，另外一个方法就是public void run（TestResult ），TestResult是实例接受测试结果，run方法执行本次测试。 TestCase抽象类——定义测试中固定方法 TestCase是Test接口的抽象实现，（不能被实例化，只能被继承）其构造函数TestCase(string name)根据输入的测试名称name创建一个测试实例。由于每一个TestCase在创建时都要有一个名称，若某测试失败了，便可识别出是哪个测试失败。 TestCase类中包含的setUp()、tearDown()方法。setUp()方法集中初始化测试所需的所有变量和实例，并且在依次调用测试类中的每个测试方法之前再次执行setUp()方法。tearDown()方法则是在每个测试方法之后，释放测试程序方法中引用的变量和实例。 开发人员编写测试用例时，只需继承TestCase，来完成run方法即可，然后JUnit获得测试用例，执行它的run方法，把测试结果记录在TestResult之中。 Assert静态类——一系列断言方法的集合 Assert包含了一组静态的测试方法，用于期望值和实际值比对是否正确，即测试失败，Assert类就会抛出一个AssertionFailedError异常，JUnit测试框架将
广西科技大学计算机学院《软件测试技术》实验报告书 实验一白盒测试 学生姓名：xxxx 学号：xxxx 班级：xxxx 指导老师：xxxxx 专业：计算机学院软件工程 提交日期：2014年10月20日
白盒测试实验报告 一实验内容 1、系统地学习和理解白盒测试的基本概念、原理，掌握白盒测试的基本技术和方法； 2、举例进行白盒测试，使用语句覆盖、判定覆盖、条件覆盖、判定/条件覆盖、组合 覆盖、路径覆盖进行测试。 3、通过试验和应用，要逐步提高和运用白盒测试技术解决实际测试问题的能力； 4、熟悉C++编程环境下编写、调试单元代码的基本操作技术和方法； 5、完成实验并认真书写实验报告（要求给出完整的测试信息，如测试程序、测试用例， 测试报告等） 二实验原理 白盒测试原理：已知产品的内部工作过程，可以通过测试证明每种内部操作是否符合设计规格要求，所有内部成分是否已经过检查。它是把测试对象看作装在一个透明的白盒子里，也就是完全了解程序的结构和处理过程。这种方法按照程序内部的逻辑测试程序，检验程序中的每条通路是否都能按预定要求正确工作。其又称为结构测试。 对于该实验的例子给出其流程图如下图所示，我们来了解白盒测试的基本技术和方法。
语句覆盖是指选择足够的测试用例，使得程序中每个语句至少执行一次。如上例选择测试用例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可覆盖所有条件组合。 路径覆盖是分析软件过程流的通用工具，有助分离逻辑路径，进行逻辑覆盖的测试，所用的流程图就是讨论软件结构复杂度时所用的流程图。 三实验方法
白盒测试 白盒测试，又称结构测试、透明盒测试、逻辑驱动测试或基于代码的测试。白盒测试是一种测试用例设计方法，盒子指的是被测试的软件，白盒指的是盒子是可视的，你清楚盒子部的东西以及里面是如何运作的。"白盒"法全面了解程序部逻辑结构、对所有逻辑路径进行测试。"白盒"法是穷举路径测试。在使用这一方案时，测试者必须检查程序的部结构，从检查程序的逻辑着手，得出测试数据。贯穿程序的独立路径数是天文数字。 采用什么方法对软件进行测试呢？常用的软件测试方法有两大类：静态测试方法和动态测试方法。其中软件的静态测试不要求在计算机上实际执行所测程序，主要以一些人工的模拟技术对软件进行分析和测试；而软件的动态测试是通过输入一组预先按照一定的测试准则构造的实例数据来动态运行程序，而达到发现程序错误的过程。在动态分析技术中,最重要的技术是路径和分支测试。下面要介绍的六种覆盖测试方法属于动态分析方法。 中文名：白盒测试 外文名：white-box testing 别称：结构测试、透明盒测试 白盒测试测试方法 白盒测试的测试方法有代码检查法、静态结构分析法、静态质量度量法、逻辑覆盖法、基本路径测试法、域测试、符号测试、路径覆盖和程序变异。 白盒测试法的覆盖标准有逻辑覆盖、循环覆盖和基本路径测试。其中逻辑覆盖包括语句覆盖、判定覆盖、条件覆盖、判定/条件覆盖、条件组合覆盖和路径覆盖。六种覆盖标准发现错误的能力呈由弱到强的变化： 1.语句覆盖每条语句至少执行一次。 2.判定覆盖每个判定的每个分支至少执行一次。 3.条件覆盖每个判定的每个条件应取到各种可能的值。 4.判定/条件覆盖同时满足判定覆盖条件覆盖。 5.条件组合覆盖每个判定中各条件的每一种组合至少出现一次。 6.路径覆盖使程序中每一条可能的路径至少执行一次。 白盒测试要求
实验一：白盒软件测试 一、实验目的 通过简单程序白盒测试，熟悉测试过程，对软件测试行程初步了解，并养成良好的测试习惯。熟练掌握如何运用基路径测试方法进行测试用例设计,初步熟悉如何利用程序插装技术进行逻辑覆盖率分析。 二、实验内容 背景： 被测测试程序功能：计算被输入日期是星期几； 程序定义：已知公元1年1月1日是星期一，只要输入年月日，能自动回复当天是星期几； 测试环境：Windows vista、Dev C++； 说明：本次测试采用插桩测试法，由于程序简单，手动输入测试用例。 程序说明： A程序思路：计算输入日期与公元1年1月1日所相差的天数，具体如下：总天数=公元1年到输入日期上一年年底天数+输入年份的1月到上月月底天数+输入日期的天数 B闰年满足条件(year%4==0)&&(year%100!=0)||(year%400==0) （1）分析各种输入情况，结合程序输出结果，并给出详细测试用例； （2）根据（1）所划分的等价类，进行边界值分析，并给出具体的测试用例； （3）决策表测试法； ①列出输入变量month、 day、 year的有效等价类；（条件桩） ②分析程序的规格说明，给出问题规定的可能采取操作；(动作桩) ③画出决策表（简化）； ④根据决策表，给出详细测试用例。 代码：(被测部分为while循环内部语句) #include
实验一白盒测试 实验目的 1、掌握白盒测试的基础知识，了解白盒测试又叫结构性测试，是基于 被测程序的源代码的测试方法； 2、掌握白盒测试的主要检查内容、测试目的及实施步骤； 3、掌握白盒测试的3种基本测试方法：逻辑覆盖、路径测试和数据流 测试； 实验要求 1、复习教材的有关内容，掌握白盒测试的3种基本测试方法； 2、掌握一门编程语言，能编写代码并执行程序； 3、对具体程序的源代码，能分别使用3种测试方法设计测试用例，并 实施测试、分析测试结果； 实验设备与器材 a)硬件：P4以上计算机，512M内存以上，2G以上空闲硬盘空间 b)软件：Windows操作系统、java程序设计软件、office系列软件 实验原理 1、白盒测试的目的和检查内容； 2、白盒测试的基本方法； 3、根据白盒测试方法设计测试用例及实施测试。 实验内容 1、使用例子---三角形问题来进行路径测试。 以下是问题陈述：
三角形问题接受三个整数a、b、c作为输入，用做三角形的边。整数a、b、c 必须满足以下条件： C1: 1≤a≤200 C4: a＜b+c C2: 1≤b≤200 C5: b＜a+c C3: 1≤c≤200 C6: c＜a+b 程序的输出是由这三条边确定的三角形类型：等边三角形、等腰三角形、不等边三角形或非三角形。如果输入值没有满足这些条件中的任何一个，则程序会通过输出信息来进行通知，例如，“b的取值不在允许取值的范围内。”如果a、b和c取值满足c1、c2和c3，则给出以下四种相互排斥输出中的一个： 1、如果三角形等边，则程序的输出是等边三角形。JUnit 2、如果恰好有两条边相等，则程序的输出是等腰三角形。 3、如果没有两条边相等，则程序输出的是不等边三角形。 4、如果c4、c5和c6中有一个条件不满足，则程序输出的是非三 角形。 对上述问题进行以下测试工作： 1)对上面的问题陈述，使用自己熟悉的编程语言（java）写出程序； public class test{ public static void main (String arg[]){ Scanner input=new Scanner(System.int); System.out.print("请输入3条边（中间空格隔开）"); double a=input.nextDouble(); double b=input.nextDouble(); double c=input.nextDouble(); int s1=0,s2=0; if(a>0&&b>0&&c>0&&a<200&&b<200&&c<200){ if(a+b>c&&b+c>a&&c+a>b){ if(a==b&&b==c)
白盒测试和黑盒测试优缺点分析 黑盒测试 也称功能测试，它是通过测试来检测每个功能是否都能正常使用。在测试中，把程序看作一个不能打开的黑盒子，在完全不考虑程序内部结构和内部特性的情况下，在程序接口进行测试，它只检查程序功能是否按照需求规格说明书的规定正常使用，程序是否能适当地接收输入数据而产生正确的输出信息。黑盒测试着眼于程序外部结构，不考虑内部逻辑结构，主要针对软件界面和软件功能进行测试。 白盒测试 又称结构测试、透明盒测试、逻辑驱动测试或基于代码的测试。白盒测试是一种测试用例设计方法，盒子指的是被测试的软件，白盒指的是盒子是可视的，你清楚盒子内部的东西以及里面是如何运作的。"白盒"法全面了解程序内部逻辑结构、对所有逻辑路径进行测试。"白盒"法是穷举路径测试。在使用这一方案时，测试者必须检查程序的内部结构，从检查程序的逻辑着手，得出测试数据。贯穿程序的独立路径数是天文数字。 白盒测试和黑盒测试是软件测试的两种基本方法 =========黑盒测试========= 优点： 1) 比较简单，不需要了解程序的内部的代码及实现 2) 与软件的内部实现无关
3) 从用户的角度出发，能很容易的知道用户会用到哪些功能，会遇到哪些问题 4) 基于软件开发文档，所以也能知道软件实现了文档中的哪些功能 5) 在做软件自动化测试时较为方便 缺点： 1) 不可能覆盖所有的代码，覆盖率较低，大概只能达到总代码量的30% 2) 自动化测试的复用性较低。 =========白盒测试========= 优点： 1) 帮助软件测试人员增大代码的覆盖率。提供代码的质量，发现代码中隐藏的问题 缺点： 1) 程序运行会有很多不同的路径，不可能测试所有的运行路径 2) 测试基于代码，只能测试开发人员做的对不对，而不能知道设计是否正确，可能会漏掉一些功能需求。 3) 系统庞大时，测试开销会非常大。
软件测试实验二 一：实验目的 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 执行路径覆盖条件 覆盖分支 be 3，5，5 abe -T1，T2，-T3，T4 4，4，11 abe T1，-T2，T3，-T4 be 4. 5.判定—条件覆盖 覆盖分支x，y，z 执行路径覆盖条件 1 4, 4, 5 ace T1,T2,T3,T4 ce 2 2, 6,11 abd -T1,-T2,-T3,-T4 bd
实验报告 课程名称软件测试题目白盒方法测试 院系信息工程学院 班级计算机 学号 学生姓名 指导老师 日期 2019年
一、实验题目 白盒方法测试 二、实验目的 使学生能够更进一步理解白盒测试方法。 能够区分语句覆盖、判定覆盖、条件覆盖、判定/条件覆盖、组合覆盖及路径覆盖所达到的覆盖层次，并能用各层次覆盖的设计思想设计相应的测试用例。 区分语句覆盖、判定覆盖、条件覆盖的异同，掌握其测试用例设计方法和程序特征； 三、实验环境 Windows系统平台和Dev-C++开发环境。 四、实验内容 某程序的逻辑设计如下图所示，自行分析程序结构，请为该程序设计测试用例使其分别满足：语句覆盖、判定覆盖、条件覆盖、判定/条件覆盖、组合覆盖及路径覆盖，并按照测试用例测试程序，完善测试用例各项内容的填写。 #include 4 五、实验步骤 1.依据程序逻辑结构图分析程序结构，找出程序的各种组合。 2.依据实验要求设计测试用例使测试达到特定覆盖。 3.选择自己熟悉的语言编写程序。 4.用各种测试用例测试程序。 5.1语句覆盖 特点：语句覆盖要求设计足够多的测试用例，运行被测程序，使得程序中每 条语句至少被执行一次。在本例中，可执行语句是指语句块1到语句块4中的语 句。 优点：可以很直观地从流程图得到测试用例，可以测试所有的执行语句。 缺点：语句覆盖不能准确的判断运算中的逻辑关系错误。假设第一个判断语 句if(x>=50 && y>=50)中的“&&”被错误地写成了“||”，即if(x>=50 || y>=50)，使 用上面设计出来的一组测试用例来进行测试，仍然可以达到100%的语句覆盖。 在六种逻辑覆盖标准中，语句覆盖标准最弱的。 答：白盒测试和黑盒测试是根据对软件代码的可见性，采用的测试方法；凡是针对代码本身的测试，都可以看做是白盒测试，凡是不考虑代码如何实现，只对代码能实现的功能进行的测试都可以看作黑盒测试。 black box testing focus on functional requirements,attempts to find following errors: 1.incorrect or missing functions; 2.interfaces errors; 3.errors in data structures or extenal database access; 4.performance errors; 5.initialisation and termination errors white box testing test control structure of a procedural design can derive test cases to ensure: 1.all independent paths are exercised at least once; 2.all logic decisions are exercised both ture and false paths; 3.all loops are executed at their boundaries and within operational bounds; 4.all internal data structure are exercised to ensure validity; 白盒与黑盒测试什么区分? 1、黑盒测试 黑盒测试也称功能测试或数据驱动测试，它是在已知产品所应具有的功能，通过测试来检测每个功能是否都能正常使用，在测试时，把程序看作一个不能打开的黑盆子，在完全不考虑程序内部结构和内部特性的情况下，测试者在程序接口进行测试，它只检查程序功能是否按照需求规格说明书的规定正常使用，程序是否能适当地接收输入数锯而产生正确的输出信息，并且保持外部信息（如数据库或文件）的完整性。黑盒测试方法主要有等价类划分、边值分析、因—果图、错误推测等，主要用于软件确认测试。―黑盒‖法着眼于程序外部结构、不考虑内部逻辑结构、针对软件界面和软件功能进行测试。―黑盒‖法是穷举输入测试，只有把所有可能的输入都作为测试情况使用，才能以这种方法查出程序中所有的错误。实际上测试情况有无穷多个，人们不仅要测试所有合法的输入，而且还要对那些不合法但是可能的输入进行测试。 2、白盒测试 白盒测试也称结构测试或逻辑驱动测试，它是知道产品内部工作过程，可通过测试来检测产品内部动作是否按照规格说明书的规定正常进行，按照程序内部的结构测试程序，检验程序中的每条通路是否都有能按预定要求正确工作，而不顾它的功能，白盒测试的主要方法有逻辑驱动、基路测试等，主要用于软件验证。 ―白盒‖法全面了解程序内部逻辑结构、对所有逻辑路径进行测试。―白盒‖法是穷举路径测试。在使用这一方案时，测试者必须检查程序的内部结构，从检查程序的逻辑着手，得出测试数据。贯穿程序的独立路径数是天文数字。但即使每条路径都测试了仍然可能有错误。第一，穷举路径测试决不能查出程序违反了设计规范，即程序本身是个错误的程序。第二， 三角形判定 (1)题目内容描述 输入三条边，进行三角形的判定。 (2)测试用例的编写 测试用例参照三角形的组成规则编写。根据两边之和大于第三边的规则编写测试用例，并且考虑输入值非法的情况（小于0的数）。 程序代码： #include 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 << "您输入的不能构成三角形"; } } 一：1 2 3 11 预期输出：您输入的不能构成三角形！二：1 2 4 5 11 预期输出：您输入的是等边三角形！三：1 2 4 6 7 11 预期输出：您输入的是等腰三角形！四：1 2 4 6 8 9 11 预期输出：您输入的是直角三角形！五：1 2 4 6 8 10 11预期输出：您输入的是普通三角形 测试实验用例： 一：语句覆盖： 二：条件覆盖：白盒与黑盒测试什么区分
软件测试白盒测试实验报告
相关主题
文本预览