Sökning: onr:"swepub:oai:DiVA.org:kth-247506" >
Learning-based Test...
Learning-based Testing for Automotive Embedded Systems : A requirements modeling and Fault injection study
-
- Khosrowjerdi, Hojat, 1984- (författare)
- KTH,Teoretisk datalogi, TCS
-
- Meinke, Karl, 1961- (preses)
- KTH,Teoretisk datalogi, TCS
-
- Gurov, Dilian, 1964- (preses)
- KTH,Teoretisk datalogi, TCS
-
visa fler...
-
- Seceleanu, Cristina, Associate Professor (opponent)
- MDH University
-
visa färre...
-
(creator_code:org_t)
- ISBN 9789178731213
- Stockholm : KTH Royal Institute of Technology, 2019
- Engelska 76 s.
-
Serie: TRITA-EECS-AVL ; 2019:19
- Relaterad länk:
-
https://kth.diva-por... (primary) (Raw object)
-
visa fler...
-
https://urn.kb.se/re...
-
visa färre...
Abstract
Ämnesord
Stäng
- This thesis concerns applications of learning-based testing (LBT) in the automotive domain. In this domain, LBT is an attractive testing solution, since it offers a highly automated technology to conduct safety critical requirements testing based on machine learning. Furthermore, as a black-box testing technique, LBT can manage the complexity of modern automotive software applications such as advanced driver assistance systems. Within the automotive domain, three relevant software testing questions for LBT are studied namely: effectiveness of requirements modeling, learning efficiency and error discovery capabilities.Besides traditional requirements testing, this thesis also considers fault injection testing starting from the perspective of automotive safety standards, such as ISO26262. For fault injection testing, a new methodology is developed based on the integration of LBT technologies with virtualized hardware emulation to implement both test case generation and fault injection. This represents a novel application of machine learning to fault injection testing. Our approach is flexible, non-intrusive and highly automated. It can therefore provide a complement to traditional fault injection methodologies such as hardware-based fault injection.
Ämnesord
- NATURVETENSKAP -- Data- och informationsvetenskap -- Datavetenskap (hsv//swe)
- NATURAL SCIENCES -- Computer and Information Sciences -- Computer Sciences (hsv//eng)
Nyckelord
- Machine learning
- fault injection
- requirements testing
- embedded systems
- model checking
- automotive software
- requirements modeling
- Computer Science
- Datalogi
Publikations- och innehållstyp
- vet (ämneskategori)
- lic (ämneskategori)
Hitta via bibliotek
Till lärosätets databas