Ivannikov Institute for System Programming of the RAS

Deriving complete finite tests based on state machines.


I.Burdonov, A. Kossachev, N. Yevtushenko.


Many state machine based strategies return complete but infinite test suites. One solution for getting complete finite tests is to limit the number of faults, i.e., to consider a finite fault domain. In this paper, we summarize some results on deriving complete test suites w.r.t. infinite fault domains against proper types of the specification machines.

Full text of the paper in pdf


input/output automata, Finite State Machine, fault model, complete test suite.


Proceedings of 12-th IEEE East-West Design& Tests Symposium (EWDTS 2014), Kharkov National University of Radioelectronics, 2014, pp. 100-103.

Research Group

Software Engineering

All publications during 2014 All publications