带数组和循环的路径测试数据自动生成技术研究

摘要：

提出了一种新的带数组和循环的路径测试数据自动生成的方法.该方法只考虑数组中与路径中谓词函数有关的数组元素,将循环中的同一变量名在每一次执行时用不同的变量参数来替代,从而较好地解决了路径中数组循环有效处理的问题.为有效、简单地自动生成测试数据,建立了谓词函数关于输入变量的线性约束系统.当谓词函数为线性表达式时,不需要计算其线性算术表示,仅计算非线性函数谓词函数的线性算术表示,且不需计算路径中的谓词片和确定输入依赖集,以及构造谓词函数关于输入变量增量的线性约束系统.理论分析和实例验证该方法具有简单、直观、有效且计算量小等特点.

关键词：数组和循环、测试数据、谓词函数、线性算术表示

所属期刊栏目：35

分类号：TP3;TN9

资助基金：国家863高技术研究发展计划基金项目2003AA1Z2610;湖南省教育厅资助科研项目07A034

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

页数：共3页

页码：274-276