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

Protocol validity verifying and testing method based on mode conversion

A technology for correctness verification and model conversion, applied in data exchange networks, digital transmission systems, electrical components, etc., to solve problems such as incompleteness, implicit errors in protocol test results, and implicit errors in formalized protocol descriptions.

Inactive Publication Date: 2009-07-08
HUAWEI TECH CO LTD +1
View PDF2 Cites 0 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

[0008] The disadvantage of the protocol correctness verification method based on a single formal model in the prior art is that each single formal model has its pertinence and focus, but none of them are comprehensive, and cannot guarantee the correctness in the initial stage of protocol design. It can realize the complete correctness verification of the protocol
Since the design, formal description and verification of the protocol are all carried out by humans, there are inevitably human errors in the protocol verified by a single formal model
The existence of these errors will lead to implicit errors in the formal description of the protocol, which is not complete enough, which in turn will lead to implicit errors in the generated protocol test sequence and the final protocol test results, which are not complete

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 validity verifying and testing method based on mode conversion
  • Protocol validity verifying and testing method based on mode conversion
  • Protocol validity verifying and testing method based on mode conversion

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0037] The invention provides a protocol correctness verification and testing method based on model conversion. The core of the present invention is: because the probability of the same error occurring in the protocols described by different formalized models is very small, so various formalized models for the same communication protocol are converted into the same formalized model, and then After the converted models are compared with each other, the logical errors in the formal description of the protocol can be located and corrected. In order to realize the correctness verification of the agreement.

[0038] Describe the method of the present invention in detail below in conjunction with accompanying drawing, the specific processing flowchart of the method of the present invention is as follows figure 1 shown, including the following steps:

[0039] Step 1-1. Formally describe the communication protocol to be verified and tested by using at least two typical formalized mo...

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 present invention relates to a protocol correctness verification and testing method based on model conversion. The method mainly includes: using at least two formal models to formally describe the protocol; respectively converting the at least two formal models into the same A formalized model of the same type of formalized model; a verified protocol formalized model is obtained by comparing the difference between the same formalized models, and correctness verification and testing of the protocol are performed based on the verified protocol formalized model. Using the method of the invention can not only realize the correctness certification of the protocol in the early stage of protocol development, but also can develop a test system tool for a specific protocol, providing a high-level completeness guarantee for the subsequent protocol test.

Description

technical field [0001] The invention relates to the protocol engineering technology in the modern communication field, in particular to a protocol correctness verification and testing method based on model conversion. Background technique [0002] With the improvement of network service requirements, the complexity of network systems requires that high-quality communication protocols can no longer be designed by engineering intuition. Protocol Engineering (Protocol Engineering) technology uses formal methods to describe protocol design and maintenance. The various activities in the protocol make the whole process of protocol development integrated, systematized and formalized, so as to ensure the integrity, correctness, security and portability of the protocol. [0003] With the improvement of protocol formal description technology, the development method of network communication protocol will gradually transition from informal description and manual method to software engin...

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
Patent Type & Authority Patents(China)
IPC IPC(8): H04L12/26H04L29/06
Inventor 屈玉贵江涛赵宝华李姝张利琰周颢
Owner HUAWEI TECH CO LTD
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