A Testing Strategy for Interacting Finite State Machines

Nina Yevtushenko 1, Alexandre Petrenko 2 and Vadim Trenkaev 1

1. Tomsk State University
36 Lenin str., Tomsk, 634050, RUSSIA

2. Computer Research Institute of Montreal (CRIM)
1801 Avenue McGill College, Montreal (Quebec), H3A 2N4, CANADA

The paper addresses the problem of testing of interacting FSMs assuming that at most a single component machine can be faulty. A test derivation strategy is proposed based on the analysis of various representations of the behavior of a component under test.