Testing Timed Nondeterministic Finite State Machines with the Guaranteed Fault Coverage

Nowadays, the behaviour of many systems can be properly described by taking into account time constraints, and this motivates the adaptation of existing Finite State Machine (FSM)- based test derivation methods to timed models. In this paper, we propose a method for deriving conformance tests with t...

Full description

Bibliographic Details
Main Authors: Aleksandr S. Tvardovskii, Khaled El-Fakih, Maksim L. Gromov, Nina V. Yevtushenko
Format: Article
Language:English
Published: Yaroslavl State University 2017-08-01
Series:Моделирование и анализ информационных систем
Subjects:
Online Access:https://www.mais-journal.ru/jour/article/view/537