Protocol layering test generation method based on parallel expansion finite-state machine

Abstract

The invention discloses a protocol layering test generation method based on a parallel expansion finite-state machine. The method comprises steps as follows: a protocol specification of to-be-tested network equipment is described into a parallel expansion finite-state machine model; a variable use condition of each component model in the parallel expansion finite-state machine model is described into a state machine dependency graph; according to the state machine dependency graph, a component state machine reachability graph is generated with a bottom up reachability graph generating algorithm; a component state machine local test set is generated according to the component state machine reachability graph; and according to the state machine dependency graph, the component state machine local test set is enabled to generate a component state machine parallel test set with a top-down generating algorithm. According to the method, the dependency graph is introduced, and in the test generating process, the bottom up reachability graph generating algorithm and the top-down test generating algorithm are used according to the dependency graph, so that performability of a generated test sequence is ensured, and simultaneously, the state explosion problem is solved through layering generating.

Description

technical field [0001] The invention relates to the technical field of network protocol testing, in particular to a protocol layered test generation method based on a 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] Test generation based on formal methods 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 test generation techniques that have been proposed, the basic idea is to model the system under test (SUT) as a finite state machine or a system that extend...

AI Technical Summary

Problems solved by technology

[0004] There are some problems in the proposed test generation techniques as follows: First, the heuristic test generation technique based on the extended finite state machine can effectively avoid the state explosion problem, but due to the inherent characteristics of the heuristic method, this technique cannot ensure that the generated test sequences are executable

Second, the reachability analysis test generation technology based on the extended finite state machine can ensure that the generated test sequences are all executable, but there is a state explosion problem

Images