kth.sePublikationer KTH
Ändra sökning
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat 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 (Engelska)Ingår i: Lecture Notes in Computer Science, Springer Nature , 2021, s. 3-21Konferensbidrag, Publicerat paper (Refereegranskat)
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.

Ort, förlag, år, upplaga, sidor
Springer Nature , 2021. s. 3-21
Nyckelord [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
Nationell ämneskategori
Datavetenskap (datalogi)
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
Konferens
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
Anmärkning

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

QC 20220413

Tillgänglig från: 2022-04-13 Skapad: 2022-04-13 Senast uppdaterad: 2022-12-02Bibliografiskt granskad

Open Access i DiVA

Fulltext saknas i DiVA

Övriga länkar

Förlagets fulltextScopus

Person

Meinke, KarlKhosrowjerdi, Hojat

Sök vidare i DiVA

Av författaren/redaktören
Meinke, KarlKhosrowjerdi, Hojat
Av organisationen
Teoretisk datalogi, TCS
Datavetenskap (datalogi)

Sök vidare utanför DiVA

GoogleGoogle Scholar

doi
urn-nbn

Altmetricpoäng

doi
urn-nbn
Totalt: 143 träffar
RefereraExporteraLänk till posten
Permanent länk

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