Abstract:
The complexity of communication systems necessitates the replacement of simpler finite-state machine (FSM) models with the timed or untimed extended finite-state machine (EFSM) models. However, due to the infeasible paths caused by interdependencies among the context or timing variables, the generation of only feasible test sequences automatically from the EFSMs remains an open research problem. If the conflicts among the action, condition, and timing variables of the EFSM are not resolved, a portion of the generated test sequences may not be realized in a test laboratory. A methodology enabling the generation of only feasible test sequences from the EFSMs is described. Algorithms to detect and resolve conflicts among the EFSM actions and conditions are presented. The resulting EFSM graph after the conflicts are resolved can be an input to the FSM-based test generation methods reported in the literature.
Citations
|
2762
|
Communication and Concurrency
– Milner
- 1989
|
|
1393
|
A theory of timed automata
– Alur, Dill
- 1994
|
|
138
|
Principles and methods of testing finite state machines—A survey
– Lee, Yannakakis
- 1996
|
|
72
|
Minimization of timed transition systems
– Alur, Courcoubetis, et al.
- 1992
|
|
71
|
and A Dahbura. A protocol test generation procedure
– Sabnani
- 1988
|
|
61
|
Online minimization of transition systems
– Lee, Yannakakis
- 1992
|
|
34
|
Automatic generation of functional vectors using the extended finite state machine model
– Cheng, Krishnakumar
- 1996
|
|
34
|
Formal methods for test sequence generation
– Ural
- 1992
|
|
28
|
A test sequence selection method for protocol testing
– Ural, Yang
- 1991
|
|
26
|
Timed test cases generation based on state characterisation technique
– En-Nouaary, Dssouli, et al.
- 1998
|
|
24
|
On the generation of minimal-length conformance tests for communication protocols
– Miller, Paul
- 1993
|
|
19
|
An Efficient State Space Generation For the Analysis of Real-Time Systems
– Kang, Lee
- 1996
|
|
16
|
Design and Validation of Protocols
– Holzmann
- 1990
|
|
12
|
Test generation based on control and data dependencies within system specifications in SDL
– Ural, Saleh, et al.
- 2000
|
|
10
|
Conformance Testing Methodologies and Architectures for OSI Protocols
– Linn, Uyar
- 1994
|
|
10
|
Modeling VHDL specifications as consistent EFSMs
– Uyar, Duale
- 1997
|
|
9
|
Generation of feasible test sequences for EFSM models
– Duale, Uyar
- 2000
|
|
9
|
Test generation in the presence of conflicting timers
– Fecko, Amer, et al.
- 2000
|
|
8
|
Confirming Configurations in EFSM
– Petrenko, Boroday, et al.
- 1999
|
|
7
|
An executable protocol test sequence generation method for EFSM-specified protocols
– Huang, Lin, et al.
- 1995
|
|
6
|
Programming. A Series of Books
– Linear
- 1983
|
|
5
|
Test development for communication protocols: Towards automation
– Dssouli, Saleh, et al.
- 1999
|
|
5
|
A unified test case generation method for the EFSM model using context independent unique sequences
– Ramalingom, Das, et al.
- 1995
|
|
4
|
Automatic Protocol Test Suite Derivation
– Chanson, Zhu
- 1994
|
|
4
|
Symbolic Execution of Software
– Coward, Ince
- 1995
|
|
4
|
Optimization problems from feature testing of communication protocols
– Lee, Yannakakis
- 1996
|
|
3
|
Information Processing Systems—OSI. ISO Int’l Standard 9074: Estelle—A Formal Description Technique Based on an Extended State Transition Model
– ISO
- 1989
|
|
3
|
Automatic generation of extended UIO sequences for communication protocols in an EFSM model
– Li, Higashino, et al.
- 1994
|
