| EFSM模型的字符串类型测试数据自动生成 |
| |
| 引用本文： | 尤枫,边毅,赵瑞莲.EFSM模型的字符串类型测试数据自动生成[J].计算机工程与应用,2014,50(16):57-61. |
| |
| 作者姓名： | 尤枫 边毅 赵瑞莲 |
| |
| 作者单位： | 北京化工大学 信息科学与技术学院，北京 100029 |
| |
| 摘 要： | 基于软件描述模型的测试数据自动生成研究中，字符串类型测试数据生成是一个研究热点和难点。EFSM模型是一种重要的软件描述模型。分析了EFSM模型的特点，针对面向EFSM模型目标路径的字符串测试数据生成，建立了字符串输入变量模型和操作模型，结合静态测试的特点，给出了通过字符串变量模型在目标路径上的符号执行结果生成字符串类型测试数据的方法。实验结果表明，该方法能够达到预期效果，提高测试生成效率。
|
| 关 键 词： | 扩展有限状态机 测试数据生成 字符串 静态分析 |
Automatic string test data generation for EFSM model |
| |
| YOU Feng,BIAN Yi,ZHAO Ruilian.Automatic string test data generation for EFSM model[J].Computer Engineering and Applications,2014,50(16):57-61. |
| |
| Authors: | YOU Feng BIAN Yi ZHAO Ruilian |
| |
| Affiliation: | Department of Information Science and Technology, Beijing University of Chemical Technology, Beijing 100029, China |
| |
| Abstract: | |
| |
| Keywords: | Extended Finite State Machine（EFSM） test data generation string static analysis |
| 本文献已被 CNKI 等数据库收录！ |
| 点击此处可从《计算机工程与应用》浏览原始摘要信息 |
|
点击此处可从《计算机工程与应用》下载全文 |
