Looking for breakthrough ideas for innovation challenges? Try Patsnap Eureka!

Protocol description based on algebra of structure classes, and method for creating test sequence

A constructor and protocol technology, applied in the field of communication protocol conformance testing

Inactive Publication Date: 2006-04-19
UNIV OF SCI & TECH OF CHINA
View PDF0 Cites 1 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

[0004] Technical problem: The purpose of this invention is to propose a communication protocol formal description method based on construction category algebra and its test sequence generation method, which is used to solve the test sequence generation problem of communication protocol conformance test, so as to better carry out communication protocol test work

Method used

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
View more

Image

Smart Image Click on the blue labels to locate them in the text.
Viewing Examples
Smart Image
  • Protocol description based on algebra of structure classes, and method for creating test sequence

Examples

Experimental program
Comparison scheme
Effect test

Embodiment 1

[0080] Example 1 (take RIP protocol as an example)

[0081] The protocol to be formally described in this example is the Routing Information Protocol (RIP, Routing Information Protocol). For related content, refer to RFC1058.

[0082] The specific implementation flow chart is attached figure 1 As shown, each step is described in detail as follows:

[0083] 1) Determine the entity objects that the agreement always needs to be formally described

[0084] Analyze the protocol text, and obtain the entity objects that need to be described in the protocol as follows:

[0085] ●The IP address of the communication message (Address)

[0086] ●Subnet Mask (SubnetMask)

[0087] ●Next station IP address (NextHop)

[0088] ●Gateway through which the message passes (GateWay)

[0089] ●The distance to the destination (Metric), corresponding to the metric field of the message. The metric field contains the metric counter of the message, and the counter keeps increasing with the router through whi...

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to View More

PUM

No PUM Login to View More

Abstract

The method is in use for testing consistency of communication protocol. Description method for communication protocol is as following: determining data part and control part in text, which are as entity object to be described, of protocol. The protocol describes creating operation for an entity object, defines each operation for an entity object, as well as defines restriction and request for an entity object. Method for generating test sequence includes following steps: based on operating and observing interface for object to be tested in testing environment, the corresponding part in protocol description is determined as observable function; according to mode of rule match, rewriting each equation axiom in criterion of class algebra; then, constructed function is substituted by executive operation on entity object to be tested, and observable function is substituted operations to be observed so as to generate test sequence.

Description

Technical field [0001] The invention is a method for communication protocol conformance testing, and belongs to the technical field of communication protocol description methods and test sequence generation methods. Background technique [0002] The communication protocol conformance test is to test whether the working behavior of the communication software is consistent with the communication protocol. At present, the general method of communication protocol testing is to firstly describe the communication protocol formally, then generate test sequences, and finally use these test sequences for testing. [0003] At present, the most commonly used formal descriptions of communication protocols are Bell System Technical Journal (Bell System Technical Journal, 34(5), pp.1045-1079, 1955) and "Automata Studies" published by Princeton University Press. , CEshannon and J. McCarthy (ed.), pp.129-153, 1956) proposed the finite state machine (FSM) model technology...

Claims

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to View More

Application Information

Patent Timeline
no application Login to View More
IPC IPC(8): H04L12/26H04L29/06
Inventor 赵宝华屈玉贵周颢孙宇霖周晓煜柯尧
Owner UNIV OF SCI & TECH OF CHINA
Who we serve
  • R&D Engineer
  • R&D Manager
  • IP Professional
Why Patsnap Eureka
  • Industry Leading Data Capabilities
  • Powerful AI technology
  • Patent DNA Extraction
Social media
Patsnap Eureka Blog
Learn More
PatSnap group products

Browse by: Latest US Patents, China's latest patents, Technical Efficacy Thesaurus, Application Domain, Technology Topic, Popular Technical Reports.

© 2024 PatSnap. All rights reserved.Legal|Privacy policy|Modern Slavery Act Transparency Statement|Sitemap|About US| Contact US: help@patsnap.com