基于FSM的协议一致性测试序列生成算法研究
기우FSM적협의일치성측시서렬생성산법연구
Study of protocol conformance test sequence generation algorithm based on FSM
  • 万方数据
    计算机工程与应用 계산궤공정여응용
    COMPUTER ENGINEERING AND APPLICATIONS
    2010年 6期 60-62 ,共3页

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

    진도%반설증%진건%진소평%륙괴군

    协议一致性测试%有限状态机%UIO序列 協議一緻性測試%有限狀態機%UIO序列
    협의일치성측시%유한상태궤%UIO서렬
    protocol conformance test%Finife State Machine(FSM)%Unique Input/Output sequence
    在通信协议的一致性测试领域里,如何生成满足要求的测试序列一直是研究热点之一.针对生成的测试序列不够简捷高效的问题,在介绍了通信协议的主要形式化模型FSM后,先研究了基于UIO的测试序列生成算法,然后对原算法进行了改进.改进后的算法所生成的测试序列具有较高的错误覆盖率,并且能够缩短测试序列的长度.
    재통신협의적일치성측시영역리,여하생성만족요구적측시서렬일직시연구열점지일.침대생성적측시서렬불구간첩고효적문제,재개소료통신협의적주요형식화모형FSM후,선연구료기우UIO적측시서렬생성산법,연후대원산법진행료개진.개진후적산법소생성적측시서렬구유교고적착오복개솔,병차능구축단측시서렬적장도.
    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.
    원문보기 원문다운로드 사이트로이동
저자의 최근 논문