| 基于扩展有限状态机测试序列生成方法研究 |
| |
| 引用本文： | 蒋凡,魏蓉,郐吉丰. 基于扩展有限状态机测试序列生成方法研究[J]. 计算机工程与应用, 2007, 43(7): 62-64,74 |
| |
| 作者姓名： | 蒋凡 魏蓉 郐吉丰 |
| |
| 作者单位： | 中国科学技术大学,计算机科学与技术系,合肥,230026;中国科学技术大学,计算机科学与技术系,合肥,230026;中国科学技术大学,计算机科学与技术系,合肥,230026 |
| |
| 摘 要： | 扩展有限状态机是对有限状态机的扩展,由于引入了变量、状态迁移的前置条件以及状态迁移所引起的操作,它的测试序列存在可执行性问题。讨论了基于扩展有限状态机的测试序列生成方法的主要特点及局限性,指出了有待进一步研究的若干问题。
|
| 关 键 词： | 扩展有限状态机 有限状态机 测试序列生成 数据流测试 可执行性 |
| 文章编号： | 1002-8331（2007）07-0062-03 |
| 修稿时间： | 2006-07-01 |
Research on test sequence generation methods based on EFSM |
| |
| JIANG Fan,WEI Rong,KUAI Ji-feng. Research on test sequence generation methods based on EFSM[J]. Computer Engineering and Applications, 2007, 43(7): 62-64,74 |
| |
| Authors: | JIANG Fan WEI Rong KUAI Ji-feng |
| |
| Affiliation: | Department of Computer Science and Technology,University of Science and Technology of China,Hefei 230026,China |
| |
| 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. |
| |
| Keywords: | EFSM FSM test sequence generation data flow testing executability |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
