基于谓词切片的字符串测试数据自动生成

摘要

字符串谓词使用相当普遍.如何实现字符串测试数据的自动生成是一个有待解决的问题.针对字符串谓词,讨论了路径Path上给定谓词的谓词切片的动态生成算法,以及基于谓词切片的字符串测试数据自动生成方法,并给出了字符串间距离的定义.利用程序DUC(Definition8 Use Control)表达式,构造谓词的谓词切片;对任意的输入,通过执行谓词切片,获取谓词中变量的当前值;进而对谓词中变量的每一字符进行分支函数极小化,动态生成给定字符串谓词边界的ON-OFF测试点.实验表明:该方法是行之有效的.