Learning in Uppaal for Test Case Generation for Cyber-Physical Systems
2024 (English)In: Lecture Notes in Computer Science, Springer Science and Business Media Deutschland GmbH , 2024, p. 70-74Conference paper, Published paper (Refereed)
Abstract [en]
We propose a test-case generation method for testing cyber-physical systems by using learning and statistical model checking. We use timed game automata for modelling. Different from other studies, we construct the model from the environment’s perspective. After building the model, we synthesize policies for different kinds of environments by using reinforcement learning in Uppaal and parse the policies for test-case generation. Statistical model checking enables us to analyse the test cases for finding the ones that are more likely to detect bugs.
Place, publisher, year, edition, pages
Springer Science and Business Media Deutschland GmbH , 2024. p. 70-74
Series
Lecture Notes in Computer Science, ISSN 0302-9743 ; 14390 LNCS
Keywords [en]
Embedded systems, Learning systems, Model checking, Reinforcement learning, Cybe-physical systems, Cyber-physical systems, Generation method, Learning models, Reinforcement learnings, Statistical model checking, Test case, Test case generation, Timed game automata, Cyber Physical System
National Category
Computer Sciences
Identifiers
URN: urn:nbn:se:mdh:diva-65241DOI: 10.1007/978-3-031-49252-5_7Scopus ID: 2-s2.0-85180147773ISBN: 9783031492518 (print)OAI: oai:DiVA.org:mdh-65241DiVA, id: diva2:1823991
Conference
8th International Conference on Engineering of Computer-Based Systems, ECBS 2023, Västerås, 16 October 2023 through 18 October 2023
2024-01-032024-01-032024-01-03Bibliographically approved