Test data generation for EFSM models involving procedure call

Computer Engineering and Applications ›› 2011, Vol. 47 ›› Issue (32): 87-90.

• 研发、设计、测试 • Previous Articles Next Articles

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

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

尤枫，闫宇，赵瑞莲

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

Abstract

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

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

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.

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

[1]	CHEN Yuanwen. Application of MapReduce Technology in Problem of Material Transportation and Stowage [J]. Computer Engineering and Applications, 2021, 57(12): 273-278.
[2]	XUE Meng, JIANG Shujuan, WANG Rongcun. Systematic review of test data generation based on intelligent optimization algorithm [J]. Computer Engineering and Applications, 2018, 54(17): 16-23.
[3]	MENG Jianjun1，2，3, YIN Ming1, QI Wenzhe1, WANG Anming1, XU Ruxun1. Optimization of tracing target curve of high speed train ATO based on genetic algorithm [J]. Computer Engineering and Applications, 2016, 52(21): 247-251.
[4]	YANG Haoxiong1，2，3, LI Hong1, DU Wei1, ZHANG Hao1，2，3. Research on location selection of perishable dairy products distribution center based on two-stage distribution [J]. Computer Engineering and Applications, 2015, 51(23): 239-245.
[5]	WANG Daoping, XU Zhan, YANG Cen. Study on joint decision-making of chain store location and distribution center selection [J]. Computer Engineering and Applications, 2015, 51(22): 222-227.
[6]	WU Jiagao1, ZHANG Xi1, ZHUANG Songjie1, ZOU Zhiqiang1, HU Bin2. Research on cache replacement strategy for space vector data of multi-layer [J]. Computer Engineering and Applications, 2014, 50(7): 89-93.
[7]	YANG Shuiqing, YANG Jiaming, SUN Chao. Improved exponentiation scale transformation in application of genetic algorithm [J]. Computer Engineering and Applications, 2014, 50(17): 40-43.
[8]	YOU Feng, BIAN Yi, ZHAO Ruilian. Automatic string test data generation for EFSM model [J]. Computer Engineering and Applications, 2014, 50(16): 57-61.
[9]	XIE Weiguo, SHI Huaji. Demand forecasting with GM（1, 1） optimized by game theory in supply chain [J]. Computer Engineering and Applications, 2013, 49(9): 243-246.
[10]	WANG Bingjing, GAO Maoting. New model for clustering ensemble based on genetic algorithms [J]. Computer Engineering and Applications, 2013, 49(8): 164-168.
[11]	GAO Taiguang, CHEN Peiyou, MA Shiyong, ZHAO Wenmei. Research of multi-logistics distribution center optimal location model [J]. Computer Engineering and Applications, 2013, 49(4): 257-261.
[12]	WANG Wei1, YU Lihua2. RPCI：RPC for Internet applications [J]. Computer Engineering and Applications, 2013, 49(21): 106-110.
[13]	SUN Weiwei, SHENG Xingping, HUANG Yingxue. Dislodgement recognition of oil tank with GA-BP networks [J]. Computer Engineering and Applications, 2013, 49(14): 264-266.
[14]	YANG Meirong1, CUI Manman2, SHI Jianfeng2, XIAO Lingnuo3. Applications of Genetic Algorithm in production planning of multi-categories and small batch mode [J]. Computer Engineering and Applications, 2013, 49(13): 266-270.
[15]	ZHU Minglin, ZHAO Runlin. Optimize design and simulation of traffic signal control system in isolated intersection [J]. Computer Engineering and Applications, 2013, 49(10): 253-257.

Test data generation for EFSM models involving procedure call

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

PDF

Knowledge

Abstract

Cite this article

share this article

References

Related Articles 15

Recommended Articles

Metrics