论文部分内容阅读
基于软件描述模型的测试数据自动生成研究中，字符串类型测试数据生成是一个研究热点和难点。EFSM模型是一种重要的软件描述模型。分析了EFSM模型的特点，针对面向EFSM模型目标路径的字符串测试数据生成，建立了字符串输入变量模型和操作模型，结合静态测试的特点，给出了通过字符串变量模型在目标路径上的符号执行结果生成字符串类型测试数据的方法。实验结果表明，该方法能够达到预期效果，提高测试生成效率。