Publication
Title
MUT4SLX : fast mutant generation for Simulink
Author
Abstract
Several experience reports illustrate that mutation testing is capable of supporting a “shift-left” testing strategy for software systems coded in textual programming languages like C++. For graphical modelling languages like Simulink, such experience reports are missing, primarily because of a lack of adequate tool support. In this paper we present a proof-of-concept (named MUT4SLX) for automatic mutant generation and test execution of Simulink models. MUT4SLX features 15 mutation operators which are modelled after realistic faults (mined from an industrial bug database) and are fast to inject (because we only replace parameter values within blocks). An experimental evaluation on a sample project (a Helicopter Control System) demonstrates that MUT4SLX is capable of injecting 70 mutants in less than a second, resulting in a total analysis time of 8.14 hours.
Language
English
Source (book)
2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE), 11-15 September 2023, Luxembourg, Luxembourg
Publication
2023
ISBN
979-83-503-2996-4
DOI
10.1109/ASE56229.2023.00093
Volume/pages
(2023) , p. 2086-2089
ISI
001103357200204
Full text (Publisher's DOI)
Full text (open access)
Full text (publisher's version - intranet only)
UAntwerpen
Faculty/Department
Research group
Project info
Efficient testing of control software (EFFECTS_ICON).
BaseCamp Zero - Towards Zero-Touch Testing.
Publication type
Subject
Affiliation
Publications with a UAntwerp address
External links
Web of Science
Record
Identifier
Creation 16.11.2023
Last edited 17.06.2024
To cite this reference