A characterization of the general protocol conformance testsequence generation problem for EFSM
نویسندگان
چکیده
We discuss the problems which arise in conformance testing when using the EFSM model as well as the problems which arise when extending the concepts used in FSM testing to EFSM. We characterize the problems of stability and executability of transitions, and see what these mean for generating test sequences. Also, we extend the concept of UIO sequences to EFSM, calling them identifying sequences, and discuss the problems which arise in this extension. Finally, we extend the concept of converging transitions to the EFSM model, which can aid in reducing the length of the test sequences.
منابع مشابه
A characterization of the general protocol conformance testsequence generation problem for EFSM ' sRaymond
We discuss the problems which arise in conformance testing when using the EFSM model as well as the problems which arise when extending the concepts used in FSM testing to EFSM. We characterize the problems of stability and executability of transitions, and see what these mean for generating test sequences. Also, we extend the concept of UIO sequences to EFSM, calling them identifying sequences...
متن کاملTest Generation for a Protocol Specified in SDL with Complex Loops by Event-based EFSM Modeling
Test case generation for a network protocol by extended finite state machine (EFSM) based modeling is a well-known technique in formal methods in conformance testing. An input output based EFSM (IOEFSM) is a popular model for a protocol specified in the specification and description language (SDL) because an SDL process diagram is based on an input-driven EFSM. However, as an SDL specification ...
متن کاملA Method for Executable Protocol Conformance Test Sequences Generation using Parametric Executable Analysis Tree
Automatic generation of executable test sequences is one of the key issues in conformance testing for protocols specified in extended finite state machines (EFSM). The traditional test generation methods based on the executable analysis tree, generally require the initial assignment of variables in the EFSM under testing. Unfortunately, how to select the initial value for input variables is a c...
متن کاملAutomatic Test Generation for EFSM-based Systems
The present work addresses the problem of conformance testing for EFSM-based systems and especially, the problem of automatically generating executable test cases. First, the most important description methods are presented. Then, the test generation methods for FSM (finite state machines)-based systems are described. However, since systems are more understood as extended finite state machines ...
متن کاملFinding Executable Paths In Protocol Conformance Testing
Communication protocol conformance testing aims at demonstrating the adherence of a protocol implementation to the protocol specification which is assumed to be correct. One of the most important issues in protocol testing is the generation of a small set of test sequences with large fault coverage. Since even the simplest protocol may require a very large number of test sequences to assure alm...
متن کامل