Test derivation based on tree FSMs and tree automata

Test derivation based on tree FSMs and tree automata

In this paper, an approach for testing software implementations of telecommunication protocols based on tree finite state machines (FSM) is proposed. The first step is the extraction of the specification Extended FSM from an informal protocol description. The next step is to derive a corresponding E...

Full description

Bibliographic Details
Main Author: Maria Forostyanova
Format: Article
Language:English
Published: Ivannikov Institute for System Programming of the Russian Academy of Sciences 2018-10-01
Series:Труды Института системного программирования РАН
Subjects:
telecommunication protocols
extended finite state machine
tcp
l-equivalent
Online Access:https://ispranproceedings.elpub.ru/jour/article/view/863

Similar Items

Similar Items