Sciweavers

PTS
2004

FSM Based Interoperability Testing Methods for Multi Stimuli Model

14 years 7 days ago
FSM Based Interoperability Testing Methods for Multi Stimuli Model
In this paper, we propose two fault models and methods for the derivation of interoperability test suites when the system implementation is given in the form of two deterministic communicating finite state machines. A test suite returned by the first method enables us to determine if the implementation is free of livelocks. If the implementation is free of livelocks, the second method returns a test suite that checks if the implementation conforms to the specification. Application examples are used to illustrate the methods.
Khaled El-Fakih, Vadim Trenkaev, Natalia Spitsyna,
Added 31 Oct 2010
Updated 31 Oct 2010
Type Conference
Year 2004
Where PTS
Authors Khaled El-Fakih, Vadim Trenkaev, Natalia Spitsyna, Nina Yevtushenko
Comments (0)