基于参数依赖关系检查的测试用例空间约简方法

Dynamic Arguments Dependence Analysis Technique for Test-suite Deduction

针对待测功能函数各参数间存在的控制或数据依赖关系,提出了一种利用符号执行约简测试用例空间的算法.具体内容包括:给出了基于控制流图的程序参数依赖关系定义;在此基础上,根据输入参数变量在程序执行时的信息流,提出了一种参数依赖关系的动态分析算法;将该方法应用于可信软件栈的功能测试中.实验结果表明:该方法在约简测试用例空间上具有较强的实用性,同时不会降低测试原有的检错能力.

For the purpose of test-suite deduction, we present an algorithm that combines symbolic execution with dynamic computation and maintenance of dependence relationship between arguments is presented. Firstly, the definitions of dependence relationship between arguments are introduced. Secondly, our algorithms can dynamically analysis the information flow of arguments inside the program is conducted by the algorithm. The proposed theory and method are then applied in TCG Software Stack testing, which proves that they are beneficial to improving testing efficiency and practical.