动态白盒测试

动态白盒测试
根据覆盖指标（通常使用DD路径），帮助动态黑盒测试解决测试用例的冗余和缺漏问题。
通过动态黑盒测试生成m个测试用例，通过动态白盒测试生成s个结构指标，执行测试用例覆盖了n个结构指标。

• 路径测试
  考虑到代码级的依赖，即图上的某些路径由于违反代码的逻辑是不可行的。主要用于衡量测试的质量，而不是用于构造测试用例

  • DD路径
    压缩从判断到判断的中间路径。
    
    
    循环覆盖：测试循环
    
    循环缠绕要使用数据流

  • 基路径测试
    图中的所有路径都可以由基元的集合构成。强连通图的圈数是基元的个数。
    在图中，为每条边编号，
    
    并根据基元建立关联矩阵
    
    观察对路径的覆盖情况。

  基路径测试的压缩：根据图1的结构对路进行压缩，
  
  得到图2。
  
  注意无法压缩下图的非结果路径
  

• 数据流测试
  重点关注接受和使用值的路径。适用于计算密集型程序。

  • 定义/使用测试
    定义使用路径：变量后面还会用到
    定义清除路径：变量后面不会用到
    多条件覆盖：例如前面判断的结果会作为后面判断的条件（数据流测试）

  • 程序片测试
    片：在第n条语句前改变过变量值的语句。使用集合S（变量名，n）={…}当某个位置的变量发生错误时，可以通过变量之间集合的相对补集（集合A中不存在于集合B中的元素）帮助确定发生错误的位置。