Vis enkel innførsel

dc.contributor.authorWang, Rui
dc.contributor.authorKristensen, Lars Michael
dc.contributor.authorMeling, Hein
dc.contributor.authorStolz, Volker
dc.date.accessioned2020-04-17T08:38:46Z
dc.date.available2020-04-17T08:38:46Z
dc.date.created2019-06-18T23:01:20Z
dc.date.issued2019-04
dc.identifier.citationWang, 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.issn2352-2208
dc.identifier.urihttps://hdl.handle.net/11250/2651459
dc.description.abstractImplementing 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.isoengen_US
dc.publisherElsevier Ltd.en_US
dc.rightsNavngivelse 4.0 Internasjonal*
dc.rights.urihttp://creativecommons.org/licenses/by/4.0/deed.no*
dc.subjectPetri Neten_US
dc.subjectdistributed systemsen_US
dc.subjectmodel-based testingen_US
dc.titleAutomated test case generation for the Paxos single-decree protocol using a Coloured Petri Net modelen_US
dc.typePeer revieweden_US
dc.typeJournal articleen_US
dc.description.versionpublishedVersionen_US
dc.rights.holder© 2019 The Authorsen_US
dc.subject.nsiVDP::Teknologi: 500::Informasjons- og kommunikasjonsteknologi: 550en_US
dc.source.pagenumber254-273en_US
dc.source.volume104en_US
dc.source.journalJournal of Logical and Algebraic Methods in Programmingen_US
dc.identifier.doi10.1016/j.jlamp.2019.02.004
dc.identifier.cristin1705910
dc.relation.projectNorges forskningsråd: 288126en_US
dc.relation.projectNorges forskningsråd: 274451en_US
cristin.ispublishedtrue
cristin.fulltextoriginal
cristin.fulltextoriginal
cristin.fulltextoriginal
cristin.qualitycode2


Tilhørende fil(er)

Thumbnail

Denne innførselen finnes i følgende samling(er)

Vis enkel innførsel

Navngivelse 4.0 Internasjonal
Med mindre annet er angitt, så er denne innførselen lisensiert som Navngivelse 4.0 Internasjonal