基于区间相容技术与GA的测试数据自动生成方法

摘要：

针对测试数据自动生成完全依赖约束集求解问题(Constraint Solving Problem,CSP)进行求解会导致耗时较大甚至求解不出最终测试用例,以及采用动态GA算法又无法确定变量的最初论域空间,首次将基于CSP求解与GA的动态算法进行了有机结合,摒弃了二者固有的缺陷,吸取了静态算法对变量论域空间削减速度快的优点.采用eBox区间相容削减标准,过滤变量的论域空间,并在经过削减的空间上采用GA搜索算法自动产生测试数据,应用常变量的逆向推导技术、表达式直接遗传等技术,大幅度地提高了测试数据的生成速度.

关键词：测试数据自动生成、约束集求解问题、eBox相容、GA

所属期刊栏目：22

分类号：TP311.52(计算技术、计算机技术)

资助基金：陕西省自然科学基金2005F07;陕西省教育厅资助项目06JK230

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

页数：共5页

页码：350-354