Observatorio de I+D+i UPM

Memorias de investigación
Communications at congresses:
An automated Model-based Testing Approach in Software Product Lines Using a Variability Language.
Year:2010
Research Areas
  • Electronic technology and of the communications
Information
Abstract
This paper presents the application of an automated testing approach for Software Product Lines (SPL) driven by its state-machine and variability models. Context: Model-based testing provides a technique for automatic generation of test cases using models. Introduction of a variability model in this technique can achieve testing automation in SPL. Method: We use UML and CVL (Common Variability Language) models as input, and JUnit test cases are derived from these models. This approach has been implemented using the UML2 Eclipse Modeling platform and the CVL-Tool. Validation: A model checking tool prototype has been developed and a case study has been performed. Conclusions: Preliminary experiments have proved that our approach can find structural errors in the SPL under test. In our future work we will introduce Object Constraint Language (OCL) constraints attached to the input UML model.
International
Si
Congress
Third Workshop on Model-Driven Tool & Process Integration MDTPI, Sixth European Conference on Modelling Foundations and Applications.
960
Place
París, France.
Reviewers
Si
ISBN/ISSN
3839601754
Start Date
15/06/2010
End Date
18/06/2010
From page
41
To page
50
proceedings of the 3rd Workshop on Model Driven Tool and Process Integration. EVENT MDTPI 2010
Participants
  • Autor: Bonifacio Garcia Gutierrez (UPM)
  • Autor: Rodrigo Garcia Carmona (UPM)
  • Autor: Alvaro Navas Baltasar (UPM)
  • Autor: Hugo Alexer Parada Gelvez (UPM)
  • Autor: Felix Cuadrado Latasa (UPM)
  • Autor: Juan Carlos Dueñas Lopez (UPM)
Research Group, Departaments and Institutes related
  • Creador: Grupo de Investigación: Sistemas de tiempo real y arquitectura de servicios telemáticos
  • Departamento: Ingeniería de Sistemas Telemáticos
S2i 2020 Observatorio de investigación @ UPM con la colaboración del Consejo Social UPM
Cofinanciación del MINECO en el marco del Programa INNCIDE 2011 (OTR-2011-0236)
Cofinanciación del MINECO en el marco del Programa INNPACTO (IPT-020000-2010-22)