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.
CN100512157CInactive Publication Date: 2009-07-08HUAWEI TECH CO LTD +1
2 Cites 0 Cited by

Patent Information

Authority / Receiving Office
CN · China
Patent Type
Patents(China)
Current Assignee / Owner
HUAWEI TECH CO LTD
Publication Date
2009-07-08
Estimated Expiration
Not applicable · inactive patent

Smart Images

  • Figure 1
    Figure 1
  • Figure 2
    Figure 2
  • Figure 3
    Figure 3
Patent Text Reader

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.
Need to check novelty before this filing date? Find Prior Art

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