Next Article in Journal
Determination of Modules in Pleasurable Design to Fulfil Customer Requirements and Provide a Customized Product in the Food Industry
Previous Article in Journal
Redesign of an In-Market Conveyor System for Manufacturing Cost Reduction and Design Efficiency Using DFMA Methodology
Previous Article in Special Issue
A full Model-Based Design Environment for the Development of Cyber Physical Systems
Open AccessArticle

Model Testing of Complex Embedded Systems Using EAST-ADL and Energy-Aware Mutations

Mälardalen University, Department of Networked Embedded Systems, 722 20 Västerås, Sweden
*
Authors to whom correspondence should be addressed.
Received: 28 November 2019 / Revised: 11 February 2020 / Accepted: 13 February 2020 / Published: 19 February 2020
Nowadays, embedded systems are increasingly complex, meaning that traditional testing methods are costly to use and infeasible to directly apply due to the complex interactions between hardware and software. Modern embedded systems are also demanded to function based on low-energy computing. Hence, testing the energy usage is increasingly important. Artifacts produced during the development of embedded systems, such as architectural descriptions, are beneficial abstractions of the system’s complex structure and behavior. Electronic Architecture and Software Tools Architecture Description Language (EAST-ADL) is one such example of a domain-specific architectural language targeting the automotive industry. In this paper, we propose a method for testing design models using EAST-ADL architecture mutations. We show how fault-based testing can be used to generate, execute and select tests using energy-aware mutants—syntactic changes in the architectural description, used to mimic naturally occurring energy faults. Our goal is to improve testing of complex embedded systems by moving the testing bulk from the actual systems to models of their behaviors and non-functional requirements. We combine statistical model-checking, increasingly used in quality assurance of embedded systems, with EAST-ADL architectural models and mutation testing to drive the search for faults. We show the results of applying this method on an industrial-sized system developed by Volvo GTT. The results indicate that model testing of EAST-ADL architectural models can reduce testing complexity by bringing early and cost-effective automation. View Full-Text
Keywords: model testing; mutation testing; energy consumption; EAST-ADL model testing; mutation testing; energy consumption; EAST-ADL
Show Figures

Figure 1

MDPI and ACS Style

Enoiu, E.P.; Seceleanu, C. Model Testing of Complex Embedded Systems Using EAST-ADL and Energy-Aware Mutations. Designs 2020, 4, 5.

Show more citation formats Show less citations formats
Note that from the first issue of 2016, MDPI journals use article numbers instead of page numbers. See further details here.

Article Access Map by Country/Region

1
Back to TopTop