一种协议互操作测试系统开发框架  

A Framework for Developing Protocol Interoperability Test System

作　　者：董书瀚[1] 艾中良[1] 

机构地区：[1]华北计算技术研究所总体部,北京100083

出　　处：《计算机与现代化》2013年第3期139-143,147,共6页Computer and Modernization

摘　　要：鉴于现有的协议互操作测试方法自动化程度不高,本文给出一种用于描述分布式通信系统的有限状态机模型,并基于该形式化模型和被动测试的思想提出一种协议互操作测试系统开发框架,遵循该框架开发的测试系统能够自动分析被测系统每次通信从属的协议过程,并自动验证报文和流程的正确性。The existing test methods for protocol interoperability have a low degree in automation.This paper presents a framework of protocol interoperability test.A finite state machine model is put forward for describing systems under test.The framework is based on the model and the theory of passive testing.The test systems developed following the framework have two main features.One is to tell which process in the protocol does each message belong to automatically.The other is to validate the correctness of messages and process automatically.

关 键 词：协议测试 自动测试 互操作能力 有限状态机 系统开发框架 

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