A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is
We investigate the use of Coloured Petri Nets (CPNs) for MBT of complex fault-tolerant distributed systems and protocols. ... Moreover, implementing test suites for such distributed systems and protocols is also a complex and time-consuming task. Model-based testing (MBT) is a promising approach to software testing. ... Model-based testing and Coloured Petri Nets Model-based testing (MBT)  is a powerful approach for testing software. ...doi:10.18154/rwth-conv-236485 fatcat:zs3dnnvm7namrmvuvswg5df4we
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. ... CPNs and CPN Tools have been widely used for modeling, validation, and verification of distributed systems protocols  , but their application in software testing has only been explored to a limited ... Coloured Petri Nets (CPNs)  are a formal modeling language that can model distributed systems combining Petri Nets and the Standard ML programming language. ...doi:10.1016/j.jlamp.2019.02.004 fatcat:f5hkzed6vrfxroce3sp7mpdbpi