mdh.sePublications
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
A Mutation Analysis Framework for Simulink Models
Mälardalen University, School of Innovation, Design and Engineering.
2018 (English)Independent thesis Basic level (degree of Bachelor), 10 credits / 15 HE creditsStudent thesis
Abstract [en]

Mutation analysis is a fault-based method used for introducing small changes into a program, producing mutants based on mutation operators, classes of commonly occurring faults. Mutation analysis has been used in the last couple of decades for evaluating how good test cases produced by software testing are at detecting faults. Software testing is the process of executing software based on certain input parameters and evaluating its behavior with the purpose of finding faults and making sure that the software works as expected.

 

In automotive systems, MATLAB Simulink is the facto standard for implementing the electronic control software of vehicle functions. As such, the application of software testing and mutation analysis to Simulink models becomes a crucial aspect for providing a framework to evaluate existing test cases by introducing mutations into these models.

 

In this thesis, we propose a mutation generation framework for Simulink by using a set of mutation operators defined based on our own classification based on the Simulink project structure and previously defined operators. Our method is supported by the tool SIMUTATOR, which we also introduce and apply on an industrial prototype called the Brake-By-Wire system. This work enables the mutation analysis of industrial Simulink models. In addition, we show how SIMUTATOR can be used together with SIMPAAL (a tool for transforming Simulink models to timed automata) and MATS (a tool for test generation) for mutation testing. The results show that SIMUTATOR is efficient and can be used successfully on industrial-sized Simulink software

Place, publisher, year, edition, pages
2018. , p. 21
Keywords [en]
mutation, testing, simulink, mutant
National Category
Computer Sciences
Identifiers
URN: urn:nbn:se:mdh:diva-38560OAI: oai:DiVA.org:mdh-38560DiVA, id: diva2:1180528
Subject / course
Computer Science
Presentation
2018-01-26, Paros, Högskoleplan 1, Västerås, 13:15 (English)
Supervisors
Examiners
Available from: 2018-02-16 Created: 2018-02-05 Last updated: 2018-02-16Bibliographically approved

Open Access in DiVA

fulltext(1487 kB)117 downloads
File information
File name FULLTEXT01.pdfFile size 1487 kBChecksum SHA-512
bb50b4dedbe51722434fd4d669f5ee8bf6f557b5d8d2914c72ea21150b2830ed52cec9d5d7532f48405906ee4111bc2693a036ba5f391f22cb1aac480e05cba3
Type fulltextMimetype application/pdf

Search in DiVA

By author/editor
Runge, Henrik
By organisation
School of Innovation, Design and Engineering
Computer Sciences

Search outside of DiVA

GoogleGoogle Scholar
Total: 117 downloads
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

urn-nbn

Altmetric score

urn-nbn
Total: 146 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf