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

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

作　　者：赵瑞莲 [1] 李立健 [2] 

机构地区：[1]北京化工大学计算机科学与技术系,北京,100029 [2]中国科学院自动化研究所国家专用集成电路工程中心,北京,100080

出　　处：《装甲兵工程学院学报》2004年第2期9-12,共4页Journal of Academy of Armored Force Engineering

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

关 键 词：输入变量 取值分析 动态模拟 

分 类 号：TP302.8[自动化与计算机技术—计算机系统结构]