Applying a model based testing approach for testing the communication protocol between the cash register software and the Loymax service M. S. Forostyanova, N. V. Shabaldina, N. V. Yevtushenko
Material type:
ArticleSubject(s): веб-сервисы | конечные автоматы | протоколы связиGenre/Form: статьи в сборниках Online resources: Click here to access online
In:
2017 International Siberian Conference on Control and Communications (SIBCON), Kazakhstan, Astana, June 29-30, 2017 : proceedings P. [1-6]Abstract: In this work we apply test derivation methods for
(extended) finite state machines for testing the functionality of the
Communication Protocol between the cash register software and
the Loymax service when conducting cash transactions. The
Protocol was provided by Loymax that is the company involved in
the development and support of loyalty programs. We analyze the
difficulties that occur when we extract a formal model from the
description of the system and we suggest different ways for
simplify the derived models; we also discuss further directions for
this investigation.
In this work we apply test derivation methods for
(extended) finite state machines for testing the functionality of the
Communication Protocol between the cash register software and
the Loymax service when conducting cash transactions. The
Protocol was provided by Loymax that is the company involved in
the development and support of loyalty programs. We analyze the
difficulties that occur when we extract a formal model from the
description of the system and we suggest different ways for
simplify the derived models; we also discuss further directions for
this investigation.
There are no comments on this title.