kth.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
Use Case Testing: A Constrained Active Machine Learning Approach
KTH, School of Electrical Engineering and Computer Science (EECS), Computer Science, Theoretical Computer Science, TCS.ORCID iD: 0000-0002-9706-5008
KTH, School of Electrical Engineering and Computer Science (EECS), Computer Science, Theoretical Computer Science, TCS.ORCID iD: 0000-0001-9615-5389
2021 (English)In: Lecture Notes in Computer Science, Springer Nature , 2021, p. 3-21Conference paper, Published paper (Refereed)
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.

Place, publisher, year, edition, pages
Springer Nature , 2021. p. 3-21
Keywords [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
National Category
Computer Sciences
Identifiers
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
Conference
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
Note

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

QC 20220413

Available from: 2022-04-13 Created: 2022-04-13 Last updated: 2022-12-02Bibliographically approved

Open Access in DiVA

No full text in DiVA

Other links

Publisher's full textScopus

Authority records

Meinke, KarlKhosrowjerdi, Hojat

Search in DiVA

By author/editor
Meinke, KarlKhosrowjerdi, Hojat
By organisation
Theoretical Computer Science, TCS
Computer Sciences

Search outside of DiVA

GoogleGoogle Scholar

doi
urn-nbn

Altmetric score

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