FSM abstraction based method for deriving test suites with guaranteed fault coverage against nondeterministic Finite State Machines with timed guards and timeouts

Finite State Machine (FSM) based approaches are widely used for deriving tests with guaranteed fault coverage for discrete event systems and as the behavior of many nowadays information and control systems depends on time, classical FSMs are extended by clock variables. Moreover, optionality in the...

Full description

Bibliographic Details

Published in:	Труды Института системного программирования РАН
Main Authors:	Aleksandr Sergeevitch Tvardovskii, Nina Vladimirovna Evtushenko
Format:	Article
Language:	English
Published:	Russian Academy of Sciences, Ivannikov Institute for System Programming 2019-10-01
Subjects:	конечный автомат таймаут временные ограничения недетерминированные временные автоматы синтез тестов с гарантированной полнотой
Online Access:	https://ispranproceedings.elpub.ru/jour/article/view/1169