协议一致性自动测试研究.pdf

华中科技大学
硕士学位论文
协议一致性自动测试研究
姓名:余霞
申请学位级别:硕士
专业:信号与信息处理
指导教师:柳健;许毅平
20070201
华科大硕学论

摘要
随着计算机通信技术的飞速发展,计算机网络在人类的生活中扮演着越来越重要
的角色。因而协议测试成为网络协议工程学中研究的热点。随着 协议是楼宇
自动控制网络中 ISO 的国际标准(ISO 16484-5),市场上 协议产品数量的日
益增长,对 协议进行一致性测试的需求也越来越迫切。
本文首先介绍了网络协议测试的基本概念和发展现状、一致性测试的基本过程以
及基于扩展有限状态机的协议一致性测试方法和模型。
然后,在深入研究 协议规范的基础上,分析了 应用层状态变迁
的规则,并以扩展有限状态机为模型,提出了一种基于规则推理的协议状态机生成方
法,该方法能够根据协议一致性声明自动生成测试状态机。
接着,介绍了 协议的 EPICS 文件的内容,讨论了其在一致性测试中的作
用。通过分析 协议一致性测试的内容,不仅给出了测试规则的设计方案,而
且也给出了由 EPICS 提供的事实和测试规则匹配产生的测试集的设计方案。
最后,本文对 协议一致性测试集描述方法——BTS-Script 的语法规则进
行了定义。提出了基于选取测试集中的测试例来自动生成测试脚本的一种方法,并分
析了系统的不足之处,提出改进方案,明确了进一步的研究工作。

关键词:一致性测试、协议、扩展有限状态机、测试集

I
华科大硕学论
Abstract
With the rapid development munication technology, computer
networks are playing more and more important role in human’s life. So protocol testing is a
hot area of research work protocol engineering. Because is the international
munication protocol in building automation works (ISO 16484-5),
the quantity of products in market grows very fast, and an effective method to test
products has e a necessity.
First, the article reviews the evolution and basic concepts work protocol testing
theory, and describes the process of conformance testing and means of testing based on
EFSM.
Second, based on the deep inspection of standard, the article analyzes the
transferring rules of application state machine. With the model of EFSM, how the
application state machine automatic generated by rule illation is proposed.
Then, introducing the content of EPICS, discusses how is important to protocol
conformance testing. By analyzing the content of conformance testing, the article
describes not only the structure of the test rules, but also the structure of the test suite which
is made by matching the facts in EPICS with the test rules.
Finally, the definitions of BTS-Script which is a script-based test description method of
conformance testing are presented. The