Computer Engineering and Applications ›› 2010, Vol. 46 ›› Issue (6): 60-62.DOI: 10.3778/j.issn.1002-8331.2010.06.017
• 研发、设计、测试 • Previous Articles Next Articles
CHEN Tao，PAN Xue-zeng，CHEN Jian，CHEN Xiao-ping，LU Kui-jun
Received:
Revised:
Online:
Published:
Contact:
陈 涛，潘雪增，陈 健，陈小平，陆魁军
通讯作者:
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
摘要： 在通信协议的一致性测试领域里，如何生成满足要求的测试序列一直是研究热点之一。针对生成的测试序列不够简捷高效的问题，在介绍了通信协议的主要形式化模型FSM后，先研究了基于UIO的测试序列生成算法，然后对原算法进行了改进。改进后的算法所生成的测试序列具有较高的错误覆盖率，并且能够缩短测试序列的长度。
关键词: 协议一致性测试, 有限状态机, UIO序列
CLC Number:
TP393.06
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.
陈 涛，潘雪增，陈 健，陈小平，陆魁军. 基于FSM的协议一致性测试序列生成算法研究[J]. 计算机工程与应用, 2010, 46(6): 60-62.
0 / Recommend
Add to citation manager EndNote|Ris|BibTeX
URL: http://cea.ceaj.org/EN/10.3778/j.issn.1002-8331.2010.06.017
http://cea.ceaj.org/EN/Y2010/V46/I6/60
Performance evaluation and analysis of Parallel Network File System
