Transformation of Estelle modules aiming at test case generation
Olaf Henniger, Andreas Ulrich, Hartmut König · 1996
This paper presents a method for transforming an extended finite state machine (EFSM) given as an Estelle normal form module into an equivalent expanded EFSM without control variables, i.e. an Estelle normal form module free of provided-clauses. The transformed EFSM allows to apply methods based on the finite state machine (FSM) model for test case generation. Using this approach, it is possible to cope with test sequence generation for control and data flow and with test data selection. The transformation is feasible if the variables that occur in provided-clauses have finite, countable domains. For realistic protocol specifications, this condition is fulfilled most of the time.