Model-based Testing of the Conference Protocol with Spec Explorer (CROSBI ID 533150)
Prilog sa skupa u zborniku | izvorni znanstveni rad | međunarodna recenzija
Podaci o odgovornosti
Botinčan, Matko ; Novaković, Vedran
engleski
Model-based Testing of the Conference Protocol with Spec Explorer
This paper presents a case study of model-based testing of the Conference Protocol, a simple multicast chat box protocol, with the model-based testing tool Spec Explorer. Our approach differs from previous case studies of the Conference Protocol primary in the choice of the employed modeling language and the tool for model-based testing. The set of results provided by this paper aims to be comparable with existing results on testing the Conference Protocol with other model-based testing tools. Additionally, the presented data by itself also gives a novel performance measurement of the Spec Explorer tool.
model-based testing; distributed protocols; Spec Explorer
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
Podaci o prilogu
131-138.
2007.
objavljeno
Podaci o matičnoj publikaciji
Proceedings of the 9th International Conference on Telecommunications ConTEL 2007
Željka Car, Željka ; Kušek, Mario
Zagreb: Fakultet elektrotehnike i računarstva Sveučilišta u Zagrebu
978-953-184-110-8
Podaci o skupu
International Conference on Telecomunications (9 ; 2007)
predavanje
13.06.2007-15.06.2007
Zagreb, Hrvatska