| 含过程调用EFSM模型测试数据生成 |
| |
| 引用本文： | 尤枫,闫字,赵瑞莲.含过程调用EFSM模型测试数据生成[J].计算机工程与应用,2011,47(32):87-90. |
| |
| 作者姓名： | 尤枫 闫字 赵瑞莲 |
| |
| 作者单位： | 北京化工大学信息科学与技术学院,北京,100029 |
| |
| 基金项目： | 国家自然科学基金No.60903002,No.61073035; 中央高校基本科研业务费专项资金资助(No.ZZ1135)~~ |
| |
| 摘 要： | 针对含过程调用EFSM模型测试数据生成中过程调用的不可执行问题,提出了一种能对过程调用进行处理以实现模型的测试数据自动生成方法。该方法将被调子过程描述为一个EFSM模型,将表示主过程及子过程的EFSM模型合并为一个新的模型,合并后的模型符合EFSM模型规范,采用遗传算法对该模型进行测试数据自动生成。实验结果表明,该方法能够较好地解决含过程调用EFSM模型的测试数据自动生成问题。
|
| 关 键 词： | 扩展有限状态机(EFSM) 测试数据生成 过程调用 遗传算法 子模型 |
| 修稿时间： | |
Test data generation for EFSM models involving procedure call |
| |
| YOU Feng,YAN Yu,ZHAO Ruilian.Test data generation for EFSM models involving procedure call[J].Computer Engineering and Applications,2011,47(32):87-90. |
| |
| Authors: | YOU Feng YAN Yu ZHAO Ruilian |
| |
| Affiliation: | YOU Feng,YAN Yu,ZHAO Ruilian Department of Information Science and Technology,Beijing University of Chemical Technology,Beijing 100029,China |
| |
| Abstract: | Normally,procedure call in EFSM models is not executable.For the purpose of handling test data generation for EFSM models which involves procedure call,an approach is proposed to deal with the procedure call.In this approach,the sub-procedure is described as an EFSM model.The EFSM model representing the main procedure and the EFSM model representing the sub-procedure are merged into a new EFSM model.A genetic algorithm is employed to generate test data.The experimental results show that the proposed method ... |
| |
| Keywords: | Extended Finite State Machine(EFSM) test data generation procedure call genetic algorithms sub-model |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《计算机工程与应用》浏览原始摘要信息 |
|
点击此处可从《计算机工程与应用》下载全文 |
