高级检索

基于缺陷模式的软件测试中的区间运算应用

The Application of Interval Computation in Software Testing Based on Defect Patterns

  • 摘要: 基于缺陷模式的软件测试采用静态分析技术,误报问题比较严重.通过对区间数学理论扩展,提出了区间集的运算,以及实数、布尔变量、句柄变量、数组变量等不同数据类型的区间计算方法;采用MayMust集合来描述条件语句对区间的限定;通过修改数据流方程来跟踪控制流图遍历中的区间变化.将区间运算应用于基于缺陷模式的软件测试,实验结果表明,区间运算能够较好地减少误报和提高缺陷检测精度.

     

    Abstract: Lowering the false positive rate is a challenge for software testing based on defect patterns.This paper expands the typical interval computation and proposes a method for interval set computation.The proposed interval computation of various data types include real number variable,Boolean variable,pointer variable and array variable.May and Must set are used to compute interval restricted by conditional statement.Updated data flow equation is used to compute variables' interval in control flow traverse.The interval computation is used in software testing based on defect patterns.Experimental results show that it can reduce false positives and provide necessary information for defect testing.

     

/

返回文章
返回