文档介绍：1软件测试技术基础 Part Ⅱ软件测试方法华中科技大学软件学院 2第4章白盒测试技术?本章重点?逻辑覆盖?基路径测试?基于数据流的测试?静态白盒测试华中科技大学软件学院概述?控制流分析技术?控制流分析主要关注程序中的条件判定节点和循环,关注由此而导致程序的不同走向以及不同的执行路径。华中科技大学软件学院概述?控制流分析技术?线性结构?基本的条件判断?多分支的条件判断? While-do 循环? Do-while 循环华中科技大学软件学院概述?控制流分析考察的角度?条件判定本身的复杂度?条件判定节点与循环节点对执行路径产生的影响?循环本身的复杂度华中科技大学软件学院概述?数据流分析?主要关注单个变量,特别关注变量接受赋值的点和使用这些数值的点。?主要用于代码的优化。华中科技大学软件学院概述?静态白盒测试?不需要设计和执行测试用例,它主要是通过小组评审讨论的方式来进行。?优点?直接定位缺陷?缺陷预防华中科技大学软件学院逻辑覆盖?关注点?条件判定表达式本身的复杂度,通过对程序逻辑结构的遍历来实现程序的覆盖。?遵循的基本测试原则?对程序代码中所有的逻辑值均需要测试真值( True )和假值( False )的情况。华中科技大学软件学院逻辑覆盖?覆盖指标?语句覆盖( Statement Coverage, SC ) ?判定覆盖( Decision Coverage, DC ) ?条件覆盖( Condition Coverage, CC ) ?判定/条件覆盖( Decision/Condition Coverage, ) ?修正的判定/条件覆盖( Modified Decision/Condition Coverage, ) ?条件组合覆盖( bination Coverage , CCC ) 华中科技大学软件学院 10 逻辑覆盖?案例代码华中科技大学软件学院