Make systematic conformance testing for BitTorrent protocol feasible: A CP-nets model based testing approach
作者： Jing Liu , Haibo Wu
DOI: 10.1109/PCCC.2012.6407713
关键词:
摘要: As the intricate communication and concurrency are intrinsic characteristics of BitTorrent protocol, it is difficult to perform its systematic conformance testing, because lacks accurate formal model specify testing oriented functional behaviors for protocol. In this paper, a Colored Petri Nets (CPN) based approach adopted make protocol feasible. Dynamic simulation well utilized generate completely feasible test cases actual executions. Besides, as simulating CPN irrespective with size, so can easily handle complicated models testing.
sci-hub.se 参考文章(4)
B. Cohen, Incentives Build Robustness in Bit-Torrent ,(2003)
Kurt Jensen, Lars M. Kristensen, Coloured Petri Nets: Modelling and Validation of Concurrent Systems ,(2009)
Jan Tretmans, Model Based Testing with Labelled Transition Systems Formal Methods and Testing. pp. 1- 38 ,(2008) , 10.1007/978-3-540-78917-8_1
Jing Liu, Xinming Ye, Jun Li, Colored Petri nets model based conformance test generation international symposium on computers and communications. pp. 967- 970 ,(2011) , 10.1109/ISCC.2011.5983967