Applying a model based testing approach for testing the communication protocol between the cash register software and the Loymax service
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 invol...
| Published in: | 2017 International Siberian Conference on Control and Communications (SIBCON), Kazakhstan, Astana, June 29-30, 2017 : proceedings P. [1-6] |
|---|---|
| Main Author: | |
| Other Authors: | , |
| Format: | Book Chapter |
| Language: | English |
| Subjects: | |
| Online Access: | http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000627805 Перейти в каталог НБ ТГУ |