By Topic

Modeling Interactive Property of MIPv6 with Petri Net for Interoperability Testing

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
$33 $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

5 Author(s)
Hua Li ; Sch. of Comput. Sci., Inner Mongolia Univ., Huhhot, China ; Xin-ming Ye ; Cheng-yong Wu ; Long Liu
more authors

MIPv6 is presented to cope with mobile problem for deploying IPv6 around the world. Petri net is utilized to model the roles of MIPv6 and generate paths for each role. According to the test purpose for the coverage of promising property, the extracted interactive relations are analyzed from each rolepsilas model. The generation of test paths from two rolespsila models is illustrated. Moreover the IPath (interactive path) is obtained from two test paths. The generated IPath can cover the desirous property according to the interactive relation. Finally the conclusion and the research work in the future are introduced.

Published in:

2009 Second International Conference on Information and Computing Science  (Volume:2 )

Date of Conference:

21-22 May 2009