一种启发式UIO序列生成算法

doi:10.3778/j.issn.1002-8331.2008.20.030

计算机工程与应用 ›› 2008, Vol. 44 ›› Issue (20): 96-98.DOI: 10.3778/j.issn.1002-8331.2008.20.030

一种启发式UIO序列生成算法

郑剑^1,2,江建慧¹

1.江西理工大学信息工程学院，江西赣州 341000
2.同济大学嵌入式系统与服务计算教育部重点实验室，上海 201804

收稿日期:2007-10-08 修回日期:2008-01-15 出版日期:2008-07-11 发布日期:2008-07-11
通讯作者: 郑剑

Heuristic algorithm for Unique Input/Output sequence generation

ZHENG Jian^1,2,JIANG Jian-hui¹

1.Faculty of Information Engineering，Jiangxi University of Science and Technology，Ganzhou，Jiangxi 341000，China
2.Key Laboratory of Embed System and Service-oriented Computing of Ministry of Education，Tongji University，Shanghai 201804，China

Received:2007-10-08 Revised:2008-01-15 Online:2008-07-11 Published:2008-07-11
Contact: ZHENG Jian

摘要/Abstract

摘要： 基于UIO序列的测试方法已经广泛地应用在协议一致性测试和软件一致性测试方面，如何有效地生成更短的UIO序列一直为人们所关注。提出了一种基于估价函数的启发式生成UIO序列的算法，通过分析比较该算法能更有效地产生UIO序列。

关键词: 有限自动机, UIO序列, 启发式搜索, 估价函数

Abstract: A testing method based on UIO sequence was widely used in protocol conformance testing and software conformance testing，how to efficiently generate shorter UIO sequence is always focused.A heuristic algorithm based on evaluation function for UIO sequence generation is proposed，this algorithm can efficiently generate UIO sequence.

Key words: finite state machine, UIO sequence, heuristic search, evaluation function

郑剑^1,2,江建慧¹. 一种启发式UIO序列生成算法[J]. 计算机工程与应用, 2008, 44(20): 96-98.

ZHENG Jian^1,2,JIANG Jian-hui¹. Heuristic algorithm for Unique Input/Output sequence generation[J]. Computer Engineering and Applications, 2008, 44(20): 96-98.

[1]	张洪泽，洪征，周胜利，冯文博. 基于协议状态机遍历的模糊测试优化方法[J]. 计算机工程与应用, 2020, 56(4): 82-91.
[2]	赵江，张岩，马泽文，叶子超. 对AGV路径规划A星算法的改进与验证[J]. 计算机工程与应用, 2018, 54(21): 217-223.
[3]	迟晓晴，王玉涵，王艳慧. 有限自动机可识别语言的基数[J]. 计算机工程与应用, 2018, 54(15): 44-47.
[4]	李子强，宋余庆，陈健美，冯江. 基于Silverlight网页游戏的寻径优化算法[J]. 计算机工程与应用, 2013, 49(5): 59-63.
[5]	滑斌杰，林立忠，柴忠良. 粗糙域Voronoi图离散生成算法研究[J]. 计算机工程与应用, 2013, 49(23): 191-194.
[6]	邱涤珊，黄维，黄小军，王慧林. 多类扰动下电子侦察卫星动态调度问题研究[J]. 计算机工程与应用, 2012, 48(5): 239-243.
[7]	韩光辉. 正则语言的一个特征[J]. 计算机工程与应用, 2012, 48(4): 43-44.
[8]	拓守恒1，周涛2. 一种用于求解0-1背包问题的动态伸缩算法[J]. 计算机工程与应用, 2012, 48(4): 47-49.
[9]	魏德志，洪联系，林丽娜，吴旭. 一种改进的XFA在深度包检测中的应用[J]. 计算机工程与应用, 2012, 48(34): 245-248.
[10]	雷国平，谭泽富. 有限自动机在CMMB解复用中的应用研究[J]. 计算机工程与应用, 2012, 48(17): 154-160.
[11]	黄飞丹1，曹发生1，2. 循环自动机的等价性[J]. 计算机工程与应用, 2011, 47(7): 34-35.
[12]	陈涛，潘雪增，陈健，陈小平，陆魁军. 基于FSM的协议一致性测试序列生成算法研究[J]. 计算机工程与应用, 2010, 46(6): 60-62.
[13]	刘浩¹，卿桐²，张连明³. 一种P2P网络的重复博弈激励机制[J]. 计算机工程与应用, 2010, 46(35): 75-77.
[14]	潘晓英. 混合多智能体遗传算法[J]. 计算机工程与应用, 2010, 46(3): 9-12.
[15]	雷红轩. 格值有限状态自动机的半群[J]. 计算机工程与应用, 2010, 46(25): 49-50.

一种启发式UIO序列生成算法

Heuristic algorithm for Unique Input/Output sequence generation

PDF

可视化

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 15

编辑推荐

Metrics