Eine Plattform für die Wissenschaft: Bauingenieurwesen, Architektur und Urbanistik
Eine Plattform für die Wissenschaft: Bauingenieurwesen, Architektur und Urbanistik
A novel method of state identification sequences generation for testing communication protocols modeled as extended finite state machines
The existence of predicate and conditional statements of the protocol transition specified in EFSM model results in the generation of infeasible State Identification Sequence using traditional methods. Thus, how to automatically generate executable State Identification Sequences, in an efficient and effective way, becomes the critical issue for protocol conformance testing. In this paper, we present a novel method of executable state identification sequence generation used to preferably solve the executability problem of state identification sequences. Specifically, in terms of an executable analysis tree (EAT), the proposed method can ensure the executability of the generated state identification sequence. In a specific state identification scene, we can use a state projection subspace to simplify the state identification work. At last, an example was performed to show that the new method is how to work effectively.
A novel method of state identification sequences generation for testing communication protocols modeled as extended finite state machines
The existence of predicate and conditional statements of the protocol transition specified in EFSM model results in the generation of infeasible State Identification Sequence using traditional methods. Thus, how to automatically generate executable State Identification Sequences, in an efficient and effective way, becomes the critical issue for protocol conformance testing. In this paper, we present a novel method of executable state identification sequence generation used to preferably solve the executability problem of state identification sequences. Specifically, in terms of an executable analysis tree (EAT), the proposed method can ensure the executability of the generated state identification sequence. In a specific state identification scene, we can use a state projection subspace to simplify the state identification work. At last, an example was performed to show that the new method is how to work effectively.
A novel method of state identification sequences generation for testing communication protocols modeled as extended finite state machines
Ting Shu, (Autor:in) / Shouqian Sun, (Autor:in) / Haining Wang, (Autor:in)
01.11.2009
211564 byte
Aufsatz (Konferenz)
Elektronische Ressource
Englisch
| Online Contents | 1994
| BASE | 2021
| BASE | 2021
Extended d-form Sequences and Extended QF Sequences
| IEEE | 2006
Modeled and observed fine particulate matter reductions from state attainment demonstrations
| Taylor & Francis Verlag | 2014