Evaluation of Test Case Generation based on a Software Product Line for Model Transformation

Model-Driven Engineering (MDE) supports model evolution and refinement by means of model transformations at several abstraction levels. Validating these transformations is essential to ensure the quality and correctness of such models. However, MDE transformations become more complex to validate, for example, when they are implemented in different languages. One particular example is the transformation of the SyMPLES approach. SyMPLES is a development approach for embedded systems, which is based on concepts of both Software Product Lines (SPL) and MDE. SyMPLES has a model transformation process which creates Simulink models from SysML models. This paper presents a case study which applies test case generation based on SPL to validate this model transformation. An SPL was used to generate a set of test cases based on coverage criteria. The results showed that the test cases generated uncovered errors in the transformation of SyMPLES. In addition, a comparison with the test case generation based on metamodel is presented, in order to analyze the effectiveness of the techniques. The coverage criteria made it possible to reduce the number of test cases generated, thus minimizing test effort and time.

• Publication year

  2018

• Venue

  Journal of Computer Science

• Publication date

  2018-01-22

• Fields of study

  Computer Science, Engineering

• Identifiers
  DOI 10.3844/JCSSP.2018.108.121
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Case Study of Test Case Generation Based on Metamodel for Model Transformations

  2017cited by this paper
• PBCOV: a property-based coverage criterion

  2014cited by this paper
• A framework for model transformation verification

  2014cited by this paper
• SyMPLES - A SysML-based Approach for Developing Embedded Systems Software Product Lines

  2013cited by this paper
• Application Engineering for Embedded Systems - Transforming SysML Specification to Simulink within a Product-Line based Approach

  2013influential reference
• Improving feature location using structural similarity and iterative graph mapping

  2013influential reference
• An orchestrated survey of methodologies for automated software test case generation

  2013cited by this paper
• Early experiences on model transformation testing

  2012influential reference
• Specification-Driven Test Generation for Model Transformations

  2012cited by this paper
• Model-based pairwise testing for feature interaction coverage in software product line engineering

  2011cited by this paper
• Symbolic model checking of software product lines

  2011cited by this paper
• Bow tie testing: a testing pattern for product lines

  2011influential reference
• A modular tool integration approach : experiences from two case studies

  2010cited by this paper
• Systematic Management of Variability in UML-based Software Product Lines

  2010cited by this paper
• Automatic Model Generation Strategies for Model Transformation Testing

  2009influential reference
• A Practical Guide to SysML: The Systems Modeling Language

  2009cited by this paper
• Modeling and building software product lines with pure::variants

  2008cited by this paper
• Fama: Tooling a Framework for the Automated Analysis of Feature Models

  2007cited by this paper
• The Product Line Engineering Approach

  2007cited by this paper
• Metamodel-based Test Generation for Model Transformations: an Algorithm and a Tool

  2006cited by this paper
• Validation of model transformations: first experiences using a white box approach

  2006influential reference
• A Testing Framework for Model Transformations

  2005cited by this paper
• Transforming Models with ATL

  2005cited by this paper
• MDA Distilled Principles Of Model-Driven Architecture

  2004cited by this paper
• Validation in model-driven engineering: testing model transformations

  2004influential reference

• A language-parametric test amplification framework for executable domain-specific languages

  2025cites this paper
• Automatic test amplification for executable models

  2022cites this paper