Protocol test generating method of parallel expansion finite-state machine based on variable dependence

A finite state machine and state machine technology, applied in digital transmission systems, electrical components, transmission systems, etc., can solve problems such as state explosion and unexecutable paths

Active Publication Date: 2012-04-04
TSINGHUA UNIV
View PDF5 Cites 16 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

[0006] The technical problem to be solved by the present invention is: how to solve the problem of non-executable paths caused by variable dependence, and at the same time avoid state explosion

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 test generating method of parallel expansion finite-state machine based on variable dependence
  • Protocol test generating method of parallel expansion finite-state machine based on variable dependence
  • Protocol test generating method of parallel expansion finite-state machine based on variable dependence

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0076] A protocol test generation method based on a variable-dependent parallel extended finite state machine proposed by the present invention will be described in detail in conjunction with the drawings and embodiments below.

[0077] The idea of ​​the method proposed by the present invention is: firstly, the extended finite state machine test generation technology that ignores variable dependencies is used to generate the component state machine abstract test set; then, for external variable dependencies, an executable external leader sequence is generated and combined with the Machine abstraction test set links to solve the problem that the path cannot be executed due to the use of external variables.

[0078] Such as figure 1 As shown, the test generation method of the present invention includes the following steps:

[0079] Step 1: In the computer, describe the protocol specification of the network device under test as a parallel extended finite state machine model Ms; ...

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 relates to the technical field of a network protocol test and discloses a protocol test generating method of a parallel expansion finite-state machine based on variable dependence. The protocol test generating method comprises the following steps of 1. in a computer, describing a protocol specification of tested network equipment as a parallel expansion finite-state machine model; 2. generating a component state machine abstract test set by adopting a test generation technology of the expansion finite-state machine ignoring the variable dependence; 3. aiming at external variables, generating an executable external leader sequence; 4. carrying out executable processing on the component state machine abstract test set by linking the external leader sequence; 5. generating a cross-state machine abstract test set with respect to the external variables; and 6. combining the abstract test set processed in the step 4 and the abstract test set generated in the step 5, deleting a repeated or an included test sequence and obtaining the abstract test set of a protocol state machine. By adopting the protocol test generating method, the non-executable problem of the path caused by the variable dependence is solved, and the state explosion is avoided.

Description

technical field [0001] The invention relates to the technical field of network protocol testing, in particular to a protocol test generation method based on a variable-dependent parallel extended finite state machine. 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, and its goal is to detect whether the protocol implementation is consistent with the protocol specification. [0003] Formal method-based test generation is an important issue in this field, and its goal is to generate test sets (or test sequences) for testing activities starting from the formal model of protocol specifications. In most of the proposed test generation techniques, the basic idea is to model the system under test (SUT) as a finite state machine or a system extending the finit...

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 Applications(China)
IPC IPC(8): H04L12/26H04L29/06
Inventor 王之梁姚姜源尹霞
Owner TSINGHUA UNIV
Who we serve
  • R&D Engineer
  • R&D Manager
  • IP Professional
Why Eureka
  • Industry Leading Data Capabilities
  • Powerful AI technology
  • Patent DNA Extraction
Social media
Try Eureka
PatSnap group products

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

© 2024 PatSnap. All rights reserved.Legal|Privacy policy|Modern Slavery Act Transparency Statement|Sitemap