Cost Effective Cross-layer Protocol Testing: A Case Study

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.

Descargar el artículo completo

Esta entrada ha sido publicada en Artículos-CASE y etiquetada como . Guarda el enlace permanente.