含过程调用EFSM模型测试数据生成

计算机工程与应用 ›› 2011, Vol. 47 ›› Issue (32): 87-90.

含过程调用EFSM模型测试数据生成

尤枫，闫宇，赵瑞莲

北京化工大学信息科学与技术学院，北京 100029

收稿日期:1900-01-01 修回日期:1900-01-01 出版日期:2011-11-11 发布日期:2011-11-11

Test data generation for EFSM models involving procedure call

YOU Feng，YAN Yu，ZHAO Ruilian

Department of Information Science and Technology，Beijing University of Chemical Technology，Beijing 100029，China

Received:1900-01-01 Revised:1900-01-01 Online:2011-11-11 Published:2011-11-11

摘要/Abstract

摘要： 针对含过程调用EFSM模型测试数据生成中过程调用的不可执行问题，提出了一种能对过程调用进行处理以实现模型的测试数据自动生成方法。该方法将被调子过程描述为一个EFSM模型，将表示主过程及子过程的EFSM模型合并为一个新的模型，合并后的模型符合EFSM模型规范，采用遗传算法对该模型进行测试数据自动生成。实验结果表明，该方法能够较好地解决含过程调用EFSM模型的测试数据自动生成问题。

关键词: 扩展有限状态机（EFSM）, 测试数据生成, 过程调用, 遗传算法, 子模型

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 is promising and effective in test data generation for EFSM models in which procedure call is embedded.

Key words: Extended Finite State Machine（EFSM）, test data generation, procedure call, genetic algorithms, sub-model

尤枫，闫宇，赵瑞莲. 含过程调用EFSM模型测试数据生成[J]. 计算机工程与应用, 2011, 47(32): 87-90.

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.

[1]	李昱奇，刘志乾，程凝怡，王莹莹，朱春丽. 多约束条件下无人机航迹规划[J]. 计算机工程与应用, 2021, 57(4): 225-230.
[2]	杨玮，吴莹莹，王婷. 子母式穿梭车仓储系统配置优化问题研究[J]. 计算机工程与应用, 2021, 57(4): 258-265.
[3]	李倩，蒋丽，梁昌勇. 基于模糊时间窗的多目标冷链配送优化[J]. 计算机工程与应用, 2021, 57(23): 255-262.
[4]	杜守信，毋涛. 双种群混合遗传算法的裁剪分床应用研究[J]. 计算机工程与应用, 2021, 57(22): 182-189.
[5]	曹立佳，刘洋. 制造车间自动导引车调度新进展[J]. 计算机工程与应用, 2021, 57(21): 59-67.
[6]	陈倩茹，李雅丽，许科全，刘铱龙，王淑琴. 自调优自适应遗传算法的WKNN特征选择方法[J]. 计算机工程与应用, 2021, 57(20): 164-171.
[7]	石宇强，田永政，张雨琦，石小秋. 运用含复杂网络结构的多种群遗传算法求解FJSP[J]. 计算机工程与应用, 2021, 57(2): 257-266.
[8]	代江涛，韩晓龙. 考虑作业状态能耗的集装箱码头设备协调调度[J]. 计算机工程与应用, 2021, 57(19): 290-298.
[9]	姜良重，雷航，李贞昊，钱伟中，施甘图. 采用自适应优化权重的出库货位优化方法研究[J]. 计算机工程与应用, 2021, 57(15): 271-278.
[10]	贺娇，谭代伦. 基于视野范围和遗传算法的三维地形路径规划[J]. 计算机工程与应用, 2021, 57(15): 279-285.
[11]	冯晓东，黄世荣，戴冠鸥，杨伟家，罗尧治. 天牛须遗传杂交算法的研究与应用[J]. 计算机工程与应用, 2021, 57(15): 90-100.
[12]	苏庆，林华智，黄剑锋，林志毅. 结合CNN和Catboost算法的恶意安卓应用检测模型[J]. 计算机工程与应用, 2021, 57(15): 140-146.
[13]	王秀丽，周鹏，侯静楠，王仕俊，林霞. 面向变电站机器人巡检路径规划中的算法研究[J]. 计算机工程与应用, 2021, 57(14): 245-250.
[14]	陈元文. MapReduce技术在物资调运与配载问题中的应用[J]. 计算机工程与应用, 2021, 57(12): 273-278.
[15]	邱云飞，高华聪. 混合Filter与改进自适应GA的特征选择方法[J]. 计算机工程与应用, 2021, 57(11): 95-102.