Sökning: id:"swepub:oai:DiVA.org:hh-32126" >
Generation of Failu...
Generation of Failure Models through Automata Learning
-
- Kunze, Sebastian, 1990- (författare)
- Högskolan i Halmstad,Centrum för forskning om inbyggda system (CERES),MBT
-
- Mostowski, Wojciech, 1976- (författare)
- Högskolan i Halmstad,Centrum för forskning om inbyggda system (CERES),MBT
-
- Mousavi, Mohammad Reza, 1978- (författare)
- Högskolan i Halmstad,Centrum för forskning om inbyggda system (CERES),MBT
-
visa fler...
-
- Varshosaz, Mahsa, 1985- (författare)
- Högskolan i Halmstad,Centrum för forskning om inbyggda system (CERES),MBT
-
visa färre...
-
(creator_code:org_t)
- Los Alamitos : IEEE Computer Society, 2016
- 2016
- Engelska.
-
Ingår i: Proceedings. - Los Alamitos : IEEE Computer Society. - 9781509025718 ; , s. 22-25
- Relaterad länk:
-
https://urn.kb.se/re...
-
visa fler...
-
https://doi.org/10.1...
-
visa färre...
Abstract
Ämnesord
Stäng
- 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.
Ämnesord
- NATURVETENSKAP -- Data- och informationsvetenskap -- Datavetenskap (hsv//swe)
- NATURAL SCIENCES -- Computer and Information Sciences -- Computer Sciences (hsv//eng)
Nyckelord
- model-based testing
- automatic test generation
- automata learning
- failure model
- AUTOSAR
Publikations- och innehållstyp
- ref (ämneskategori)
- kon (ämneskategori)
Hitta via bibliotek
Till lärosätets databas