Artículo:
Towards Mutation Testing of Configurable Simulink Models: a Product Line Engineering Perspective

Fecha

2017-07-19

Editor

Sistedes

Publicado en

Actas de las XXII Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2017)

Licencia Creative Commons

Resumen

Mutation testing has been found to be an efficient technique in order to assess the quality of a test suite. The use of Simulink models is increasing in both industry and academia to model and simulate complex systems such as Cyber-Physical Systems (CPSs). An advantage of Simulink is its ease to integrate software and control algorithms with complex mathematical models that typically represent continuous dynamic behaviors. In addition to that, the increasing trend of industry in adopting product line engineering methods to efficiently support the variability that their products demand is resulting in configurable Simulink models. Consequently, many configurations can be employed to test the configurable system. Each of these configurations will have a set of mutants, which will be in accordance with the configuration characteristics (i.e., features). However, manually generating and configuring mutants for each of the configurations is a time-consuming and non-systematic process. To deal with this problem, we propose a methodology supported by a tool that automatically generates mutants for configurable Simulink models.

Descripción

Acerca de Arrieta, Aitor

Palabras clave

Cyber-Physical Systems, Feature Modeling, MATLAB/Simulink, Mutation Testing, Product Line Engineering
Página completa del ítem
Notificar un error en este artículo
Mostrar cita
Mostrar cita en BibTeX
Descargar cita en BibTeX