An automated Model-based Testing Approach in Software Product Lines Using a Variability Language.

García Gutiérrez, Bonifacio; Garcia Carmona, Rodrigo; Navas Baltasar, Alvaro; Parada Gélvez, Hugo Alexer; Cuadrado Latasa, Felix y Dueñas López, Juan Carlos (2010). An automated Model-based Testing Approach in Software Product Lines Using a Variability Language.. En: "Third Workshop on Model-Driven Tool & Process Integration, MDTPI 2010", 15/06/2010 - 18/06/2010, París, Francia. ISBN 978-3-8396-0175-4.

Descripción

Título: An automated Model-based Testing Approach in Software Product Lines Using a Variability Language.
Autor/es:
  • García Gutiérrez, Bonifacio
  • Garcia Carmona, Rodrigo
  • Navas Baltasar, Alvaro
  • Parada Gélvez, Hugo Alexer
  • Cuadrado Latasa, Felix
  • Dueñas López, Juan Carlos
Tipo de Documento: Ponencia en Congreso o Jornada (Artículo)
Título del Evento: Third Workshop on Model-Driven Tool & Process Integration, MDTPI 2010
Fechas del Evento: 15/06/2010 - 18/06/2010
Lugar del Evento: París, Francia
Título del Libro: Proceedings of the Third Workshop on Model-Driven Tool & Process Integration, MDTPI 2010
Fecha: 2010
ISBN: 978-3-8396-0175-4
Materias:
Palabras Clave Informales: Automated Testing, Model Checking, Variability, Software Product Lines.
Escuela: E.T.S.I. Telecomunicación (UPM)
Departamento: Ingeniería de Sistemas Telemáticos [hasta 2014]
Licencias Creative Commons: Reconocimiento - Sin obra derivada - No comercial

Texto completo

[img]
Vista Previa
PDF (Document Portable Format) - Se necesita un visor de ficheros PDF, como GSview, Xpdf o Adobe Acrobat Reader
Descargar (396kB) | Vista Previa

Resumen

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

Más información

ID de Registro: 6945
Identificador DC: http://oa.upm.es/6945/
Identificador OAI: oai:oa.upm.es:6945
URL Oficial: http://www.ecmfa-2010.org/index.php/workshops
Depositado por: Memoria Investigacion
Depositado el: 10 May 2011 10:04
Ultima Modificación: 20 Abr 2016 16:03
  • Open Access
  • Open Access
  • Sherpa-Romeo
    Compruebe si la revista anglosajona en la que ha publicado un artículo permite también su publicación en abierto.
  • Dulcinea
    Compruebe si la revista española en la que ha publicado un artículo permite también su publicación en abierto.
  • Recolecta
  • e-ciencia
  • Observatorio I+D+i UPM
  • OpenCourseWare UPM