白盒测试软件技术ppt课件.ppt

软件测试技术——白盒测试;白盒测试（White Box Testing）;;讨论;采用白盒测试方法必须遵循以下几条原则;白盒测试的其它称呼;本次课程的主要内容;从一个比喻开始;;白盒测试是高效测试 ;白盒测试是高效测试 ;白盒测试能彻底解决编码阶段引入的问题 ;不同阶段的测试发现问题的特点各不相同 ;V模型中软件开发过程与测试行为的对应关系 ;本次课程的主要内容;静态白盒测试;;静态白盒测试-审查;静态白盒测试;静态白盒测试;静态白盒测试;静态白盒测试;静态白盒测试-通用代码审查清单;静态白盒测试-数据引用错误;静态白盒测试-数据声明错误;静态白盒测试-计算错误;静态白盒测试-比较错误;静态白盒测试-控制流程错误;静态白盒测试-子程序参数错误;静态白盒测试-输入/输出错误;静态白盒测试-同行审查;静态白盒测试的小结;本次课程的主要内容;一些相关概念;下面以例子进行分析讲解 ;画出上面函数的流程图如下：;语句覆盖;分支覆盖;条件覆盖;则可以设计测试用例如下 ; 但是如果设计了下面的测试用例，则虽然满足了条件覆盖，但只覆盖了第一个条件的取假分支和第二个条件的取真分支，不满足分支覆盖的要求。 ;分支条件覆盖; 分支条件覆盖从表面来看，它测试了所有条件的取值，但是实际上某些条件掩盖了另一些条件。 例如对于条件表达式(x3)(z10)来说，必须两个条件都满足才能确定表达式为真。如