基于扩展有限状态机测试序列生成方法研究  

Research on test sequence generation methods based on EFSM

作　　者：蒋凡[1] 魏蓉[1] 郐吉丰[1] 

机构地区：[1]中国科学技术大学计算机科学与技术系,合肥230026

出　　处：《计算机工程与应用》2007年第7期62-64,74,共4页Computer Engineering and Applications

摘　　要：扩展有限状态机是对有限状态机的扩展,由于引入了变量、状态迁移的前置条件以及状态迁移所引起的操作,它的测试序列存在可执行性问题。讨论了基于扩展有限状态机的测试序列生成方法的主要特点及局限性,指出了有待进一步研究的若干问题。EFSM is an extension of FSM by adding variables,operations and preconditions of transitions.In this paper we review the existing test sequence generation methods for EFSM.Then the primary theory and important definition of every test sequence generation methods are presented.The most important peculiarity and limitations in each method are introduced and analyzed.Finally,further problems to be studied in this field are pointed out.

关 键 词：扩展有限状态机 有限状态机 测试序列生成 数据流测试 可执行性 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]