软件测试笔记二

掌握数据流分析、控制流分析、软件复杂度度量。

静态测试方法：
    一。 数据流分析
        1. 定义：  数据流分析测试是指变量定义（赋值）与使用位置的一种基于程序结构性的测试方法。重点关注变量的定义与使用。
         2.数据流分析与路径测试的区别在于：： 路径测试基本上是从数学（控制流图）角度来分析的，而数据流测试则是利用了变量之间的关系，通过定义-使用路径和程序片，得到一系列的测试指标用于衡量测试的覆盖率。 
          3.数据流分析定义   
                    数据流指的是数据对象的顺序和可能状态的抽象表示。
                    数据对象的状态可以是创建/定义(Creation/Defined)、使用(Use)和清除/销毁(Killed/Destruction)数据值的变量存在从创建、使用到销毁的一个完整状态 
          4. 数据流分析的功能作用 
                          是用来测试变量设置点和使用点之间的路径，称为：“定义-使用对”（definition-use或du-pairs）或“设置-使用对”。 
                          通过数据流分析而生成的测试集可用来获得针对每个变量的“定义-使用对”

的100%覆盖
1） 程序代码路径中首次出现的变量可能存在的状态组合
d、u、k 的具体含义：
d： 变量声明或定义，且变量已赋值
u： 读取及使用
k： 声明或定义变量，但还未为其赋值或已释放变量（模块或函数 结束时），针对程序代码路径中的变量执行的顺序，变量状态d、u、k的组
合可能会有33=9种情况
2） 数据流分析可基于数据流图而展开
数据流图类似于控制流图，描述了测试对象代码的处理过程。同时也详细描 述了代码中变量的创建、使用和撤销的状态。通过检查数据流图来验证测试对象
代码中每个变量的状态组合是否正确
3） 数据流分析方法是基于形式化的
a. P代表程序，G§为程序数据流图，V为变量集合，P的所有路径集合 为PATH§。
b.节点n是变量v的定义节点，记 DEF(v, n)。
c 节点n是变量v的使用节点，记 USE(v, n)。
d 变量v的定义-使用路径(define-use path), 记为du-path。。 如果PATH 中的某个路径，定义节点DEF(v, n) 为该路径的起始节点，使用节点USE(v, n)
为该路径的终止节点，则该路径是v的定义-使用路径。
c.变量v的定义-清除路径(define-clear path)，记为dc-path。 如果变 量 v 的某个定义-使用路径，除了起始节点之外没有其他定义的节点，则该路径是变量v的定义-清除路径
d.程序片：S (v,n) 指节点n之前的所有对v中的变量值，做出过‘操作’的所有语句片段的全部
5.数据流覆盖指标（拉普斯-韦约克）
这个数据流覆盖指标层次结构图描述了数据的“定义-使用”对,找出所有变量的定义-使用路径情况

    二。 控制流分析
                 1.程序控制流分析
                           对程序控制流进行分析是静态测试技术之一。对被测对象的程序控制流分析

是基于结构的测试方法的基础。通常基于结构的测试技术也称为白盒测试。
，运用该技术可发现 软件的缺陷、错误或异常。
2 程序控制流图
1）控制流图
控制流图是程序结构的反映，描绘了测试对象的程序逻辑控制结构
2）控制流图构成
由过程块、决策点、控制流线，汇聚点4个元素构成
3）一个程序结构就有一个可映射为对应的程序控制流图

3.控制流分析的测试运用
(1) 独立程序路径
(2) 控制流分析的测试运用
进行程序的控制流分析， 能获得程序的路径，度量了程序的结构复杂性，进而获得准确的确定测试用例的设计的目的。

     三、复杂度度量
                1.软件（程序）复杂度度量
                          对软件复杂度度量有三种模式： 
                                 1）代码行数度量法