软件测试考核思路和方法,实现完整测试的思路和方法

这里提出用“三步法”尽可能实现完整测试：

第一步：基本功能测试

程序的功能是人为的规定，工具不可能自动了解，因此，针对基本功能的测试用例需要人工来建立，这是无可躲避的。根据程序的设计要求，基本功能用例通常不难设计，把程序功能细化、明确化，列成“什么输入，应产生什么输出”的形式，就是测试用例。程序员准备编码时和编码过程中，是建立基本功能用例的最佳时机，为什么呢？因为程序员编码之前和编码过程中，一定要弄明白程序的功能，也就是要想清楚“会有哪些输入？某种输入时程序应该做什么？产生什么结果？”，这里，“哪些输入”就是指有哪些等价类，产生的“结果”就是输出，从编码的角度来看，这些就是程序的功能点，从测试的角度来看，这些就是现成的用例。如果有详细设计文档，那么测试人员可以根据文档来设计用例，否则最好由程序员建立基本功能用例。这一步可视为“黑盒方法”。

第二步：用白盒方法找出遗漏用例

正因为程序功能是人为的规定，“黑盒方法”很难衡量完整性，而“白盒方法”恰恰具有易于衡量测试完整性的优点，两者可以很好互补，请看下面的示例代码：

voidFunc(int* p)

{

if(p)

{

*p = 0;

}

else

{

return;

}

}

参数p是一个指针，测试时当然要将空指针作为一个等价类，如果漏了这个等价类，会怎么样呢？分支覆盖会不完整：else分支未覆盖。从这个例子可以看出，未覆盖的逻辑单位通常对应未测试的等价类，因此，白盒覆盖可以衡量等价类是否完整并可帮助找出遗漏的用例。

“白盒方法”用逻辑覆盖率来衡量测试的完整性。逻辑单位主要有：语句、分支、条件、条件值、条件值组合，路径。语句覆盖就是覆盖所有的语句，其他类推。还有一种判定条件覆盖，其实是分支覆盖与条件覆盖的组合。跟条件有关的覆盖就有三种：条件覆盖是指覆盖所有的条件表达式，即所有的条件表达式都至少计算一次，不考虑计算结果；条件值覆盖是指覆盖条件的所有可能取值，即每个条件的取真值和取假值都要至少计算一次；条件值组合覆盖是指覆盖所有条件取值的所有可能组合。与条件直接有关的错误主要是逻辑操作符错误，例如：||写成&&，漏了写！什么的，采用分支覆盖与条件覆盖的组合，基本上可以发现这些错误，另一方面，条件值覆盖与条件值组合覆盖往往需要大量的测试用例，因此，这两种覆盖的效费比偏低。基于以上理由，这里提出采用语句、条件、分支、路径覆盖的组合来衡量测试完整性和找出遗漏用例。

21/212>