| 协议测试中测试序列生成方法综述 |
| |
| 引用本文： | 袁博,李进,孙海波,杨盘隆.协议测试中测试序列生成方法综述[J].军事通信技术,2008(1). |
| |
| 作者姓名： | 袁博 李进 孙海波 杨盘隆 |
| |
| 作者单位： | 解放军理工大学通信工程学院研究生2队;炮兵学院;解放军理工大学通信工程学院电信工程系; |
| |
| 摘 要： | 文章在介绍协议一致性测试基本概念的基础上,重点列举了测试序列的几种生成方法。对目前广泛采用的形式化描述模型,重点介绍其中基于有限状态机模型的测试序列生成方法,同时对基于扩展有限状态机以及确定有限状态机的测试序列生成方法也进行了介绍。文章对每一种方法介绍了其原理并分析了其使用中的局限。文章最后指出了在协议测试中面临的问题和进一步研究的方向。
|
| 关 键 词： | 协议测试 测试序列生成 一致性测试 |
Test Sequences Generation in Protocol Test |
| |
| YUAN Bo LI Jin SUN Hai-bo YANG Pan-long.Postgraduate Team ICE,PLAUST,Nanjing ,China,.Artillery Academy,Hefei,.Test Sequences Generation in Protocol Test[J].Journal of Military Communications Technology,2008(1). |
| |
| Authors: | YUAN Bo LI Jin SUN Hai-bo YANG Pan-longPostgraduate Team ICE PLAUST Nanjing China Artillery Academy Hefei |
| |
| Institution: | YUAN Bo~1 LI Jin~2 SUN Hai-bo~3 YANG Pan-long~31.Postgraduate Team 2 ICE,PLAUST,Nanjing 210007,China,.Artillery Academy,Hefei,230031,.Department of Telecommunications Engineering ICE |
| |
| Abstract: | 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. |
| |
| Keywords: | protocol test test sequences generation conformance testing |
| 本文献已被 CNKI 等数据库收录！ |
|
