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

计算机工程与应用 ›› 2007, Vol. 43 ›› Issue (7): 62-64.

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

蒋凡魏蓉郐吉丰

中国科学技术大学计算机科学与技术系中国科学技术大学计算机科学与技术系

收稿日期:2006-03-28 修回日期:1900-01-01 出版日期:2007-03-01 发布日期:2007-03-01
通讯作者: 蒋凡

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

摘要/Abstract

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

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

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

蒋凡魏蓉郐吉丰. 基于扩展有限状态机测试序列生成方法研究[J]. 计算机工程与应用, 2007, 43(7): 62-64.

Fan Jang Rong Wei JiFeng Kuai. Research on Test Sequence Generation Methods Based on EFSM[J]. Computer Engineering and Applications, 2007, 43(7): 62-64.

[1]	王迪，李彩虹，郭娜，刘国名，高腾腾. 基于模糊势场法的移动机器人局部路径规划[J]. 计算机工程与应用, 2021, 57(6): 212-218.
[2]	伍旭东，唐麒，张伟，张健，魏急波，王一军. 基于扩展有限状态机的SCA符合性测试方法研究[J]. 计算机工程与应用, 2021, 57(16): 263-268.
[3]	郭娜，李彩虹，王迪，张宁，刘国名. 结合预测和模糊控制的移动机器人路径规划[J]. 计算机工程与应用, 2020, 56(8): 104-109.
[4]	康红凯，吴礼发，洪征，庄洪林，张亚丰. 一种基于FSM的BGP-4协议模糊测试方法[J]. 计算机工程与应用, 2017, 53(6): 111-117.
[5]	彭家寅. 扰动模糊有限状态机的转移结构[J]. 计算机工程与应用, 2017, 53(16): 1-9.
[6]	李冬辉，张斌，费晓飞. 基于OSBE的属性访问控制模型[J]. 计算机工程与应用, 2015, 51(7): 84-87.
[7]	胡忠刚，娄全福，孙小迎. 格值有限状态机的一些性质[J]. 计算机工程与应用, 2015, 51(21): 70-73.
[8]	尤枫，边毅，赵瑞莲. EFSM模型的字符串类型测试数据自动生成[J]. 计算机工程与应用, 2014, 50(16): 57-61.
[9]	马君亮，汪西莉，何聚厚，肖冰. 增强型Anti-Xprobe2的研究与设计[J]. 计算机工程与应用, 2012, 48(32): 1-4.
[10]	杨京开1，陈秀红2. 直觉模糊有限状态机的子系统[J]. 计算机工程与应用, 2012, 48(25): 52-56.
[11]	尤枫，闫宇，赵瑞莲. 含过程调用EFSM模型测试数据生成[J]. 计算机工程与应用, 2011, 47(32): 87-90.
[12]	杨韬¹，邓红莉²，邵晨曦³. 基于Agent和FSM的细胞信号转导网络仿真[J]. 计算机工程与应用, 2011, 47(3): 221-224.
[13]	张秀平，杨国武，李晓瑜. MMU协处理器的一种软件模拟模型[J]. 计算机工程与应用, 2011, 47(3): 57-60.
[14]	田园，李建斌，张振. 一种逆向分析协议状态机模型的有效方法[J]. 计算机工程与应用, 2011, 47(19): 63-67.
[15]	赵刚1，2，赵金晶2，况晓辉2，郑纬民1. 大规模分布式系统实体交互脆弱性分析方法[J]. 计算机工程与应用, 2011, 47(18): 98-102.