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...

Полное описание

Библиографические подробности

Главные авторы:	Aleksandr Sergeevitch Tvardovskii, Nina Vladimirovna Evtushenko
Формат:	Artigo
Язык:	Inglês
Опубликовано:	Russian Academy of Sciences, Ivannikov Institute for System Programming 2019-10-01
Серии:	Труды Института системного программирования РАН
Предметы:	конечный автомат таймаут временные ограничения недетерминированные временные автоматы синтез тестов с гарантированной полнотой
Online-ссылка:	https://ispranproceedings.elpub.ru/jour/article/view/1169
Метки:	Добавить метку Нет меток, Требуется 1-ая метка записи!