协议测试中测试序列生成方法综述  

Test Sequences Generation in Protocol Test

作　　者：袁博[1] 李进[2] 孙海波 杨盘隆[3] 

机构地区：[1]解放军理工大学通信工程学院研究生2队,江苏南京210007 [2]炮兵学院,安徽合肥230031 [3]解放军理工大学通信工程学院电信工程系

出　　处：《军事通信技术》2008年第1期49-52,共4页Journal of Military Communications Technology

摘　　要：文章在介绍协议一致性测试基本概念的基础上,重点列举了测试序列的几种生成方法。对目前广泛采用的形式化描述模型,重点介绍其中基于有限状态机模型的测试序列生成方法,同时对基于扩展有限状态机以及确定有限状态机的测试序列生成方法也进行了介绍。文章对每一种方法介绍了其原理并分析了其使用中的局限。文章最后指出了在协议测试中面临的问题和进一步研究的方向。Some test generation methods were presented based on the concept of the protocol conformance testing.Most attention was paid to the model based on FSM,and also such other models as EFSM and DFSM.The important theories and limitations in each method were pre- sented.Finally further problems to be studied in this field and the development trends were pointed out.

关 键 词：协议测试 测试序列生成 一致性测试 

分 类 号：TP3[自动化与计算机技术—计算机科学与技术]