Log In Sign Up

An Energy-aware Mutation Testing Framework for EAST-ADL Architectural Models

by   Raluca Marinescu, et al.

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.


page 1

page 2

page 3


Property-Based Mutation Testing

Mutation testing is an established software quality assurance technique ...

Mining Architectural Information: A Systematic Mapping Study

Context: Mining Software Repositories (MSR) has become an essential acti...

Design techniques for a seamless information system architecture

The paper discusses design techniques for a seamless architecture of inf...

Detecting Architectural Erosion using Runtime Verification

The architecture of a system captures important design decisions for the...

A Testing Scheme for Self-Adaptive Software Systems with Architectural Runtime Models

Self-adaptive software systems (SASS) are equipped with feedback loops t...

Seamless design of information system architecture based on adaptive clustering method

The paper considers the concept of building the architecture of an infor...

Guided Proceduralization: Optimizing Geometry Processing and Grammar Extraction for Architectural Models

We describe a guided proceduralization framework that optimizes geometry...


  • [1] Antonia Bertolino, Paola Inverardi, and Henry Muccini. Software architecture-based analysis and testing: a look into achievements and future challenges. Computing, 95(8):633–648, 2013.
  • [2] Angelo Brillout, Nannan He, Michele Mazzucchi, Daniel Kroening, Mitra Purandare, Philipp Rümmer, and Georg Weissenbacher. Mutation-based test case generation for Simulink models. In Formal Methods for Components and Objects, pages 208–227. Springer, 2010.
  • [3] Philippe Cuenot, Patrick Frey, Rolf Johansson, Henrik Lönn, Papadopoulos, et al. The EAST-ADL architecture description language for automotive embedded software. In Model-based engineering of embedded real-time systems, pages 297–307. Springer, 2010.
  • [4] Alexandre David, Kim Larsen, Axel Legay, Marius Mikučionis, Danny Poulsen, Jonas Van Vliet, and Zheng Wang. Statistical model checking for networks of priced timed automata. Formal Modeling and Analysis of Timed Systems, pages 80–96, 2011.
  • [5] Leonardo De Moura and Nikolaj Bjørner. Satisfiability modulo theories: introduction and applications. Communications of the ACM, 54(9):69–77, 2011.
  • [6] Richard A DeMillo, Richard J Lipton, and Frederick G Sayward. Hints on test data selection: Help for the practicing programmer. Computer, 11(4):34–41, 1978.
  • [7] Soonho Kong, Sicun Gao, Wei Chen, and Edmund Clarke. dreach: -reachability analysis for hybrid systems. In International Conference on Tools and Algorithms for the Construction and Analysis of Systems, pages 200–205. Springer, 2015.
  • [8] Jonatan Larsson. Automatic Test Generation and Mutation Analysis using UPPAAL SMC. In Bachelor of Science Thesis Report. MDH Diva, 2017.
  • [9] Lech Madeyski, Wojciech Orzeszyna, Richard Torkar, and Mariusz Jozala. Overcoming the equivalent mutant problem: A systematic literature review and a comparative experiment of second order mutation. IEEE Transactions on Software Engineering, 40(1):23–42, 2014.
  • [10] Raluca Marinescu, Eduard Enoiu, and Cristina Seceleanu. Statistical Analysis of Resource Usage of Embedded Systems Modeled in EAST-ADL. In VLSI Symposium, pages 380–385. IEEE, 2015.
  • [11] Raluca Marinescu, Eduard Enoiu, Cristina Seceleanu, and Daniel Sundmark. Automatic Test Generation for Energy Consumption of Embedded Systems Modeled in EAST-ADL. In International Conference on Software Testing, Verification and Validation Workshops, pages 69–76. IEEE, 2017.
  • [12] Hao Ren, Devesh Bhatt, and Jan Hvozdovic. Improving an Industrial Test Generation Tool Using SMT Solver. In NASA Formal Methods Symposium, pages 100–106. Springer, 2016.
  • [13] Cristina Seceleanu, Aneta Vulgarakis, and Paul Pettersson. REMES: A Resource Model for Embedded Systems. In International Conference on Engineering of Complex Computer Systems. IEEE, 2009.