Abstract
The advantages of fault injection techniques and related methodologies like mutation testing have been gaining in attention also from industry, as is evident from the advent of standards like ISO 26262 that suggest to use corresponding approaches for verifying an automotive system's safety aspects. Aside a well-established theoretical background, the availability of tools is a key issue in order to leverage fault injection for the development of industrial, possibly safety-critical applications, e.g., in an automotive context. We propose the corresponding open source toolset SIMULTATE for injecting faults and performing mutation testing for Simulink models. For complementing the provided mutation/fault injection operators, it allows a user to define her own ones within Matlab and further provides a Python interface for easily deriving mutants where she can also focus the scope to desired model parts only. Controlling the activation of individual faults in a derived model, a designer can conveniently conduct mutation tests via a corresponding Python application.
Originalsprache | englisch |
---|---|
Titel | Proceedings - 2016 IEEE International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2016 |
Herausgeber (Verlag) | Institute of Electrical and Electronics Engineers |
Seiten | 168-173 |
Seitenumfang | 6 |
ISBN (elektronisch) | 9781509018260 |
DOIs | |
Publikationsstatus | Veröffentlicht - 1 Aug 2016 |
Veranstaltung | Ninth IEEE International Conference on Software Testing, Verification and Validation Workshops, ICST Workshops 2016: 13th Workshop on Advances in Model Based Testing (A-MOST 2016) - Chicago, USA / Vereinigte Staaten Dauer: 11 Apr 2016 → 15 Apr 2016 |
Konferenz
Konferenz | Ninth IEEE International Conference on Software Testing, Verification and Validation Workshops, ICST Workshops 2016 |
---|---|
Land | USA / Vereinigte Staaten |
Ort | Chicago |
Zeitraum | 11/04/16 → 15/04/16 |
Fingerprint
ASJC Scopus subject areas
- Software
- !!Safety, Risk, Reliability and Quality
Fields of Expertise
- Information, Communication & Computing
Dies zitieren
SIMULTATE : A Toolset for Fault Injection and Mutation Testing of Simulink Models. / Pill, Ingo; Rubil, Ivan; Wotawa, Franz; Nica, Mihai.
Proceedings - 2016 IEEE International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2016. Institute of Electrical and Electronics Engineers, 2016. S. 168-173 7528959.Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Forschung › Begutachtung
}
TY - GEN
T1 - SIMULTATE
T2 - A Toolset for Fault Injection and Mutation Testing of Simulink Models
AU - Pill, Ingo
AU - Rubil, Ivan
AU - Wotawa, Franz
AU - Nica, Mihai
PY - 2016/8/1
Y1 - 2016/8/1
N2 - The advantages of fault injection techniques and related methodologies like mutation testing have been gaining in attention also from industry, as is evident from the advent of standards like ISO 26262 that suggest to use corresponding approaches for verifying an automotive system's safety aspects. Aside a well-established theoretical background, the availability of tools is a key issue in order to leverage fault injection for the development of industrial, possibly safety-critical applications, e.g., in an automotive context. We propose the corresponding open source toolset SIMULTATE for injecting faults and performing mutation testing for Simulink models. For complementing the provided mutation/fault injection operators, it allows a user to define her own ones within Matlab and further provides a Python interface for easily deriving mutants where she can also focus the scope to desired model parts only. Controlling the activation of individual faults in a derived model, a designer can conveniently conduct mutation tests via a corresponding Python application.
AB - The advantages of fault injection techniques and related methodologies like mutation testing have been gaining in attention also from industry, as is evident from the advent of standards like ISO 26262 that suggest to use corresponding approaches for verifying an automotive system's safety aspects. Aside a well-established theoretical background, the availability of tools is a key issue in order to leverage fault injection for the development of industrial, possibly safety-critical applications, e.g., in an automotive context. We propose the corresponding open source toolset SIMULTATE for injecting faults and performing mutation testing for Simulink models. For complementing the provided mutation/fault injection operators, it allows a user to define her own ones within Matlab and further provides a Python interface for easily deriving mutants where she can also focus the scope to desired model parts only. Controlling the activation of individual faults in a derived model, a designer can conveniently conduct mutation tests via a corresponding Python application.
UR - http://www.scopus.com/inward/record.url?scp=84992195731&partnerID=8YFLogxK
U2 - 10.1109/ICSTW.2016.21
DO - 10.1109/ICSTW.2016.21
M3 - Conference contribution
SP - 168
EP - 173
BT - Proceedings - 2016 IEEE International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2016
PB - Institute of Electrical and Electronics Engineers
ER -