Testing systems of interacting timed finite state machines with the guaranteed fault coverage

@article{Tvardovskii2016TestingSO,
  title={Testing systems of interacting timed finite state machines with the guaranteed fault coverage},
  author={Aleksandr Tvardovskii and M. L. Gromov and Nina Yevtushenko},
  journal={2016 17th International Conference of Young Specialists on Micro/Nanotechnologies and Electron Devices (EDM)},
  year={2016},
  pages={96-99}
}
In this paper we address the problem of deriving test suites for a system of interacting Finite State Machines (FSMs) with timed guards. We first show that unlike the general composition of timed automata, the composition of timed FSMs can be derived without uniting time variables of components and still can be described by an FSM that has a single time variable. We then discuss how tests with the guaranteed fault coverage can be derived for such composition. A simple composition example… CONTINUE READING

From This Paper

Topics from this paper.
1 Citations
0 References
Similar Papers

Citations

Publications citing this paper.

Similar Papers

Loading similar papers…