| 基于FSM的协议一致性测试序列生成算法研究 |
| |
| 引用本文： | 陈涛,潘雪增,陈健,陈小平,陆魁军.基于FSM的协议一致性测试序列生成算法研究[J].计算机工程与应用,2010,46(6):60-62. |
| |
| 作者姓名： | 陈涛 潘雪增 陈健 陈小平 陆魁军 |
| |
| 作者单位： | 浙江大学 计算机科学与技术学院，杭州 310027 |
| |
| 基金项目： | 国家科技支撑计划项目(No.2008BAH21B03);;浙江省重大专项(No.2007C11068,No.2007C11088)~~ |
| |
| 摘 要： | 在通信协议的一致性测试领域里，如何生成满足要求的测试序列一直是研究热点之一。针对生成的测试序列不够简捷高效的问题，在介绍了通信协议的主要形式化模型FSM后，先研究了基于UIO的测试序列生成算法，然后对原算法进行了改进。改进后的算法所生成的测试序列具有较高的错误覆盖率，并且能够缩短测试序列的长度。
|
| 关 键 词： | 协议一致性测试 有限状态机 UIO序列 |
| 收稿时间： | 2009-5-18 |
| 修稿时间： | 2009-7-2
|
Study of protocol conformance test sequence generation algorithm based on FSM |
| |
| 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. |
| |
| Authors: | CHEN Tao PAN Xue-zeng CHEN Jian CHEN Xiao-ping LU Kui-jun |
| |
| Affiliation: | Department of Computer Science and Technology，Zhejiang University，Hangzhou 310027，China |
| |
| 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. |
| |
| Keywords: | protocol conformance test Finife State Machine(FSM) Unique Input/Output sequence |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《计算机工程与应用》浏览原始摘要信息 |
|
点击此处可从《计算机工程与应用》下载全文 |
