软件测试-教案白盒测试及其用例设计.pptVIP

* * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * The advantage of this measure() is that it is more thorough than decision coverage yet avoids the exponential difficulty of path coverage. The disadvantage is that it does not avoid infeasible paths. * * * * * -- 表示变量iRecordNum每次先判断是否大于0，然后在减1 * * RCIIP Software Testing * 测试覆盖准则（续） LCSAJ LCSAJ (Linear Code Sequence and Jump) 的字面含义是线性代码序列与跳转。在程序中，一个LCSAJ是一组顺序执行的代码，以控制跳转为其结束点。 LCSAJ的起点是根据程序本身决定的。它的起点可以是程序第一行或转移语句的入口点，或是控制流可跳达的点。 如果有几个LCSAJ首尾相接，且第一个LCSAJ起点为程序起点，最后一个LCSAJ终点为程序终点，这样的LCSAJ串就组成了程序的一条路径（LCSAJ路径）。一条LCSAJ程序路径可能是由2个、3个或多个LCSAJ组成的。 RCIIP Software Testing * 测试覆盖准则（续） 基于LCSAJ与路径的关系，提出了层次LCSAJ覆盖准则。它是一个分层的覆盖准则，可以概括的描述为： 第一层 — 语句覆盖。 第二层 — 分支覆盖。 第三层 — LCSAJ覆盖，即程序中的每一个LCSAJ都至少在测试中经历过一次。 第四层 — 两两LCSAJ覆盖，即程序中的每两个相连的LCSAJ组合起来在测试中都要经历一次。 第n+2层 — 每n个首尾相连的LCSAJ组合在测试中都要经历一次。 在实施测试时，若要实现上述的层次LCSAJ覆盖，需要产生被测程序的所有LCSAJ。 RCIIP Software Testing * 4.4.3 路径测试 4.4.3.1 路径表达式 4.4.3.2 基本路径测试方法 4.4.3.3 循环测试方法 4.4.3.4 产生测试用例 RCIIP Software Testing * 4.4.3.1 路径表达式 为了满足路径覆盖，必须首先确定具体的路径以及路径的个数。我们通常采用控制流图的边（弧）序列和节点序列表示某一条具体路径，更为概括的表示方法为： （1）弧a和弧b相乘，表示为ab，它表明路径是先经历弧a，接着再经历弧b，弧a和弧b是先后相接的。 （2）弧a和弧b相加，表示为a+b，它表明两条弧是“或”的关系，是并行的路段。 路径数的计算： 在路径表达式中，将所有弧均以数值1来代替，再进行表达式的相乘和相加运算，最后得到的数值即为该程序的路径数。 RCIIP Software Testing * 4.4.3.2 基本路径测试方法 路径测试就是从一个程序的入口开始，执行所经历的各个语句的完整过程。从广义的角度讲，任何有关路径分析的测试都可以被称为路径测试。 完成路径测试的理想情况是做到路径覆盖，但对于复杂性大的程序要做到所有路径覆盖（测试所有可执行路径）是不可能的。 在不能做到所有路径覆盖的前提下，如果某一程序的每一个独立路径都被测试过，那么可以认为程序中的每个语句都已经检验过了，即达到了语句覆盖。这种测试方法就是通常所说的基本路径测试方法。 RCIIP Software Testing * 基本路径测试方法（续） 基本路径测试方法是在控制流图的基础上，通过分析控制结构的环形复杂度，导出执行路径的基本集，再从该基本集设计测试用例。基本路径测试方法包括以下4个步骤： （1）画出程序的控制流图。 （2）计算程序的环形复杂度，导出程序基本路径集中的独立路径条数，这是确定程序中每个可执行语句至少执行一次所必须的测试用例数目的上界。 （3）导出基本路径集，确定程序的独立路径。 （4）根据（3）中的独立路径，设计测试用例的输入数据和预期输出。 RCIIP Software Testing * 基本路径测试方法（续） void Sort ( int iRecordNum, int iType ) 1 { 2 int x=0; 3 int y=0; 4 while ( iRecordNum-- 0 ) 5 { 6 If ( iType==0 ) 7 x=y+2; 8 else 9 If ( iType==