|
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)
|
|
|
|
|
|