摘要
鉴于现有的协议互操作测试方法自动化程度不高,本文给出一种用于描述分布式通信系统的有限状态机模型,并基于该形式化模型和被动测试的思想提出一种协议互操作测试系统开发框架,遵循该框架开发的测试系统能够自动分析被测系统每次通信从属的协议过程,并自动验证报文和流程的正确性。
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.
出处
《计算机与现代化》
2013年第3期139-143,147,共6页
Computer and Modernization
关键词
协议测试
自动测试
互操作能力
有限状态机
系统开发框架
protocol test
automatic test
interoperability
finite state machine
system development framework
