白盒测试方法详解
白盒测试的测试方法有代码检查法、静态结构分析法、静态质量度量法、逻辑覆盖法、基本路径测试法、域测试、符号测试、路径覆盖和程序变异。
白盒测试法的覆盖标准有逻辑覆盖、循环覆盖和基本路径测试。其中逻辑覆盖包括语句覆盖、判定覆盖、条件覆盖、判定/条件覆盖、条件组合覆盖和路径覆盖。六种覆盖标准发现错误的能力呈由弱到强的变化：
1.语句覆盖每条语句至少执行一次。
2.判定覆盖每个判定的每个分支至少执行一次。
3.条件覆盖每个判定的每个条件应取到各种可能的值。
4.判定/条件覆盖同时满足判定覆盖条件覆盖。
5.条件组合覆盖每个判定中各条件的每一种组合至少出现一次。
6.路径覆盖使程序中每一条可能的路径至少执行一次。
白盒测试的工具方法
1.图形矩阵：是在基本路径测试中起辅助作用的软件工具，利用它可以实现自动地确定一个基本路径集。
2.程序的控制流图：描述程序控制流的一种图示方法。
3.圆圈称为控制流图的一个结点，表示一个或多个无分支的语句或源程序语句。
流图只有二种图形符号：
1.图中的每一个圆称为流图的结点，代表一条或多条语句。
2.流图中的箭头称为边或连接，代表控制流，任何过程设计都要被翻译成控制流图。
在将程序流程图简化成控制流图时，应注意：
1.在选择或多分支结构中，分支的汇聚处应有一个汇聚结点。
2.边和结点圈定的区域叫做区域，当对区域计数时，图形外的区域也应记为一个区域。
