软件测试–白盒测试.pptVIP

根据查询条件从数据库中提取所需信息的技术。数据库是由 根据查询条件从数据库中提取所需信息的技术。数据库是由 根据查询条件从数据库中提取所需信息的技术。数据库是由 根据查询条件从数据库中提取所需信息的技术。数据库是由 根据查询条件从数据库中提取所需信息的技术。数据库是由 根据查询条件从数据库中提取所需信息的技术。数据库是由 根据查询条件从数据库中提取所需信息的技术。数据库是由 如果能够发现错误，说明这个变异体失败，反过来，说明程序没有问题。更具体的说，如果使用语句覆盖的测试用例，在测试源程序的时候没有问题，而在测试变异后的程序发现问题，那么，说明源程序的正确性比较高。 * 19 1.5、条件组合覆盖-测试用例 测试用例 x,y,z x100 y500 x=1000 z5000 执行路径 TC1 2000，600，6000 TRUE TRUE TRUE TRUE ace TC6 50，600，6000 FALSE TRUE FALSE TRUE abe TC7 2000，200，1000 TRUE FALSE TRUE FALSE abe TC8 50，200，2000 FALSE FALSE FALSE FALSE abd 表4-7(a) 测试用例组7 20 1.5、条件组合覆盖-测试用例 表4-7(b) 测试用例组7 测试用例 x,y,z (x100) and (y500) (x=1000) or (z5000) 执行路径 TC1 2000，600，6000 TRUE TRUE ace TC6 50，600，6000 FALSE TRUE abe TC7 2000，200，1000 FALSE TRUE abe TC8 50，200，2000 FALSE FALSE abd 21 2.0、逻辑覆盖-路径覆盖 路径覆盖要求设计若干测试用例，执行被测试程序时，能够覆盖程序中所有的可能路径。(既完全路径覆盖，此处注意与之后的独立路径覆盖相区别) 22 2.0、路径覆盖-测试用例 测试用例 x,y,z x100 y500 x=1000 z5000 执行路径 TC1 2000，600，6000 TRUE TRUE TRUE TRUE ace TC3 50，600，2000 FALSE TRUE FALSE FALSE abd TC4 2000，600，2000 TRUE TRUE TRUE FALSE acd TC7 2000，200，1000 TRUE FALSE TRUE FALSE abe 路径覆盖要求设计若干测试用例，执行被测程序时，能够覆盖程序中所有的可能路径。 22 2.0、路径覆盖-测试用例 测试用例 x,y,z x100 y500 x=1000 z5000 执行路径 TC1 2000，600，6000 TRUE TRUE TRUE TRUE ace TC3 50，600，2000 FALSE TRUE FALSE FALSE abd TC4 2000，600，2000 TRUE TRUE TRUE FALSE acd TC7 2000，200，1000 TRUE FALSE TRUE FALSE abe 22 2.0、路径覆盖-测试用例 由此可见，一段仅有4行代码的程序，其路径数目就有4个。所以，要对代码实现路径覆盖测试是很难的，我们应尽量减少路径的数量。 当然，即使对一段代码做了路径测试，也并不能证明源程序不存在其他的软件问题。其他的测试手段也是必要的，它们之间是相辅相成的。 23 2、路径分析测试 着眼于路径分析的测试称为路径分析测试。完成路径测试的理想情况是做到路径覆盖。路径覆盖也是白盒测试最为典型的问题。独立路径选择和Z路径覆盖是两种常见的路径覆盖方法。 31 2.0、独立路径测试 独立路径测试的步骤包括3个方面: 导出程序控制流图 求出程序环形复杂度 设计测试用例(Test Case) 24 2.1、程序控制流图 具有唯一入口结点，即源结点，表示程序段的开始语句； 具有唯一出口结点，表示程序段的结束语句； 结点由带有标号的圆圈表示，表示一个或多个无分支的源程序语句； 控制边由带箭头的直线或弧表示，代表控制流的方向。 25 2.1、程序控制流图 26 2.1、程序控制流图 27 2.2、程序环路复杂性 程序的环路复杂性是一种描述程序逻辑复杂度的标准，该标准运用基本路径方法，给出了程序基本路径集中的独立路径条数，这是确保程序中每个可执行语句至少执行一次所必需的测试用例数目的上界。 28 2.2、程序环路复杂性 给定一个控制流图G，设其环形复杂度为V(G)，在这里介绍三种常见的计算方法来求解V(G)。 V(G)=E-N+2,其