Recent Advances in the Theory of Checking Experiments with State-oriented Models

Abstract

We consider the problem of model-based testing of reactive systems with state-oriented models, such as finite state machines and transition systems, both distinguishing inputs and outputs. Inputs to an Implementation under Test (IUT) are generated by a tester, while outputs are analyzed by the latter to conclude whether the IUT is a conforming implementation of a given specification. This problem has its roots in the theory of checking experiments for finite state machines. It continues to attract a lot of attention of research community. In this paper, we provide a short overview of directions in which this theory has evolved. We report on our recent contributions and point to several unsolved tasks.