条件覆盖条件组合覆盖路径覆盖语句覆盖StatementCoverage设计.PPT

* * * * * 白盒测试基本概念 1 逻辑覆盖 2 基本路径测试 3 循环测试 4 面向对象的白盒测试 5 其他白盒测试方法简介 6 主要内容 第四章 白盒测试方法 基本路径测试 又称独立路径测试，是指在程序控制流图的基础上，分析控制构造的环路复杂性，导出独立可执行路径集合，设计测试用例的方法。 设计出的测试用例要保证在测试中，程序的每一个独立可执行路径至少要执行一次。循环体最多只执行一次。 path1：1 – 11 path2：1 - 2 - 3 - 4 - 5 - 10 - 1 – 11 path3：1 - 2 - 3 - 6 - 8 - 9 - 10 - 1 – 11 path4：1 - 2 - 3 - 6 - 7 - 9 - 10 - 1 - 11 基本路径集 导出程序流程图的拓扑结构—流图（控制流程图） 计算流图的环路复杂性 确定只包含独立路径的基本路径集 设计测试用例 基本（独立）路径测试步骤 int test2( int x, int y ) { ???????int k = 0;???????if (x 0) ??????{ ???????????if ( y == 0 )??????????????? k = x + 100; ???????????else ????????? { ????????