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
Generation of Failure Models through Automata Learning
Halmstad University, School of Information Technology, Halmstad Embedded and Intelligent Systems Research (EIS), Centre for Research on Embedded Systems (CERES). (MBT)
Halmstad University, School of Information Technology, Halmstad Embedded and Intelligent Systems Research (EIS), Centre for Research on Embedded Systems (CERES). (MBT)
Halmstad University, School of Information Technology, Halmstad Embedded and Intelligent Systems Research (EIS), Centre for Research on Embedded Systems (CERES). (MBT)ORCID iD: 0000-0002-4869-6794
Halmstad University, School of Information Technology, Halmstad Embedded and Intelligent Systems Research (EIS), Centre for Research on Embedded Systems (CERES). (MBT)
2016 (English)In: Proceedings: 2016 Workshop on Automotive Systems/Software Architectures, Los Alamitos: IEEE Computer Society, 2016, 22-25 p., 7484118Conference paper, Published paper (Refereed)
Abstract [en]

In the context of the AUTO-CAAS project that deals with model-based testing techniques applied in the automotive domain, we present the preliminary ideas and results of building generalised failure models for non-conformant software components. These models are a necessary building block for our upcoming efforts to detect and analyse failure causes in automotive software built with AUTOSAR components. Concretely, we discuss how to build these generalised failure models using automata learning techniques applied to a guided model-based testing procedure of a failing component. We illustrate our preliminary findings and experiments on a simple integer queue implemented in the C programming language. © 2016 IEEE.

Place, publisher, year, edition, pages
Los Alamitos: IEEE Computer Society, 2016. 22-25 p., 7484118
Keyword [en]
model-based testing, automatic test generation, automata learning, failure model, AUTOSAR
National Category
Computer Science
Identifiers
URN: urn:nbn:se:hh:diva-32126DOI: 10.1109/WASA.2016.7ISI: 000386759300006Scopus ID: 2-s2.0-84978245358ISBN: 978-1-5090-2571-8 OAI: oai:DiVA.org:hh-32126DiVA: diva2:1010217
Conference
Workshop on Automotive Systems/Software Architectures (WASA 2016), Venice, Italy, 5-8 April, 2016
Projects
AUTO-CAASEFFEMBAC
Funder
Knowledge FoundationSwedish Research Council
Available from: 2016-10-03 Created: 2016-10-03 Last updated: 2017-11-30Bibliographically approved

Open Access in DiVA

No full text

Other links

Publisher's full textScopus

Authority records BETA

Mousavi, Mohammad Reza

Search in DiVA

By author/editor
Kunze, SebastianMostowski, WojciechMousavi, Mohammad RezaVarshosaz, Mahsa
By organisation
Centre for Research on Embedded Systems (CERES)
Computer Science

Search outside of DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetric score

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