Filters








2 Hits in 3.1 sec

Proceedings of the PhD Symposium at iFM'18 on Formal Methods: Algorithms, Tools and Applications (PhD-iFM'18)

Erika Ábrahám, Silvia Lizeth Taipa Tarifa, Silvia Lizeth Taipa Tarifa, Erika Ábrahám
2018 Conference proceedings (Universitetet i Oslo. Institutt for informatikk)  
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) [10] is a powerful approach for testing software.  ... 
doi:10.18154/rwth-conv-236485 fatcat:zs3dnnvm7namrmvuvswg5df4we

Automated Test Case Generation for the Paxos Single-decree Protocol using a Coloured Petri Net Model

Rui Wang, Lars Michael Kristensen, Hein Meling, Volker Stolz
2019 Journal of Logical and Algebraic Methods in Programming  
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 [5] , but their application in software testing has only been explored to a limited  ...  Coloured Petri Nets (CPNs) [3] 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