Unlock instant, AI-driven research and patent intelligence for your innovation.

Method and system for generating distributed test scripts based on model checking

A test script and model detection technology, applied in the direction of correct operation test, transmission system, digital transmission system, etc., can solve the problems of unfavorable protocol test, unsupported distributed test architecture, etc., and achieve the effect of improving accuracy

Active Publication Date: 2020-05-01
TSINGHUA UNIV
View PDF9 Cites 0 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

[0005] One of the technical problems to be solved by the present invention is that the test generation method based on model detection in the prior art is limited to a centralized test architecture, does not support a distributed test architecture, and is not conducive to protocol testing.

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
  • Method and system for generating distributed test scripts based on model checking
  • Method and system for generating distributed test scripts based on model checking
  • Method and system for generating distributed test scripts based on model checking

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0042] The implementation of the present invention will be described in detail below in conjunction with the accompanying drawings and examples, so as to fully understand and implement the implementation process of how to apply technical means to solve technical problems and achieve corresponding technical effects in the present invention. The embodiments of the present application and the various features in the embodiments can be combined with each other under the premise of no conflict, and the formed technical solutions are all within the protection scope of the present invention.

[0043] figure 1 It is a schematic flowchart of a method for generating a distributed test script based on model detection according to an embodiment of the present invention. As shown in the figure, the generation method includes:

[0044] Step S110, constructing a formalized model and constraints compatible with the specification of the network communication protocol.

[0045] Step S120, usin...

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 invention discloses a distributed test script generation method and generation system based on model detection, wherein the generation method comprises constructing a formal model and a constraintwhich are matched with the specification of a network communication protocol; exploring the state space of the formal model by means of a model detection tool, and if a violation of the constraint exists, generating and outputting a counter example which corresponds to the violation by the model detection tool; analyzing the reverse example to obtain a process list and a message sequence in the reverse example; and generating a distributed test script according to the process list and the message sequence. The method realizes the distributed testing of the network communication protocol and helps to improve the accuracy of network communication protocol testing.

Description

technical field [0001] The invention belongs to the technical field of network protocol testing, and in particular relates to a method and system for generating distributed test scripts based on model detection. Background technique [0002] Protocol testing technology is an important means to ensure the correct implementation of network communication protocols and the correct interconnection between different network devices. Conformance testing is a basic protocol testing method, which is mainly used to detect whether the implementation of the protocol is consistent with the specification of the protocol. [0003] Test generation based on model checking is an important issue in this field. It is mainly based on model checking to find errors in protocol specifications and generate test sets (or test scripts) for testing activities. In most of the proposed test generation techniques based on model checking, the basic idea is to establish a formal model according to the prot...

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/26H04L12/24H04L1/24
Inventor 姚姜源王之梁施新刚尹霞李崇荣
Owner TSINGHUA UNIV