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
Combining fault-injection with Property-Based Testing
RISE, SP – Sveriges Tekniska Forskningsinstitut, SP Elektronik, Pålitliga system.ORCID iD: 0000-0003-1713-3726
Quviq AB, Sweden.
RISE, SP – Sveriges Tekniska Forskningsinstitut, SP Elektronik, Pålitliga system.ORCID iD: 0000-0002-6191-6253
Halmstad University, Sweden.
2014 (English)In: Workshop on Engineering Simulations for Cyber Physical Systems, ES4CPS 2014, 2014, , p. 1-8p. 1-8Conference paper, Published paper (Refereed)
Abstract [en]

In this paper we present a methodology and a platform using Fault Injection (FI) and Property-Based Testing (PBT). PBT is a technique in which test cases are automatically generated from a specification of a system property. The generated test cases vary input stimuli as well as the sequence in which commands are executed. FI is used to accelerate the occurrences of faults in a system to exercise and evaluate fault handling mechanisms and e.g. calculate error detection coverage. By combining the two we have achieved a way of randomly injecting different faults at arbitrary moments in the execution sequence while checking whether certain properties still hold. We use the commercially available tool QuickCheck for generating the test cases and developed FaultCheck for FI. FaultCheck enables the user to utilize fault models, commonly used during FI, from PBT tools like QuickCheck. We demonstrate our method and tools on a simplified example of two Airbag systems that should meet safety requirements. We can easily find a safety violation in one of the examples, whereas by using the AUTOSAR E2E-library implementation, exhaustive testing cannot reveal any such safety violation. This demonstrates that our approach on testing can reveal certain safety violations in a cost-effective way.

Place, publisher, year, edition, pages
2014. , p. 1-8p. 1-8
National Category
Natural Sciences
Identifiers
URN: urn:nbn:se:ri:diva-12452DOI: 10.1145/2559627.2559629Scopus ID: 2-s2.0-84904571627Local ID: 23642OAI: oai:DiVA.org:ri-12452DiVA, id: diva2:970276
Conference
ACM International Conference Proceeding Series (Workshop on Engineering Simulations for Cyber Physical Systems, ES4CPS 2014 - Held in Conjunction with the Conference Design, Automation and Test in Europe, DATE 2014; Dresden; Germany; 28 March 2014 through
Available from: 2016-09-13 Created: 2016-09-13 Last updated: 2023-05-23Bibliographically approved

Open Access in DiVA

No full text in DiVA

Other links

Publisher's full textScopus

Authority records

Vedder, BenjaminVinter, Jonny

Search in DiVA

By author/editor
Vedder, BenjaminVinter, Jonny
By organisation
Pålitliga system
Natural Sciences

Search outside of DiVA

GoogleGoogle Scholar

doi
urn-nbn

Altmetric score

doi
urn-nbn
Total: 23 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