EFSM模型的字符串类型测试数据自动生成 |
| |
引用本文: | 尤枫,边毅,赵瑞莲.EFSM模型的字符串类型测试数据自动生成[J].计算机工程与应用,2014(16):57-61. |
| |
作者姓名: | 尤枫 边毅 赵瑞莲 |
| |
作者单位: | 北京化工大学信息科学与技术学院 |
| |
摘 要: | 基于软件描述模型的测试数据自动生成研究中,字符串类型测试数据生成是一个研究热点和难点。EFSM模型是一种重要的软件描述模型。分析了EFSM模型的特点,针对面向EFSM模型目标路径的字符串测试数据生成,建立了字符串输入变量模型和操作模型,结合静态测试的特点,给出了通过字符串变量模型在目标路径上的符号执行结果生成字符串类型测试数据的方法。实验结果表明,该方法能够达到预期效果,提高测试生成效率。
|
关 键 词: | 扩展有限状态机 测试数据生成 字符串 静态分析 |
本文献已被 CNKI 等数据库收录! |
|