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

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...

Images