Blar i HVL Open på forfatter "Wang, Rui"
-
Application of Model-based Testing on a Quorum-based Distributed Storage
Wang, Rui; Kristensen, Lars Michael; Meling, Hein; Stolz, Volker (Peer reviewed; Journal article, 2017) -
Automated test case generation for the Paxos single-decree protocol using a Coloured Petri Net model
Wang, Rui; Kristensen, Lars Michael; Meling, Hein; Stolz, Volker (Peer reviewed; Journal article, 2019)Implementing test suites for distributed software systems is a complex and time-consuming task due to the number of test cases that need to be considered in order to obtain high coverage. We show how a formal Coloured Petri ... -
MBT/CPN: A Tool for Model-Based Software Testing of Distributed Systems Protocols Using Coloured Petri Nets
Wang, Rui; Kristensen, Lars Michael; Stolz, Volker (Peer reviewed; Journal article, 2018)Model-based testing is an approach to software testing based on generating test cases from models. The test cases are then executed against a system under test. Coloured Petri Nets (CPNs) have been widely used for modeling, ... -
Model-based software testing for distributed systems and protocols
Wang, Rui (Doctoral thesis, 2020)Society is increasingly dependent on fault-tolerant cloud-based services which rely on the correctness and reliability of advanced distributed software systems and consensus protocols. The implementations of these systems ... -
Multi-objective Search for Model-based Testing
Wang, Rui; Artho, Cyrille; Kristensen, Lars Michael; Stolz, Volker (Chapter; Peer reviewed, 2020)This paper presents a search-based approach relying on multi-objective reinforcement learning and optimization for test case generation in model-based software testing. Our approach considers test case generation as an ...