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

摘要：

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

关键词：扩展有限状态机(EFSM)、测试数据生成、过程调用、遗传算法、子模型

所属期刊栏目：47

分类号：TP311.5(计算技术、计算机技术)

资助基金：国家自然科学基金the National Natural Science Foundation of China under Grant 60903002,61073035;中央高校基本科研业务费专项资金资助ZZ1135

在线出版日期：2012-03-16（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：87-90