Abstract:The Extended Finite State Machine (EFSM) is one of the most popular modeling approaches for model-based testing. However, EFSM-based test case generation is susceptible to the infeasible (inexecutable) path problem, which stems from the conflict of predicates (guards) between transitions in the path. Therefore, in order to derive feasible test cases, a test generation algorithm needs to dynamically acquire information about the model and verify the feasibility of the generated test path through the simulation execution of the model. The traditional method of constructing executable models using hard-coding for different EFSM models under test has limitations such as inflexibility, time-consuming and error-prone. To address this issue, this paper develops an open source test generation tool for testing EFSM-specified systems, PTSG, to support the automatic generation of executable test cases. It decouples the EFSM model description, parsing and simulation execution functions from the test generation algorithm, which can effectively improve the efficiency and quality of test generation. In particular, PTSG first uses a well-designed JSON syntax to describe the specific EFSM under test. Then, based on the model description file, it uses lexical and syntactic parsers to dynamically extract model information to construct various model objects in memory such as state configurations, transitions, etc. Finally, the tool provide a series of service interfaces to support model information acquisition, transition feasibility evaluation, and model simulation execution. A case study of test sequence generation for the SCP protocol model demonstrates the capability and promise of the PTSG to serve executable test cases.

A Novel Method Of State Identification Sequences Generation For Testing Communication Protocols Modeled As Extended Finite State Machines

Study of protocol conformance test sequence generation algorithm based on FSM

Adaptive generation algorithm for executable state identification sequences in EFSM model

A Test Sequence Generation Algorithm Based on Improved Transition Executability Analysis

A New Method to Generate Test Sequences for Protocol Conformance Testing

Test Sequence Generation of a Communication Protocol by an Heuristic State Configuration Exploration

Modeling and Testing of Network Protocols with Parallel State Machines.

Identification of ICS Security Risks Toward the Analysis of Packet Interaction Characteristics Using State Sequence Matching Based on SF-FSM

A New Method of Generation of Communication Protocol Test Sequence

Reachability Graph Based Hierarchical Test Generation for Network Protocols Modeled as Parallel Finite State Machines

Automatic Test Generation Based on Hierarchical Finite State Machines

Test Sequences Generation in Protocol Test

PTSG: a test generation tool based on extended finite state machine

A Test Path Generation Method Based on SSM Models

TEST SEQUENCE GENERATION OF PROTOCOL WITH SPONTANEOUS EVENTS

TEST SEQUENCES SELECTION BASED ON DETERMINISTIC FINITE-STATE MACHINES

EFSM-Based Test Case Generation: Sequence, Data, and Oracle

Protocol Interoperability Test Generation Based on Communicating Multi-Port FSMs

A New Approach of Automated Test Case Generation on Extended Finite State Machine

An Automated Mechanism of Security Test on Network Protocols

An Improved EFSM Model for Class Test