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

• 作者: 潘雪增 陆魁军 陈健 陈小平 陈涛
• 来源期刊: 计算机工程与应用
• 学科: 工学
• 关键词: 协议一致性测试 有限状态机 UIO序列
• 年，卷（期）: 2010,（6）
• 所属期刊栏目: 研发、设计、测试
• 页码范围: 60-62
• 页数: 3页
• 分类号: TP393.06
• 字数: 3796字
• 语种: 中文
• DOI: 10.3778/j.issn.1002-8331.2010.06.017

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	陈健	浙江大学计算机科学与技术学院	61	435	11.0	19.0
2	陈小平	浙江大学计算机科学与技术学院	18	137	8.0	11.0
3	潘雪增	浙江大学计算机科学与技术学院	89	1318	17.0	34.0
4	陆魁军	浙江大学计算机科学与技术学院	12	149	8.0	12.0
5	陈涛	浙江大学计算机科学与技术学院	47	447	13.0	20.0