An Energy-aware Mutation Testing Framework for EAST-ADL Architectural Models
Abstract
Early design artifacts of embedded systems, such as architectural models, represent convenient abstractions for reasoning about a system's structure and functionality. One such example is the Electronic Architecture and Software Tools-Architecture Description Language (EAST-ADL), a domain-specific architectural language that targets the automotive industry. EAST-ADL is used to represent both hardware and software elements, as well as related extra-functional information (e.g., timing properties, triggering information, resource consumption). Testing architectural models is an important activity in engineering large-scale industrial systems, which sparks a growing research interest. The main contributions of this paper are: (i) an approach for creating energy-related mutants for EAST-ADL architectural models, (ii) a method for overcoming the equivalent mutant problem (i.e., the problem of finding a test case which can distinguish the observable behavior of a mutant from the original one), (iii) a test generation approach based on UPPAAL Statistical Model Checker (SMC), and (iv) a test selection criteria based on mutation analysis using our MATS tool.
Cite
@article{arxiv.1802.01089,
title = {An Energy-aware Mutation Testing Framework for EAST-ADL Architectural Models},
author = {Raluca Marinescu and Predrag Filipovikj and Eduard Paul Enoiu and Jonatan Larsson and Cristina Seceleanu},
journal= {arXiv preprint arXiv:1802.01089},
year = {2018}
}
Comments
Version submitted to the 29th Nordic Workshop on Programming Theory