协议测试套自动生成系统的设计与研究  

The Design and Research on Automation Generated System of Protocol Test Suite

作　　者：骞少禹 贾文钢[2] QIAN Shao-yu, JIA Wen-gang （1.Bureau of Meteorology, Chifeng 024000, China; 2.Inner Mongolia University of Technology, Hohhot 010051, China）

机构地区：[1]赤峰市气象局,内蒙古赤峰024000 [2]内蒙古工业大学,内蒙古呼和浩特010051

出　　处：《电脑知识与技术》2010年第10期8018-8020,共3页Computer Knowledge and Technology

摘　　要：该文讨论了一种协议测试套的自动生成方法及测试套生成系统的实现。该系统使用E-LOTOS作为协议的形式化描述规范，然后基于UIO序列和Dijkstra算法等技术自动生成基于TTCN-3描述的测试套。将该系统应用于对BGP-4协议的一致性测试中，自动生成了BGP-4协议状态机的测试套，提高了效率并且扩大了覆盖面。A method of Test Suite automation generating and the implement of Test Suite generating system were discussed in the paper. E-LOTOS was used to describe protocol in this system, then used UIO sequence and Dijkstra algorithm to generate test suite that TTCN-3 described. Applied the system to the conformance test of BGP-4 protocol, and it produced the test suite of the FSM of the BGP-4 automatically. Therefore it had enhanced the efficiency and expanded the coverage..

关 键 词：测试套 BGP-4 UIO TTCN-3 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论;自动化与计算机技术—计算机科学与技术]