白盒测试,也称为结构化测试、基于代码的测试,是一种测试用例设计方法,已知产品的内部工作过程,通过测试证明每种内部操作是否符合设计规格要求。
它基于程序的控制结构;是基于-一个应用代码的内部逻辑知识;基于覆盖全部代码、分支、路径、条件,导出测试用例。
白盒测试产生的测试用例检查点:
保证一个 模块中的所有独立路径至少被使用一-次;
对所有逻辑值均需测试true 和false ;
在上下边界及可操作范围内运行所有循环;
检查内部数据结构以确保其有效性。
逻辑细节测试的原因:
逻辑错误和不正确假设与一条程序路径被运行的可能性成反比。当我们设计和实现主流之外的功能、条件或控制时,错误往往开始出现在我们工作中。日常处理往往被很好地了解,而“特殊情况“的处理则难于发现。
我们经常相信某逻辑路径不可能被执行,而事实上,它可能在正常的基础上被执行。程序的逻辑流有时是违反直觉的,这意味着我们关于控制流和数据流的一-些无意识的假设可能导致设计错误,只有路径测试才能发现这些错误。
笔误是随机的。当一个程序被翻译为程序设计语言源代码时,有可能产生某些笔误,很多将被语法检查机制发现,但是,其他的会在测试开始时才会被发现。笔误出现在主流上和不明显的逻辑路径上的几率是一样的。
1逻辑覆盖
语句覆盖、判断覆盖、条件覆盖
2语句覆盖
语句覆盖就是设计若干个测试用例,运行被测程序,使得每一-条可执行语句至少执行次。
3判断覆盖
判定覆盖就是设计若千个测试用例,运行被测程序,使得程序中每个