基于FSM的协议一致性测试序列生成算法研究

doi:10.3778/j.issn.1002-8331.2010.06.017

计算机工程与应用 ›› 2010, Vol. 46 ›› Issue (6): 60-62.DOI: 10.3778/j.issn.1002-8331.2010.06.017

基于FSM的协议一致性测试序列生成算法研究

陈涛，潘雪增，陈健，陈小平，陆魁军

浙江大学计算机科学与技术学院，杭州 310027

收稿日期:2009-05-18 修回日期:2009-07-02 出版日期:2010-02-21 发布日期:2010-02-21
通讯作者: 陈涛

Study of protocol conformance test sequence generation algorithm based on FSM

CHEN Tao，PAN Xue-zeng，CHEN Jian，CHEN Xiao-ping，LU Kui-jun

Department of Computer Science and Technology，Zhejiang University，Hangzhou 310027，China

Received:2009-05-18 Revised:2009-07-02 Online:2010-02-21 Published:2010-02-21
Contact: CHEN Tao

摘要/Abstract

摘要： 在通信协议的一致性测试领域里，如何生成满足要求的测试序列一直是研究热点之一。针对生成的测试序列不够简捷高效的问题，在介绍了通信协议的主要形式化模型FSM后，先研究了基于UIO的测试序列生成算法，然后对原算法进行了改进。改进后的算法所生成的测试序列具有较高的错误覆盖率，并且能够缩短测试序列的长度。

关键词: 协议一致性测试, 有限状态机, UIO序列

Abstract: In the field of communication protocol conformance test，how to generate test sequences which satisfy the requirements is one of hot research.Due to the generated test sequences aren’t simple and efficient enough，after introducing FSM which is the main formal model of communication protocol，this paper first studys test sequence generation algorithm based on UIO，and then improves the original algorithm.Test sequences generated by the improved algorithm have higher fault coverage，and the length of test sequences has been shortened.

Key words: protocol conformance test, Finife State Machine（FSM）, Unique Input/Output sequence

中图分类号:

TP393.06

陈涛，潘雪增，陈健，陈小平，陆魁军. 基于FSM的协议一致性测试序列生成算法研究[J]. 计算机工程与应用, 2010, 46(6): 60-62.

CHEN Tao，PAN Xue-zeng，CHEN Jian，CHEN Xiao-ping，LU Kui-jun. Study of protocol conformance test sequence generation algorithm based on FSM[J]. Computer Engineering and Applications, 2010, 46(6): 60-62.

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

基于FSM的协议一致性测试序列生成算法研究

Study of protocol conformance test sequence generation algorithm based on FSM

PDF

可视化

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 15

编辑推荐

Metrics