权益分类	功能权益	普通用户	{{item.name}}会员
{{category.name}}	{{benefitItem.name}}

A Study of Formal Description and Product Validation Method for Communication Protocols

通信协议形式化描述及产品验证方法研究

基本信息

批准号：
61460130
负责人：
SAITO Tadao
金额：
$ 3.26万
依托单位：
University of Tokyo
依托单位国家：
日本
项目类别：
Grant-in-Aid for General Scientific Research (B)
财政年份：
1986
资助国家：
日本
起止时间：
1986 至 1987
项目状态：
已结题

项目摘要

Frotocol is a collection of predetermined rule for communication amoung computers and terminals. To maintain stable operation of a computer network, it is essential to establish a communication protocol and to confirm that all the components used in the network conform to the established protocol. For this purpose protocol validation should be made on all the products which is to be connected to the network. This is called protocol product validation.One problem for protocol. product validation is how to describe the protocol, and how to qenerate the test sequence to be used for protocol validation. Conventionaly protocol itself is described in natural language, and the description is not suited for product validation.In our study, a formal protocol description language called event sequence expression has been proposed as a expression well suited for conversion from natural language expression. We devised a conversion system of event sequence description to state transition table. Once state transition table is obtained, generation of test sequence for product valuidation is possible by a method studied by the researchers.The method has been tested on various protocols including HDLC and the ISO standard transport layer protocol. The usefulness of the approach has been proved through the applications. In addition, conversion system from LOTOS to ESTELLE has also been studied. The conversion almost corresponds to the conversion from event sequence expression to state transition tawble expression. Some additional information was found to be needed to LOTOS for complete conversion.

Frotocol是为通信设备计算机和终端预定规则的集合。为了保持计算机网络的稳定运行，必须建立通信协议，并确认网络中使用的所有组件都符合所建立的协议。为此，应对所有要连接到网络的产品进行协议验证。这就是所谓的协议产品验证。协议的一个问题。产品验证是如何描述协议，以及如何生成用于协议验证的测试序列。传统的协议本身是用自然语言描述的，这种描述不适合于产品验证，在我们的研究中，一种形式化的协议描述语言--事件序列表达式被提出来作为一种非常适合于从自然语言表达式转换的表达式。设计了一个事件序列描述到状态转换表的转换系统。一旦获得状态转移表，就可以通过研究人员研究的方法生成用于产品评估的测试序列，该方法已经在包括HDLC和ISO标准传输层协议在内的各种协议上进行了测试。该方法的有效性已通过应用程序得到证明。此外，还对LOTOS转化为ESTELLE的转化体系进行了研究。这种转换几乎相当于从事件序列表达式到状态转移表表达式的转换。发现LOTOS需要一些额外的信息才能完成转换。