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

Research on Path-based Automatic Test Data Generation with Arrays and Loops

作　　者：陈继锋[1] 

机构地区：[1]湖南涉外经济学院计算机学部,长沙410205

出　　处：《计算机科学》2008年第7期274-276,共3页Computer Science

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

摘　　要：提出了一种新的带数组和循环的路径测试数据自动生成的方法。该方法只考虑数组中与路径中谓词函数有关的数组元素,将循环中的同一变量名在每一次执行时用不同的变量参数来替代,从而较好地解决了路径中数组循环有效处理的问题。为有效、简单地自动生成测试数据,建立了谓词函数关于输入变量的线性约束系统。当谓词函数为线性表达式时,不需要计算其线性算术表示,仅计算非线性函数谓词函数的线性算术表示,且不需计算路径中的谓词片和确定输入依赖集,以及构造谓词函数关于输入变量增量的线性约束系统。理论分析和实例验证该方法具有简单、直观、有效且计算量小等特点。A new approach is proposed for path-based automatic test data generation with arrays and Imps. The approach, in which only the array elements related to the branch predicates on the path is selected and all branch predicates on the path are simutaneously considered,is adopted to construct the linear constrain systerrL The loop is outspreaded on the given path. The same variable is replaced by different variables in each execution of the loop. If the predicate function is linear, it is not needed to compute the linear arithmetic representation of predicate function. Otherwise, this computation is needed. Also in our method, it＇s not needed to compute the slices, identify the input dependency sets and construct the linear constraint system of predicate function on the increments for the input. Theoretic analysis and practical testing show that our method is simpler, easier, more effective and less cost in computing than the others.

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

分 类 号：TP311[自动化与计算机技术—计算机软件与理论] TP311.51[自动化与计算机技术—计算机科学与技术]