Use Case Testing: A Constrained Active Machine Learning Approach
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
2022-04-132022-04-132022-12-02Bibliographically approved