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

García Gutiérrez, Bonifacio and Garcia Carmona, Rodrigo and Navas Baltasar, Alvaro and Parada Gélvez, Hugo Alexer and Cuadrado Latasa, Félix and Dueñas López, Juan Carlos (2010). An automated Model-based Testing Approach in Software Product Lines Using a Variability Language.. In: "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.

Description

Title: An automated Model-based Testing Approach in Software Product Lines Using a Variability Language.
Author/s:
  • García Gutiérrez, Bonifacio
  • Garcia Carmona, Rodrigo
  • Navas Baltasar, Alvaro
  • Parada Gélvez, Hugo Alexer
  • Cuadrado Latasa, Félix
  • Dueñas López, Juan Carlos
Item Type: Presentation at Congress or Conference (Article)
Event Title: Third Workshop on Model-Driven Tool & Process Integration, MDTPI 2010
Event Dates: 15/06/2010 - 18/06/2010
Event Location: París, Francia
Title of Book: Proceedings of the Third Workshop on Model-Driven Tool & Process Integration, MDTPI 2010
Date: 2010
ISBN: 978-3-8396-0175-4
Subjects:
Freetext Keywords: Automated Testing, Model Checking, Variability, Software Product Lines.
Faculty: E.T.S.I. Telecomunicación (UPM)
Department: Ingeniería de Sistemas Telemáticos
Creative Commons Licenses: Recognition - No derivative works - Non commercial

Full text

[thumbnail of INVE_MEM_2010_75704.pdf]
Preview
PDF - Requires a PDF viewer, such as GSview, Xpdf or Adobe Acrobat Reader
Download (396kB) | Preview

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

More information

Item ID: 6945
DC Identifier: https://oa.upm.es/6945/
OAI Identifier: oai:oa.upm.es:6945
Official URL: http://www.ecmfa-2010.org/index.php/workshops
Deposited by: Memoria Investigacion
Deposited on: 10 May 2011 10:04
Last Modified: 25 Mar 2023 10:54
  • Logo InvestigaM (UPM)
  • Logo GEOUP4
  • Logo Open Access
  • Open Access
  • Logo Sherpa/Romeo
    Check whether the anglo-saxon journal in which you have published an article allows you to also publish it under open access.
  • Logo Dulcinea
    Check whether the spanish journal in which you have published an article allows you to also publish it under open access.
  • Logo de Recolecta
  • Logo del Observatorio I+D+i UPM
  • Logo de OpenCourseWare UPM