动态白盒测试

动态白盒测试
动态白盒测试是指利用查看代码功能和实现方式得到的信息来确定哪些要测试，哪些不要测试，如何开展测试。
   动态白盒测试的另一个常用名称是结构测试，因为软件测试员可以查看并使用代码的内部结构，从而设计和执行测试。

软件人员使用白盒测试方法，主要想对程序模块进行如下的检查：
对程序模块的所有独立的执行路径至少测试一次；
对所有的逻辑判定，取“真”与取“假”的两种情况都至少测试一次；
在循环的边界和运行界限内执行循环体；
测试内部数据结构的有效性，等。

对一个具有多重选择和循环嵌套的程序，不同的路径数目可能是天文数字。给出一个小程序的流程图，它包括了一个执行20次的循环。
包含的不同执行路径数达520条，对每一条路径进行测试需要1毫秒，假定一年工作365 × 24小时，要想把所有路径测试完，需3170年。


动态测试基本概念

控制流图
环形复杂性
图矩阵

1. 程序的控制流图

符号○为控制流图的一个结点，表示一个或多个无分支的语句。箭头为边，表示控制流的方向。

在选择或多分支结构中，分支的汇聚处应有一个汇聚结点。
边和结点圈定的部分叫做区域，当对区域计数时，图形外的区域也应记为一个区域。
如果判断中的条件表达式是由一个或多个逻辑运算符 (OR,  AND, NAND,  NOR)  连接的复合条件表达式，则需要改为一系列只有单个条件的嵌套的判断（针对详细流程图）。



2. 程序环形复杂性

程序的环形（圈）复杂性给出了程序基本路径集中的独立路径条数，这是确保程序中每个可执行语句至少执行一次所必需的测试用例数目的上界。
从控制流图来看，一条独立路径是从入口到出口至少包含有一条在其它独立路径中从未有过的边的路径。

例如，在图示的控制流图中，一组独立的路径是path1：1 - 11path2：1 - 2 , 3 - 4 , 5 - 10 - 1 - 11path3：1 - 2 , 3 - 6 - 8 - 9 - 10 - 1 - 11path4：1 - 2 , 3 - 6 - 7 - 9 - 10 - 1 - 11
路径 path1，path2，path3，path4组成了控制流图的一个基本路径集。