Design And Implementation Of Generation Tool For Initial Marker Domain Of CPN Model

With the rapid development of software technology,parallel software system has become the mainstream.However,the explosion of state space of parallel software caused by the parallel behaviors makes the software test coverage get more and more difficult.Formal modeling language CPN(Colored Petri net)is a modeling language suitable for describing parallel software,but software testing cannot proceed smoothly when the parallel software state space explodes.In this dissertation,an algorithm for automatic generation of initial mark domain of CPN model focus on tested target is proposed,and a software tool based on this algorithm is implemented.On the one hand,we can get the initial mark range to reach the target behavior without providing the state space,and provide the basic conditions for the black box testing;On the other hand,the tool can be also used to set the initial mark more effectively,allowing the state space of the model to be effectively controlled,thereby improving the efficiency of white box testing based on state space.Specific work is as follows:(1)Read and parse the CPN model file for the software system under test and set the target behaviors to be measured,and then find the full paths from the model's initial element to the target.This dissertation solves the problem of nodes with multiple predecessors in CPN model by using the method of selecting the predecessor node backtracking.(2)The arc expression and the guard expression of transition on each path are processed to obtain path expression about the initial variable.In this dissertation,the variable substitution method is used to do the expression integration for each path,which solves the problem that the variables on each transition are independent of each other.(3)We can get the expression condition of a path by obtaining the condition from the path expression.In this thesis,we use the methods of de-redundancy and extraction and processing of keywords to solve the problem of condition extraction of long strings containing operator characters and keywords.(4)When processing the CPN model element classification,the synchronization node classification needs special discussion particularly.In this thesis,we use the method of traversal path to find the synchronization node and find the predecessor nodes which have the same variable to solve the problem that processing synchronization node in CPN model which need to integrate multiple paths and processing sequence of synchronization nodes when the model contains multiple synchronization nodes.Finally,the instance analysis and demonstration of initial tag domain of CPN model proves the tool of automatic generation of initial tag domain focus on tested target is effectively,which improve the efficiency of software testing.