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

摘要：

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

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

所属期刊栏目：18

分类号：TP302.8(计算技术、计算机技术)

在线出版日期：2004-08-18（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：9-12