软件测试技术：控制流程测试.pptx

软件测试技术---8

控制流程测试

白盒覆盖率分析

白盒测试最常用的基本技术是覆盖率分析，研究的内容包括：如何选择程序元素，如何生成指定程序元素的测试用例；程序元素的覆盖率；测试效果的评价。

控制流程测试

控制流程就是指程序中那些语句、说明、函数等的执行顺序。

控制流程图是一种抽象代码模块的方法，以便更好的理解程序。

控制流程图的元素

过程块

结合点

判定点

建立控制流程图

1Dimx,y,zasReal

2input(x,y,z)

3ify1andz=0

4Thenx=x/y

5EndIf

6ify=2orx1

7Thenx=x+1

8EndIf

9output(“x=”,x)

1,2

9

8

7

6

4

3

5

T

F

T

F

路径覆盖法

即设计出足够的测试用例来完成对被测试程序可执行路径进行全方位的执行覆盖。它一般主要包括逻辑路径覆盖和物理路径覆盖的两种方法，这是从两个不同的角度来实现代码覆盖，它们之间既有联系，也有区别。

逻辑路径覆盖度量标准

语句覆盖

判定覆盖

条件覆盖

判定/条件覆盖

条件组合覆盖

语句覆盖

语句路径覆盖是一个比较弱的逻辑路径覆盖标准。它的涵义是指通过选择足够的测试用例，使得运行这些测试用例时，被测程序的每个语句至少被执行一次。

语句覆盖

1Dimx,y,zasReal

2input(x,y,z)

3ify1andz=0

4Thenx=x/y

5EndIf

6ify=2orx1

7Thenx=x+1

8EndIf

9output(“x=”,x)

1,2

9

8

7

6

4

3

5

T

F

T

F

语句覆盖

1,2

9

8

7

6

4

3

5

T

F

T

F

TC

Input

output

T1

x=4，y=2，z=0

x=3

1Dimx,y,zasReal

2input(x,y,z)

3ify1andz=0

4Thenx=x/y

5EndIf

6ify=2orx1

7Thenx=x+1

8EndIf

9output(“x=”,x)

判定覆盖

判定路径覆盖又称为分支路径覆盖，判定路径覆盖比语句路径覆盖的标准稍强一些，它是指通过设计足够的测试用例，使得程序中的每一个判定至少都获得一次“真值”和“假值”，或者说使得程序中的每一个分支都至少通过一次。

判定覆盖

1Dimx,y,zasReal

2input(x,y,z)

3ify1andz=0

4Thenx=x/y

5EndIf

6ify=2orx1

7Thenx=x+1

8EndIf

9output(“x=”,x)

1,2

9

8

7

6

4

3

5

T

F

T

F

判定覆盖

1,2

9

8

7

6

4

3

5

T

F

T

F

TC

Input

output

T2

x=0，y=3，z=0

x=0

T3

x=3,y=2,z=1

x=4

1Dimx,y,zasReal

2input(x,y,z)

3ify1andz=0

4Thenx=x/y

5EndIf

6ify=2orx1

7Thenx=x+1

8EndIf

9output(“x=”,x)

条件覆盖

条件路径覆盖的涵义是指，对于每个判定中所包含的若干个条件，应设计足够多的测试用例，使得判定中的每个条件都至少取到一次“真值”和“假值”的机会，也就是说，判定中的每个条件的所有可能结果至少出现一次。

条件覆盖

1Dimx,y,zasReal

2input(x,y,z)

3ify1andz=0

4Thenx=x/y

5EndIf

6ify=2orx1

7Thenx=x+1

8EndIf

9output(“x=”,x)

1,2

9

8

7

6

4

3

5

T

F

T

F

条件覆盖

1,2

9

8

7

6

4

3

5

T

F

T

F

TC

Input

output

T4

x=0，y=2，z=0

x=1

T5

x=2,y=1,z=1

x=3

1Dimx,y,zasReal

2input(x,y,z)

3ify1andz=0

4Thenx=x/y

5