crta
Hrvatska znanstvena Sekcija img
bibliografija
3 gif
 Naslovna
 O projektu
 FAQ
 Kontakt
4 gif
Pregledavanje radova
Jednostavno pretraživanje
Napredno pretraživanje
Skupni podaci
Upis novih radova
Upute
Ispravci prijavljenih radova
Ostale bibliografije
Slični projekti
 Bibliografske baze podataka

Pregled bibliografske jedinice broj: 322228

Zbornik radova

Autori: Botinčan, Matko; Novaković, Vedran
Naslov: Model-based Testing of the Conference Protocol with Spec Explorer
( Model-based Testing of the Conference Protocol with Spec Explorer )
Izvornik: 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. 131-138 (ISBN: 978-953-184-110-8).
Skup: International Conference on Telecomunications (9 ; 2007)
Mjesto i datum: Zagreb, Hrvatska, 13-15.06.2007.
Ključne riječi: model-based testing; distributed protocols; Spec Explorer
( 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.
Vrsta sudjelovanja: Predavanje
Vrsta prezentacije u zborniku: Cjeloviti rad (više od 1500 riječi)
Vrsta recenzije: Međunarodna recenzija
Projekt / tema: 037-1193086-2771, 037-0362980-2774
Izvorni jezik: eng
Kategorija: Znanstveni
Znanstvena područja:
Matematika,Računarstvo
Upisao u CROSBI: Matko Botinčan (mabotinc@student.math.hr), 16. Vel. 2008. u 20:39 sati



  Verzija za printanje   za tiskati


upomoc
foot_4