文档介绍：白盒测试用例设计技术
内容提要
静态白盒法
逻辑覆盖法
基本路径法
白盒测试的其他方法
白盒测试概念
白盒测试也称结构测试或逻辑驱动测试,通过了解软件系统的内部工作过程,设计测试用例来检测程序内部动作是否按照规格说明书规定的正常进行,按照程序内部的结构测试程序,检验程序中的每条通路是否都有能按预定要求正确工作。
白盒测试旨在使测试充分地覆盖软件系统的内部结构,并以软件结构中的某些元素是否都已得到测试为准则来判断测试的充分性。
白盒测试概念(续)
白盒测试法检查程序内部逻辑结构,对所有逻辑路径进行测试,是一种穷举路径的测试方法。但即使每条路径都测试过了,仍然可能存在错误。因为:
穷举路径测试无法检查出程序本身是否违反了设计规范,即程序是否是一个错误的程序。
穷举路径测试不可能查出程序因为遗漏路径而出错。
穷举路径测试发现不了一些与数据相关的错误。
白盒测试方法(续)
采用白盒测试方法必须遵循以下几条原则,才能达到测试的目的:
保证一个模块中的所有独立路径至少被测试一次。
所有逻辑值均需测试真(true) 和假(false) 两种情况。
检查程序的内部数据结构,保证其结构的有效性。
在上下边界及可操作范围内运行所有循环。
白盒测试主要是检查程序的内部结构、逻辑、循环和路径。常用测试用例设计方法有:
逻辑覆盖法(逻辑驱动测试)
基本路径测试方法
静态白盒法
静态白盒测试是在不执行的条件下有条理地仔细审查软件设计、体系结构和代码,从而找出软件缺陷的过程。
好处:
尽早发现软件缺陷。
为黑盒测试员提供思路。
静态白盒测试法分类
静态白盒测试法一般根据审查的严格程度分为三种:
同行评审
走查
评审
同行评审
也称为伙伴审查,这种方法大体类似于“如果你给我看你的,我也给你看我的”类型的讨论。同行评审常常仅在编写代码或设计体系结构的程序员,以及充当审查者的其他一两个程序员和测试员之间进行。
走查(Walk Through)
定义:采用讲解、讨论和模拟运行的方式进行的查找错误的活动。
注意:
引导小组成员在走查前通读设计和编码。
限时,避免跑题。
发现问题适当记录,避免现场修改。
检查要点是代码是否符合标准和规范,是否有逻辑错误。