软件测试基础知识 —— 白盒测试-程序员宅基地

技术标签： 经验分享  自动化测试  白盒测试  软件测试  测试工程师  

白盒测试

白盒测试（White Box Testing）又称结构测试、透明盒测试、逻辑驱动测试或基于代码的测试。白盒测试只测试软件产品的内部结构和处理过程，而不测试软件产品的功能，用于纠正软件系统在描述、表示和规格上的错误，是进一步测试的前提。

白盒测试遵循的四大原则:

  1. 保证一个模块中所有路径至少被测试一次；
  2. 所有逻辑值都要测试真(true)和假(false)两种情况
  3. 检查程序的内部数据结构是否有效；
  4. 检查上、下边界及可操作范围内运行所有循环

静态白盒测试

白盒测试分静态和动态两种,静态测试是指不运行程序，通过人工对程序和文档进行分析与检查。下面是静态白盒测试检查的故障模式。

  1. 内存泄漏的故障（Memory Leak Fault， MLF）
  2. 数组越界故障的故障（Out of Bounds Array Access Fault OBAF）
  3. 使用未初始化变量故障（Uninitialized Variable Fault，UVF）
  4. 空指针使用故障（NULL Pointer Dereference Fault NPDF）
  5. 非法计算类故障（Illegal Computing Fault ILCF）
  6. 死循环结构(Dead Loop Fault DLF)
  7. 资源泄漏（RLF）
  8. 并发故障 （Concurrency Fault）
  9. 安全漏洞故障
  10. 疑问代码故障

简单来说，静态白盒测试就是看代码找bug

动态白盒测试

白盒测试分静态和动态两种，动态测试是指通过运行被测程序，检查运行结果与预期结果的差异，并分析运行效率和健壮性等性能。

动态白盒测试流程：

  1. 选取定义域有效值，或定义域外无效值；（等价类划分思想）
  2. 已选取值决定预期的结果；
  3. 用选取值执行程序；
  4. 执行结果与对已选取值决定预期的结果对比，不吻合程序有错

逻辑覆盖测试

为了满足白盒测试的四大原则，需要使用逻辑覆盖测试法来设计测试用例。逻辑覆盖测试是以程序内部的逻辑结构为基础设计测试用例的方法，首先需要就行代码的结构分析，绘制流程图。

代码如图所示：

对应结构图如下：

注意：圆圈中的数字代表代码的行数

之后进行逻辑覆盖，由于覆盖测试的目标不同，逻辑覆盖又可分为：语句覆盖、判定覆盖、条件覆盖、判定/条件覆盖、条件组合覆盖和路径覆盖。

覆盖方法 介绍
语句覆盖 选择足够多的测试用例，使得程序中的每个可执行语句至少执行一次。
判定覆盖 通过执行足够的测试用例，使得程序中的每个判定至少都获得一次“真”值和“假”值， 也就是使程序中的每个取“真”分支和取“假”分支至少均经历一次，也称为“分支覆盖”。
条件覆盖 设计足够多的测试用例，使得程序中每个判定包含的每个条件的可能取值（真/假）都至少满足一次。
判定/条件覆盖 设计足够多的测试用例，使得程序中每个判定包含的每个条件的所有情况（真/假）至少出现一次，并且每个判定本身的判定结果（真/假）也至少出现一次。满足判定/条件覆盖的测试用例一定同时满足判定覆盖和条件覆盖
条件组合覆盖 通过执行足够的测试用例，使得程序中每个判定的所有可能的条件取值组合都至少出现一次。满足组合覆盖的测试用例一定满足判定覆盖、条件覆盖和判定/条件覆盖
路径覆盖 设计足够多的测试用例，要求覆盖程序中所有可能的路径

从表中的介绍可知，从上到下，该方法覆盖的路径越多。其他方法覆盖的路径不全面，那为什么不直接使用路径覆盖？这是由于如果程序中出现了多个判断和多个循环，可能的路径数目将会急剧增长，以至实现路径覆盖不可能。

为了解决上面的问题，出现了基本路径覆盖，它在程序控制流图的基础上，通过分析程序控制流图的环路复杂性，导出基本可执行路径(独立路径)的集合，然后据此设计测试用例。

各个覆盖方法的优缺点：

在实际测试中，即使对于路径数很有限的程序已经做到路径覆盖，仍然不能保证被测试程序的正确性，还需要采用其他测试方法进行补充。

数据流测试

数据流测试分析常常集中于定义/引用异常的缺陷，用于如下三方面测试。

  1. 变量被定义，但是从来没有使用(引用)
  2. 所使用的变量没有被定义
  3. 变量在使用之前被定义两次

早期的数据流测试主要用于检测程序编写时出现的一些警告信息，如“所定义的变量未被使用等”问题，这些问题光靠简单的语法分析器或者是语义分析器是无法检测出来的。

程序插桩

在程序的特定部位插入记录动态特性的语句，最终是为了把程序执行过程中发生的一些重要的历史事件记录下来。例如，记录在程序执行过程中某些变量值的变化情况，变化的范围等。这些插入的语句常常被称为“探测器”或者“探测点”。

总结

  • 白盒测试方法基于被测程序的源代码开发测试用例。常见的白盒测试方法有逻辑覆盖、数据流测试、路径分析以及程序插装等。
  • 逻辑覆盖以程序内部的逻辑结构为基础设计测试用例，要求对被测程序的结构作到一定程度的覆盖，如语句覆盖、判定覆盖、条件覆盖、判定/条件覆盖、条件组合覆盖及路径覆盖。路径覆盖是最强的逻辑覆盖准则，实际上我们只能有选择地测试程序中某些有代表的性路径。

如果文章对你有帮助，记得点赞，收藏，加关注。会不定期分享一些干货哦......

END配套学习资源分享

最后： 为了回馈铁杆粉丝们，我给大家整理了完整的软件测试视频学习教程，朋友们如果需要可以自行免费领取 【保证100%免费】

加入我的软件测试交流qq群：110685036免费获取~（同行大佬一起学术交流，每晚都有大佬直播分享技术知识点）

软件测试面试文档

我们学习必然是为了找到高薪的工作，下面这些面试题是来自阿里、腾讯、字节等一线互联网大厂最新的面试资料，并且有字节大佬给出了权威的解答，刷完这一套面试资料相信大家都能找到满意的工作。

在这里插入图片描述

全套资料获取方式：
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/m0_58026506/article/details/131187600

智能推荐

MAC下配置SSH免密登录及相关报错_mac ssh-rsa-程序员宅基地

文章浏览阅读418次。MAC下配置SSH免密登录及相关报错_mac ssh-rsa

excel统计分析——S-N-K法多重比较_snk检验 excel-程序员宅基地

文章浏览阅读779次，点赞22次，收藏8次。S-N-K法全称Newman-Keuls或Student-Newman-Keuls法，又称复极差检验法或q检验法。最小显著极差的计算与Tukey法相同，只是将第一自由度换成了秩次距m，即计算。是指当平均数由大到小排序后，相比较的两个平均数之间（含这两个平均数）包含的平均数个数。1、利用数据分析工具获取方差分析结果：步骤参照。其中，m为秩次距，df为误差项自由度，2.1计算需要用到的最小显著极差LSR。2、利用公式进行多重比较。2.2平均数间的多重比较。参考资料：生物统计学。_snk检验 excel

产品入库的PV操作-程序员宅基地

文章浏览阅读3k次，点赞4次，收藏19次。在一个仓库中可以存放A和B两种产品，要求： 1）每次只能存入一种–互斥访问 2）A产品数量 - B产品数量 < M 3）B产品数量 - A产品数量 < N其中，M,N是正整数，使用PV操作描述A和B的入库过程。semaphore mutex = 1;int countA = 0,countB = 0;PA:while(1){ if(countA - countB < M -

dicom格式是什么(Dicom文件是什么)-程序员宅基地

文章浏览阅读320次。关于Dicom和Dicom RT的相关资料DICOM介绍DICOM即数字影像和通信标准。在医学影像信息学的发展和PACS的研究过程中，由于医疗设备生产厂商的不同，造成与各种设备有关的医学图像存储格式、传输方式千差万别，使得医学影像及其相关信息在不同系统、不同应用之间的交换受到严重阻碍。为此，美国放射学会(ACR)和..._dicom格式是什么

python tkinter（二） 下拉框（combobox）组件的属性说明及示例_tkinter下拉框-程序员宅基地

文章浏览阅读5.1w次，点赞63次，收藏264次。Python tkinter 下拉框(combobox)组件用于tkinter GUI里添加下拉框，下拉框可以添加文本和设置默认选项。当选中下拉框时，可以返回指定的值，通过不同的值，执行不同的函数。使用语法：self.drop_down_box = ttk.Combobox(master)master：按钮控件的父容器参数说明：value 插入下拉选项 .curren..._tkinter下拉框

android手机病毒原理,安卓手机病毒的原理是什么-程序员宅基地

文章浏览阅读1.8k次。安卓手机病毒的原理是什么Android系统因其开源性而受到了众多手机厂商和用户的倾爱，因为开源，所以降低了手机厂商的使用成本，也能让更多的开发者加入Android应用 的开发行列。下面是jy135小编收集整理的安卓手机病毒的原理是什么，欢迎阅读。病毒”原理Android系统因其开源性而受到了众多手机厂商和用户的倾爱，因为开源，所以降低了手机厂商的使用成本，也能让更多的开发者加入Android应用 ...

随便推点

HDU 2108 Shape of HDU-程序员宅基地

文章浏览阅读541次。Shape of HDUTime Limit: 3000/1000 MS (Java/Others) Memory Limit: 32768/32768 K (Java/Others)Total Submission(s): 7061 Accepted Submission(s): 3200Problem Description话说上回讲到海东集团推选老总的_hdu 2108 shape of hdu

浅谈现代建筑照明中的智能照明控制系统-程序员宅基地

文章浏览阅读133次。但是，智能照明在我国一直没有引起足够的重视，大部分建筑物采用的照明依然是传统的照明控制方式，因此，本文就智能照明系统在现代建筑中的应用进行分析， 继而使人们认识智能照明系统的优点，为其发展提供一些推动作用。智能化已经成为全球建筑发展的主流技术，其涵盖多个方面。在现代建筑中， 智能照明系统的设备不但多而且比较分散，待实现的控制功能较多，因而如何构建经济 合理、实用的智能照明系统，如何确定智能照明系统在现代建筑照明中的控制策略 是亟待解决的问题,只有把这些问题解决了，智能照明系统才能够在现代建筑中广泛的应用。

CMake buildsystem_install_interface-程序员宅基地

文章浏览阅读683次。基于CMake的构建系统（buildsystem），其组织形式是一组高级逻辑目标（high-level logical targets）。每个目标（target）对应于一个可执行文件或库，或者一个包含自定义命令的自定义目标。构建系统说明了目标之间的依赖关系，从而确定构建顺序和响应更改时的重生成规则。_install_interface

Nginx网络服务-程序员宅基地

文章浏览阅读788次，点赞9次，收藏28次。先使用命令/usr/local/nginx/sbin/nginx -V 查看已安装的 Nginx 是否包HTTP_STUB_STATUS 模块，cat /opt/nginx-1.12.0/auto/options | grep YES #查看nginx已安装的所有模块。在Linux平台.上，在进行高并发TCP连接处理时，最高的并发数量都要受到系统对用户单一进程同时可打开文件数量的限制(这是因为系统为每个TCP连接都要创建一个socket句柄，每个socket句柄同时也是一个文件句柄)。

数据流图——从软考真题中学画数据流图DFD_招聘考试成绩管理数据流程图-程序员宅基地

文章浏览阅读2.7w次，点赞211次，收藏852次。某高校欲开发一个成绩管理系统，记录并管理所有选修课程的学生的平时成绩和考试成绩，其主要功能描述如下：　　1. 每门课程都有3到6个单元构成，每个单元结束后会进行一次测试，其成绩作为这门课程的平时成绩。课程结束后进行期末考试，其成绩作为这门课程的考试成绩。　　2. 学生的平时成绩和考试成绩均由每门课程的主讲教师上传给成绩管理系统。　　3. 在记录学生成绩之前，系统需要验证这些成绩是否有效。首先..._招聘考试成绩管理数据流程图

oracle 除法 余数,oracle基本操作符/运算符/操作语言..-程序员宅基地

文章浏览阅读1.9k次。算术操作符：无论是在sqlserver，或者是java中，每种语言它都有算术操作符，大同小异。Oracle中算术操作符(+)(-)(*)(/)值得注意的是：/在oracle中就相当于显示中的除法5/2= 2.5比较操作符：其中等号可以换成其他运算符：(后面为该操作符的单条件查询样例)!=不等于selectempno,ename,jobfromscott.empwherejob!..._oracl除后剩余数

推荐文章

热门文章

相关标签