Computer Engineering and Applications ›› 2007, Vol. 43 ›› Issue (7): 62-64.

• 学术探讨 • Previous Articles     Next Articles

Research on Test Sequence Generation Methods Based on EFSM

Fan Jang Rong Wei JiFeng Kuai   

  • Received:2006-03-28 Revised:1900-01-01 Online:2007-03-01 Published:2007-03-01
  • Contact: Fan Jang

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

蒋凡 魏蓉 郐吉丰   

  1. 中国科学技术大学计算机科学与技术系 中国科学技术大学计算机科学与技术系
  • 通讯作者: 蒋凡

Abstract: 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. Key words: EFSM, FSM, test sequence generation, data flow testing, executability.

Key words: EFSM, FSM, test sequence generation, data flow testing, executability

摘要: 扩展有限状态机是对有限状态机的扩展, 由于引入了变量、状态迁移的前置条件以及状态迁移所引起的操作,它的测试序列存在可执行性问题。本文讨论了基于扩展有限状态机的测试序列生成方法的主要特点及局限性,指出了有待进一步研究的若干问题。

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