dc.contributor.author | Wang, Rui | |
dc.contributor.author | Kristensen, Lars Michael | |
dc.contributor.author | Meling, Hein | |
dc.contributor.author | Stolz, Volker | |
dc.date.accessioned | 2020-04-17T08:38:46Z | |
dc.date.available | 2020-04-17T08:38:46Z | |
dc.date.created | 2019-06-18T23:01:20Z | |
dc.date.issued | 2019-04 | |
dc.identifier.citation | Wang, R., Kristensen, L.M., Meling, H. et al. (2019) Automated test case generation for the Paxos single-decree protocol using a Coloured Petri Net model. Journal of Logical and Algebraic Methods in Programming, 104, 254-273. | en_US |
dc.identifier.issn | 2352-2208 | |
dc.identifier.uri | https://hdl.handle.net/11250/2651459 | |
dc.description.abstract | 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 Net model can be used to automatically generate a suite of test cases for the Paxos distributed consensus protocol. The test cases cover both normal operation of the protocol as well as failure injection. To evaluate our model-based testing approach, we have implemented the Paxos protocol in the Go programming language using the quorum abstractions provided by the Gorums framework. Our experimental evaluation shows that we obtain high code coverage for our Paxos implementation using the automatically generated test cases. | en_US |
dc.language.iso | eng | en_US |
dc.publisher | Elsevier Ltd. | en_US |
dc.rights | Navngivelse 4.0 Internasjonal | * |
dc.rights.uri | http://creativecommons.org/licenses/by/4.0/deed.no | * |
dc.subject | Petri Net | en_US |
dc.subject | distributed systems | en_US |
dc.subject | model-based testing | en_US |
dc.title | Automated test case generation for the Paxos single-decree protocol using a Coloured Petri Net model | en_US |
dc.type | Peer reviewed | en_US |
dc.type | Journal article | en_US |
dc.description.version | publishedVersion | en_US |
dc.rights.holder | © 2019 The Authors | en_US |
dc.subject.nsi | VDP::Teknologi: 500::Informasjons- og kommunikasjonsteknologi: 550 | en_US |
dc.source.pagenumber | 254-273 | en_US |
dc.source.volume | 104 | en_US |
dc.source.journal | Journal of Logical and Algebraic Methods in Programming | en_US |
dc.identifier.doi | 10.1016/j.jlamp.2019.02.004 | |
dc.identifier.cristin | 1705910 | |
dc.relation.project | Norges forskningsråd: 288126 | en_US |
dc.relation.project | Norges forskningsråd: 274451 | en_US |
cristin.ispublished | true | |
cristin.fulltext | original | |
cristin.fulltext | original | |
cristin.fulltext | original | |
cristin.qualitycode | 2 | |