用动态模拟方法实现C程序输入变量的取值分析

Using Dynamic Simulation Method to Realize the Domain Analysis of Input Variables for C Programs

程序输入变量取值范围的确定对于测试数据的选取,尤其对边界值分析,有着直接的指导作用.一般情形下,通过对源程序进行数据流和相关性分析,可实现输入变量的取值分析.但对某些有特殊取值限制要求的表达式,用静态分析方法,难以实现其输入变量的取值分析.为此,采用动态模拟的方法,对有特殊取值限制要求的表达式,进行输入变量的取值分析.实验表明,该方法是行之有效的.

The determination of the domain of input variables has guidance on test data selection, especially on boundary value analysis. Generally, the domain of input variables can be obtained by analyzing the data flow and relativity of source programs. However, for the expressions with the special value restrictions, it is difficult to calculate its domain by using static analysis. Therefore, this paper presents a dynamic simulation method to compute the domain of input variables for the expressions with the special value restrictions. The experiments indicate that the proposed method is effective.