Ivannikov Institute for System Programming of the RAS


Deriving complete finite tests based on state machines.

Authors

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

Abstract

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

Keywords

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

Edition

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