本文介绍了白盒测试的基本概念，强调其关注程序内部逻辑结构，通过穷举路径进行测试。遵循包括测试所有独立路径、验证逻辑值、检查数据结构和测试循环边界在内的原则。静态和动态测试是白盒测试的主要方法，静态测试侧重于代码审查，动态测试则通过运行程序找出问题。逻辑覆盖如语句覆盖、判定覆盖、条件覆盖等提供了评估测试完整性的标准。有兴趣的读者可以加入相关社群深入学习。
01.
白盒测试基本概念
白盒测试也称为结构测试或逻辑驱动测试，是针对被测单元内部是如何进行工作的测试。它根据程序的控制结构设计测试用例，主要用于软件或程序验证。白盒测试法检查程序内部逻辑结构，对所有的逻辑路径进行测试，是一种穷举路径的测试方法，但即使每条路径都测试过了，但仍然有可能存在错误。因为：穷举路径测试无法检查出程序本身是否违反了设计规范，即程序是否是一个错误的程序；穷举路径测试不可能检查出程序因为遗漏路径而出错；穷举路径测试发现不了一些与数据相关的错误。
02.
白盒测试需要遵循的原则
①保证一个模块中的所有独立路径至少被测试一次；
②所有逻辑值均需要测试真（true）和假（false），两种情况；
③检查程序的内部数据结构，保证其结构的有效性；
④在上下边界及可操作范围内运行所有循环。
03.
常用白盒测试方法
静态测试：不用运行程序的测试，包括代码检查、静态结构分析、代码质量度量、文档测试等等，它可以由人工进行，充分发挥人的逻辑思维优势，也可以借助软件工具（Fxcop）自动进行。
动态测试：需要执行代码，通过运行程序找到问题，包括功能确认与接口测试、覆盖率分析、性能分析、内存分析等。
04.
白盒测试中的逻辑覆盖
①语句覆盖：语句覆盖每条语句至少执行一次；
②判定覆盖：判定覆盖每个判定的每个分支至少执行一次；
最低0.47元/天 解锁文章
扫一扫
1117
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
