文档介绍：测试用例
测试用例由测试输入数据以及与之对应的输出结果组成。
测试用例设计的好坏直接决定了测试的效果和结果。所以说在软件测试活动中最关键的步骤就是设计有效的测试用例。
测试用例可以针对黑盒测试设计用例,也可以针对白盒测试设计用例,我们今天开始讲针对白盒测试的用例设计方法。
白盒测试方法
为什么要进行白盒测试?
如果所有软件错误的根源都可以追溯到某个唯一原因,那么问题就简单了。然而,事实上一个bug 常常是由多个因素共同导致的,如下图所示。
假设此时开发工作已结束,程序送交到测试组,没有人知道代码中有一个潜在的被 0 除的错误。若测试组采用的测试用例的执行路径没有同时经过x=0和y=5/x进行测试,显然测试工作似乎非常完善,测试用例覆盖了所有执行语句,也没有被 0 除的错误发生。
白盒测试方法(续)
程序结构分析;
逻辑覆盖;
基本路径测试;
白盒测试根据程序的控制结构设计导出测试用例,主要用于软件程序的验证。
需要全面了解程序内部的逻辑结构,对所有逻辑路径进行测试,是一种穷举路径的测试方法。
穷举路径仍然存在遗憾
穷举路径测试法无法检查出程序本身是否违反了设计规范,即程序是否是一个错误的程序;
穷举路径测试不可能查出程序因为遗漏路径而出错;
穷举路径测试发现不了一些与数据相关的错误;
白盒测试原则
保证一个模块中的所有独立路径至少被测试一次;
所有逻辑值均需测试真(True)和假(False)两种情况;
检查程序的内部数据结构,保证其结构的有效性;
在取值上、下边界,即可操作范围内运行所有循环.
白盒测试方法(续)
白盒测试主要是检查程序的内部结构、逻辑、循环和路径。常用测试用例设计方法有:
逻辑覆盖法(逻辑驱动测试)
基本路径测试方法
覆盖测试
主要是测试覆盖率,以程序内在逻辑结构为基础的测试。包括以下6种类型:
语句覆盖
判定覆盖
条件覆盖
判定-条件覆盖
条件组合覆盖
修正-判定条件覆盖
逻辑覆盖法
int function1(int a,int b,int c)
{
int x;
x=0;
if(a&&(b||c))
x=1;
return x;
}
1、语句覆盖(Statement Coverage)
原理:如果语句中有错误,仅靠观察不执行可能发现不了
在测试时,首先设计若干个测试用例,然后运行被测程序,使程序中的每个可执行语句至少执行一次
若干个-> 尽量少
语句覆盖、程序段覆盖、程序块覆盖