Pretražite po imenu i prezimenu autora, mentora, urednika, prevoditelja

Napredna pretraga

Pregled bibliografske jedinice broj: 322228

Model-based Testing of the Conference Protocol with Spec Explorer


Botinčan, Matko; Novaković, Vedran
Model-based Testing of the Conference Protocol with Spec Explorer // Proceedings of the 9th International Conference on Telecommunications ConTEL 2007 / Željka Car, Željka ; Kušek, Mario (ur.).
Zagreb: Faculty of Electrical Engineering and Computing, 2007. str. 131-138 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni)


CROSBI ID: 322228 Za ispravke kontaktirajte CROSBI podršku putem web obrasca

Naslov
Model-based Testing of the Conference Protocol with Spec Explorer

Autori
Botinčan, Matko ; Novaković, Vedran

Vrsta, podvrsta i kategorija rada
Radovi u zbornicima skupova, cjeloviti rad (in extenso), znanstveni

Izvornik
Proceedings of the 9th International Conference on Telecommunications ConTEL 2007 / Željka Car, Željka ; Kušek, Mario - Zagreb : Faculty of Electrical Engineering and Computing, 2007, 131-138

ISBN
978-953-184-110-8

Skup
International Conference on Telecomunications (9 ; 2007)

Mjesto i datum
Zagreb, Hrvatska, 13-15.06.2007

Vrsta sudjelovanja
Predavanje

Vrsta recenzije
Međunarodna recenzija

Ključne riječi
model-based testing; distributed protocols; Spec Explorer

Sažetak
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.

Izvorni jezik
Engleski

Znanstvena područja
Matematika, Računarstvo



POVEZANOST RADA


Projekti:
037-0362980-2774 - Distribuirani algoritmi za pronalaženje optimalnih putova u grafovima (Manger, Robert, MZOS ) ( POIROT)
037-1193086-2771 - Numeričke metode u geofizičkim modelima (Singer, Saša, MZOS ) ( POIROT)

Ustanove:
Prirodoslovno-matematički fakultet, Matematički odjel, Zagreb

Profili:

Avatar Url Matko Botinčan (autor)

Avatar Url Vedran Novaković (autor)


Citiraj ovu publikaciju:

Botinčan, Matko; Novaković, Vedran
Model-based Testing of the Conference Protocol with Spec Explorer // Proceedings of the 9th International Conference on Telecommunications ConTEL 2007 / Željka Car, Željka ; Kušek, Mario (ur.).
Zagreb: Faculty of Electrical Engineering and Computing, 2007. str. 131-138 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni)
Botinčan, M. & Novaković, V. (2007) Model-based Testing of the Conference Protocol with Spec Explorer. U: Željka Car, Ž. & Kušek, M. (ur.)Proceedings of the 9th International Conference on Telecommunications ConTEL 2007.
@article{article, author = {Botin\v{c}an, Matko and Novakovi\'{c}, Vedran}, year = {2007}, pages = {131-138}, keywords = {model-based testing, distributed protocols, Spec Explorer}, isbn = {978-953-184-110-8}, title = {Model-based Testing of the Conference Protocol with Spec Explorer}, keyword = {model-based testing, distributed protocols, Spec Explorer}, publisher = {Faculty of Electrical Engineering and Computing}, publisherplace = {Zagreb, Hrvatska} }
@article{article, author = {Botin\v{c}an, Matko and Novakovi\'{c}, Vedran}, year = {2007}, pages = {131-138}, keywords = {model-based testing, distributed protocols, Spec Explorer}, isbn = {978-953-184-110-8}, title = {Model-based Testing of the Conference Protocol with Spec Explorer}, keyword = {model-based testing, distributed protocols, Spec Explorer}, publisher = {Faculty of Electrical Engineering and Computing}, publisherplace = {Zagreb, Hrvatska} }




Contrast
Increase Font
Decrease Font
Dyslexic Font