hh.sePublications
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • 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
Model-based fault injection for testing gray-box systems
Halmstad University, School of Information Technology, Halmstad Embedded and Intelligent Systems Research (EIS), Centre for Research on Embedded Systems (CERES). (MBT)
2019 (English)In: The Journal of logical and algebraic methods in programming, ISSN 2352-2208, E-ISSN 2352-2216, Vol. 103, p. 31-45Article in journal (Refereed) Published
Abstract [en]

Motivated by applications in the automotive domain, particularly the Autosar basic software standard, we present a technique to improve model-based testing by allowing model-level fault injections. These models are plugged into a larger system as executable components to test it for general tolerance to slightly varying, possibly faulty components or library implementations. Such model execution is possible through applying an automated mocking mechanism and model cross-referencing. Systematic modelling and testing is possible by having comprehensive fault models which both simulate faults and guide the model-based testing procedure towards quicker discovery of these faults. We show the principles of our method on an illustrative example and discuss how it is implemented in a commercial model-based testing tool QuickCheck and applied to a more realistic case study. More generally, this work explores multi-purpose (or meta) modelling – an approach where one parametric model is used for different test targets, like functional testing or safety testing.

Place, publisher, year, edition, pages
Amsterdam: Elsevier, 2019. Vol. 103, p. 31-45
Keywords [en]
Model-based testing, Fault injection, Fault models, Multi-purpose models, Functional testing, Robustness testing
National Category
Computer Sciences
Identifiers
URN: urn:nbn:se:hh:diva-38438DOI: 10.1016/j.jlamp.2018.10.003OAI: oai:DiVA.org:hh-38438DiVA, id: diva2:1266512
Projects
AUTO-CAAS
Funder
Knowledge FoundationAvailable from: 2018-11-28 Created: 2018-11-28 Last updated: 2019-02-05Bibliographically approved

Open Access in DiVA

fulltext(1059 kB)32 downloads
File information
File name FULLTEXT01.pdfFile size 1059 kBChecksum SHA-512
8d780eded611017504197fb187130ec36862cd5100727583a0e6a1bf0a3367bf93fa70295f2275bff5159f4a2859fcba92f996e33edd987dbff9239a37763261
Type fulltextMimetype application/pdf

Other links

Publisher's full text

Authority records BETA

Mostowski, Wojciech

Search in DiVA

By author/editor
Mostowski, Wojciech
By organisation
Centre for Research on Embedded Systems (CERES)
In the same journal
The Journal of logical and algebraic methods in programming
Computer Sciences

Search outside of DiVA

GoogleGoogle Scholar
Total: 32 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

doi
urn-nbn

Altmetric score

doi
urn-nbn
Total: 229 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • 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