1. Tomsk State University
36 Lenin str., Tomsk, 634050, RUSSIA
yevtushenko@elephot.tsu.tomsk.su
2. Computer Research Institute of Montreal (CRIM)
1801 Avenue McGill College, Montreal (Quebec), H3A 2N4, CANADA
petrenko@crim.ca
Abstract
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.