基于CFSM的一致性测试序列生成方法  

Test Sequence Generation Method For Protocol Conformance Test Based CFSM

作　　者：李希合[1] 胡总[2] LI Xi-he, HU Zong （1. College of Network Education, Northwest Normal University, Lanzhou 730070, China; 2. College of Education, Ningbo University, Ningbo 315211, China）

机构地区：[1]西北师范大学网络教育学院,甘肃兰州730070 [2]宁波大学教育学院,浙江宁波315211

出　　处：《电脑知识与技术》2008年第9期1589-1591,共3页Computer Knowledge and Technology

基　　金：西北师范大学校青年基金项目（nwnu-qn-07-26）

摘　　要：本文采用通信有限状态机模型描述通信协议，基于通信有限状态机模型提出了协议一致性测试的测试序列生成方法，解决了构件化协议的测试序列生成的问题。本文实现了测试序列的生成算法，通过实例说明了采用测试序列生成算法生成了比传统算法更少的测试序列。同时本算法还可以用于多层协议测试。This paper proposes test sequence generation method for protocol conformance test based Communication Finite State Machine （CFSM）. The algorithm solved test sequence generation problem of component-based protocol. This paper implements the test sequence generation algorithm, and an example shows the use of test sequence generation algorithm generated the short number of test sequence. In addition, the algorithm also can be used for multi-protocol testing.

关 键 词：有限状态机 通信有限状态机 一致性测试 

分 类 号：TP301[自动化与计算机技术—计算机系统结构;自动化与计算机技术—计算机科学与技术]