EFSM模型的字符串类型测试数据自动生成

摘要：

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

关键词：扩展有限状态机、测试数据生成、字符串、静态分析

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

资助基金：国家自然科学基金No.61073035，No.61170082；中央高校基本科研业务费专项资金资助No.ZZ1224。

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

页数：共5页

页码：57-61