Modeling Interactive Property of MIPv6 with Petri Net for Interoperability Testing

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.