Nalazite se na CroRIS probnoj okolini. Ovdje evidentirani podaci neće biti pohranjeni u Informacijskom sustavu znanosti RH. Ako je ovo greška, CroRIS produkcijskoj okolini moguće je pristupi putem poveznice www.croris.hr
izvor podataka: crosbi

Model-based Testing of the Conference Protocol with Spec Explorer (CROSBI ID 533150)

Prilog sa skupa u zborniku | izvorni znanstveni rad | međunarodna recenzija

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: Fakultet elektrotehnike i računarstva Sveučilišta u Zagrebu, 2007. str. 131-138

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

Povezanost rada

Računarstvo, Matematika