| 用动态模拟方法实现C程序输入变量的取值分析 |
| |
| 引用本文： | 赵瑞莲,李立健.用动态模拟方法实现C程序输入变量的取值分析[J].装甲兵工程学院学报,2004,18(2):9-12. |
| |
| 作者姓名： | 赵瑞莲 李立健 |
| |
| 作者单位： | 1. 北京化工大学计算机科学与技术系,北京,100029
2. 中国科学院自动化研究所国家专用集成电路工程中心,北京,100080 |
| |
| 摘 要： | 程序输入变量取值范围的确定对于测试数据的选取,尤其对边界值分析,有着直接的指导作用.一般情形下,通过对源程序进行数据流和相关性分析,可实现输入变量的取值分析.但对某些有特殊取值限制要求的表达式,用静态分析方法,难以实现其输入变量的取值分析.为此,采用动态模拟的方法,对有特殊取值限制要求的表达式,进行输入变量的取值分析.实验表明,该方法是行之有效的.
|
| 关 键 词： | 输入变量 取值分析 动态模拟 |
| 文章编号： | 1672-1497(2004)02-0009-04 |
| 修稿时间： | 2004年4月1日 |
Using Dynamic Simulation Method to Realize the Domain Analysis of Input Variables for C Programs |
| |
| ZHAO Rui-lian LI Li-jian.Using Dynamic Simulation Method to Realize the Domain Analysis of Input Variables for C Programs[J].Journal of Armored Force Engineering Institute,2004,18(2):9-12. |
| |
| Authors: | ZHAO Rui-lian LI Li-jian |
| |
| Institution: | ZHAO Rui-lian LI Li-jian |
| |
| Abstract: | 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. |
| |
| Keywords: | input variable domain analysis dynamic simulation |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
