Endre søk
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
Use Case Testing: A Constrained Active Machine Learning Approach
KTH, Skolan för elektroteknik och datavetenskap (EECS), Datavetenskap, Teoretisk datalogi, TCS.ORCID-id: 0000-0002-9706-5008
KTH, Skolan för elektroteknik och datavetenskap (EECS), Datavetenskap, Teoretisk datalogi, TCS.ORCID-id: 0000-0001-9615-5389
2021 (engelsk)Inngår i: Lecture Notes in Computer Science, Springer Nature , 2021, s. 3-21Konferansepaper, Publicerat paper (Fagfellevurdert)
Abstract [en]

As a methodology for system design and testing, use cases are well-known and widely used. While current active machine learning (ML) algorithms can effectively automate unit testing, they do not scale up to use case testing of complex systems in an efficient way. We present a new parallel distributed processing (PDP) architecture for a constrained active machine learning (CAML) approach to use case testing. To exploit CAML we introduce a use case modeling language with: (i) compile-time constraints on query generation, and (ii) run-time constraints using dynamic constraint checking. We evaluate this approach by applying a prototype implementation of CAML to use case testing of simulated multi-vehicle autonomous driving scenarios.

sted, utgiver, år, opplag, sider
Springer Nature , 2021. s. 3-21
Emneord [en]
Autonomous driving, Constraint solving, Learning-based testing, Machine learning, Model checking, Requirements testing, Use case testing, Application programs, Modeling languages, Software testing, Well testing, Active machine learning, Dynamic constraints, Multi-vehicles, Parallel distributed processing, Prototype implementations, Query generation, Use case model
HSV kategori
Identifikatorer
URN: urn:nbn:se:kth:diva-310723DOI: 10.1007/978-3-030-79379-1_1ISI: 000884995900001Scopus ID: 2-s2.0-85111470675OAI: oai:DiVA.org:kth-310723DiVA, id: diva2:1651802
Konferanse
15th International Conference on Tests and Proofs, TAP 2021 held as part of Software Technologies: Applications and Foundations, STAF 2021, Virtual, Online, 21-22 June 2021
Merknad

Part of proceedings ISBN: 978-3-030-79378-4

QC 20220413

Tilgjengelig fra: 2022-04-13 Laget: 2022-04-13 Sist oppdatert: 2022-12-02bibliografisk kontrollert

Open Access i DiVA

Fulltekst mangler i DiVA

Andre lenker

Forlagets fulltekstScopus

Person

Meinke, KarlKhosrowjerdi, Hojat

Søk i DiVA

Av forfatter/redaktør
Meinke, KarlKhosrowjerdi, Hojat
Av organisasjonen

Søk utenfor DiVA

GoogleGoogle Scholar

doi
urn-nbn

Altmetric

doi
urn-nbn
Totalt: 143 treff
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf