含过程调用EFSM模型测试数据生成-计算机工程与应用.PDFVIP

Computer Engineering and Applications 计算机工程与应用 2011 ，47 （32） 87 含过程调用EFSM 模型测试数据生成 尤 枫，闫 宇，赵瑞莲 YOU Feng ，YAN Yu ，ZHAO Ruilian 北京化工大学 信息科学与技术学院，北京 100029 Department of Information Science and Technology ，Beijing University of Chemical Technology ，Beijing 100029，China YOU Feng ，YAN Yu ，ZHAO Ruilian.Test data generation for EFSM models involving procedure call.Computer Engineer- ing and Applications ，2011 ，47 （32 ）：87-90. 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 rep- resenting 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 ）；测试数据生成；过程调用；遗传算法；子模型 DOI ：10.3778/j.issn. 1002-8331.2011.32.026 文章编号：1002-8331（2011 ）32-0087-04 文献标识码：A 中图分类号：TP311.5 1 引言 模型，提出一种能对过程调用进行处理的方法，真正意义上实 模型驱动开发技术是目前软件开发的一种先进技术，扩 现了EFSM 模型中的过程调用。经处理过后的EFSM 模型符 展有限状态机（Extended Finite State Machine ，EFSM ）是目前 合标准EFSM 模型的规范，可以使用适用于EFSM 模型的各种 常用的一种软件描述模型，在模型驱动开发中被广泛采用，它 测试数据生成方法进行测试数据生成。本文基于遗传算法实 是在有限状态机（Finite State Machine ，FSM ）模型的基础上增 现