CPN based protocol testing sequence generating method
Yang Meng · Journal of PLA University of Science and Technology · 2012
A functional property guided test sequences generation method was proposed based on Colored Petri Net(CPN) model for communication protocol conformance testing.Firstly,CPN model of protocol specification called protocol model was constructed,and the protocol functional properties were also modeled using CPN,called property model.Then,a state projection algorithm from the property model to protocol model was defined,and path matching and searching algorithms in the state space of the protocol model was proposed to form a complete property guided test sequence generation method.This method could not only avoid state space explosion problem caused by the complex protocol analysis,but also facilitate marking PCO places,where observable elements of the test sequences are extracted automatically,to make generated test sequences more feasible in the practical conformance test process.The corresponding software to was developed implement above test sequence generation method,and applied into the conformance testing of HMIPv6 protocol to the effectively validate the feasibility of the proposed method.