Autores: Marcelo Odin Guirado (1), JosÃ© Pablo Escobedo (2), Ana Cavalli (2), StÃ©phane Maag (2) and Ariel Sabiguero Yawelak (1)
(1) Instituto de ComputaciÃ³n, Facultad de IngenierÃa, Universidad de la RepÃºblica, Montevideo, Uruguay
(2) DÃ©partement Logiciels-RÃ©seaux, TELECOM SudParis (ex INT), Ã‰vry, France
Model-based testing has been successfully applied to conformance testing of reactive systems such as network protocols, both on general purpose and embedded systems.
However, doubts persist about the overhead on time and human resources required. This work addresses the empirical quantification of model-based validation costs for medium and smallsized projects. In particular, it asseses the cost of model-based testing for cross-layer protocols. This paper presents how, in spite of some initial constraints in budget, human resources, time frame and available tools, it was possible to produce a formal specification or model, implement a fully functional prototype and test it for conformance with test cases derived from the model.