By Topic

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

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

2 Author(s)
Jing Liu ; Inner Mongolia Univ., Hohhot, China ; Haibo Wu

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.

Published in:

Performance Computing and Communications Conference (IPCCC), 2012 IEEE 31st International

Date of Conference:

1-3 Dec. 2012