第10章 软件工程基础.ppt

佳木斯大学 第10章 软件工程基础 content content content content content content content content content content content content content content content content content content content content content content content content content content content content content content content content content content content content content content content content content content content content content content content content content content content content content content content content content content content content content content content content content content content content content content content content content content content content content content content content content content content content content content content content content content content content content content content content content content content content 谢 谢 ! 10.4 软件测试 软件测试技术与方法综述 (acd) 【(A=3，B=0，X=1)，(输出略)】 (abd) 【(A=1，B=O，X=1)，(输出略)】 (abe) 【(A=2，B=1，X=1)，(输出略)】 (ace) 【(A=2，B=0，X=3)，(输出略)】 通过路径 测试用例 通过路径 测试用例 表10.2 一组测试用例 10.4 软件测试 软件测试技术与方法综述 ③判定覆盖。 比语句覆盖稍强的覆盖标准是判定覆盖（Decision Coverage）。判定覆盖的含义是：设计足够的测试用例，使得 程序中的每个判定至少都获得一次“真值”或“假值”，或者说使得 程序中的每一个取“真”分支和取“假”分支至少经历一次，因此判 定覆盖又称为分支覆盖。 根据判定覆盖的要求，对如图10.26所示的程序，如果其中 包含条件i≥j的判断为真值(即为“T”)和为假值(即为“F”)的程序 执行路径至少经历一次，仍然可以使用例10.1的测试用例1和测 试用例2。 10.4 软件测试 软件测试技术与方法综述 ④条件覆盖。 在设计程序中，一个判定语句是由多个条件组合而成的复 合判定。为了更彻底地实现逻辑覆盖，可以采用条件覆盖 （Condition Coverage）的标准。条件覆盖的含义是：构造一 组测试用例，使得每一判定语句中每个逻辑条件的可能值至少 满足一次。 例10.3 设有程序流程图表示的程序如图10.26。 按照条件覆盖的测试要求，对图10.26的程序判断框中的条 件i≥j和条件j5设计如下测试用侧1和测试用例2，就能保证该 条件取真值和取假值的情况至少执行一次。 10.4 软件测试 软件测试技术与方法综述 图10.26 程序流程图 10.4 软件测试 软件测试技术与方法综述 ⑤判断-条件覆盖。 设计足够的测试用例，使判断中每个条件的所有可能取 值至少执行一次，同时每个判断的所有可能取值分支至少执 行一次。 例10.4 设有程序流程图表示的程序如图10.27。 按照判断一条件覆盖的测试要求，对图10.27程序的两个 判断框的每个取值分支至少经历一次，同时两个判断框中的 三个条件的所有可能取值至少执行一次，设计如下测试用例 1、测试用例2和测试用例3，就能保证满足判断-条件覆盖。 10.4 软件测试 软件测试技术与方法综述 图10.27 程序流程图 10.4 软件测试 软件测试技术与方法综述 (2)基本路径测试 基本路径测试法是在程序控制流图的基础上，通过分析 控制构造的环路复杂性，导出基本可执行路径集