Browsing Institutt for datateknologi, elektroteknologi og realfag by Author "Meling, Hein"
Now showing items 1-3 of 3
-
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 ... -
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 ...