Make systematic conformance testing for BitTorrent protocol feasible: A CP-nets model based testing approach

As the intricate communication and concurrency are intrinsic characteristics of BitTorrent protocol, it is difficult to perform its systematic conformance testing, because it lacks accurate formal model to specify the testing oriented functional behaviors for the protocol. In this paper, a Colored Petri Nets (CPN) model based testing approach is adopted to make the systematic conformance testing for the BitTorrent protocol feasible. Dynamic model simulation is well utilized to generate the completely feasible test cases for the actual test executions. Besides, as simulating the protocol CPN model to generate test cases is irrespective with the model size, so it can easily handle the complicated BitTorrent models to perform the testing.