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

ver descrição completa

Detalhes bibliográficos

Principais autores:	Aleksandr Sergeevitch Tvardovskii, Nina Vladimirovna Evtushenko
Formato:	Artigo
Idioma:	Inglês
Publicado em:	Russian Academy of Sciences, Ivannikov Institute for System Programming 2019-10-01
Colecção:	Труды Института системного программирования РАН
Assuntos:	конечный автомат таймаут временные ограничения недетерминированные временные автоматы синтез тестов с гарантированной полнотой
Acesso em linha:	https://ispranproceedings.elpub.ru/jour/article/view/1169
Tags:	Adicionar Tag Sem tags, seja o primeiro a adicionar uma tag!