Model-based Testing of the Conference Protocol with Spec Explorer
Matko Botinčan, Vedran Novaković · 2007
This paper presents a case study of model-based testing of the Conference Protocol, a simple multicast chat box protocol reported in [2], [4], [8], [11], [13], with the model-based testing tool Spec Explorer [14]. 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.