hh.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
Modelling of Autosar Libraries for Large Scale Testing
Halmstad University, School of Information Technology, Halmstad Embedded and Intelligent Systems Research (EIS), Centre for Research on Embedded Systems (CERES). (MBT)
QuviQ AB, Göteborg, Sweden.
Chalmers University of Technology, Göteborg, Sweden & QuviQ AB, Göteborg, Sweden.
2017 (English)In: 2nd Workshop on Models for Formal Analysis of Real Systems (MARS 2017) / [ed] Holger Hermanns & Peter Höfner, 2017, Vol. 244, 184-199 p.Conference paper, Published paper (Refereed)
Abstract [en]

We demonstrate a specific method and technology for model-based testing of large software projects with the QuickCheck tool using property-based specifications. Our specifications are very precise, state-full models of the software under test (SUT). In our approach we define (a) formal descriptions of valid function call sequences (public API), (b) postconditions that check the validity of each call, and (c) call-out specifications that define and validate external system interactions (SUT calling external API). The QuickCheck tool automatically generates and executes tests from these specifications. Commercially, this method and tool have been used to test large parts of the industrially developed automotive libraries based on the Autosar standard. In this paper, we exemplify our approach with a circular buffer specified by Autosar, to demonstrate the capabilities of the model-based testing method of QuickCheck. Our example is small compared to the commercial QuickCheck models, but faithfully addresses many of the same challenges. © W. Mostowski, T. Arts, J. Hughes.

Place, publisher, year, edition, pages
2017. Vol. 244, 184-199 p.
Series
Electronic Proceedings in Theoretical Computer Science
Keyword [en]
model-based testing, API compliance, Autosar, QuickCheck, Erlang
National Category
Computer Science
Identifiers
URN: urn:nbn:se:hh:diva-35404DOI: 10.4204/EPTCS.244.7ISI: 000405454300008Scopus ID: 2-s2.0-85018894179OAI: oai:DiVA.org:hh-35404DiVA: diva2:1156478
Conference
2nd Workshop on Models for Formal Analysis of Real Systems (MARS 2017), Uppsala, Sweden, 29th April, 2017
Projects
AUTO-CAAS
Funder
Knowledge Foundation
Available from: 2017-11-13 Created: 2017-11-13 Last updated: 2017-11-15Bibliographically approved

Open Access in DiVA

fulltext(632 kB)1 downloads
File information
File name FULLTEXT01.pdfFile size 632 kBChecksum SHA-512
80d64ab5cf3dd9c535c9c5df751a9f8296accf1735be180564b006d347ef59a33dd29a6f328467076a3aaa7732d65bed506bc50f6a6348c36fd3528847f67c1e
Type fulltextMimetype application/pdf

Other links

Publisher's full textScopusFull text

Search in DiVA

By author/editor
Mostowski, Wojciech
By organisation
Centre for Research on Embedded Systems (CERES)
Computer Science

Search outside of DiVA

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

Altmetric score

Total: 6 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