Design And Implementation Of Imulation And Analysis Tool For CPN Model

In recent years,with the development of computer software industry,traditional software design and testing technology has been unable to meet the increasing complexity and scale of parallel software.Model based design and testing,began to receive widespread attention.In many modeling languages,CPN is a modeling language which can be used to test and simulate model system.It is especially suitable for analyzing and describing the software system with concurrency and synchronization.However,the existing CPN model simulation tools are not perfect enough for some specific problems,such as the automatic analyzing model system based on model execution.Therefore,this dissertation designs and implements a compiler,simulation and analysis tool for CPN model.By reading,compiling,executing,analyzing the CPN model file of software system,this tool can automatically complete the simulation of whole model,Single-Step simulation,simulation of the specified target,generation of accessible fired path with specified target,and the breakpoint analysis while the specified target is unreachable.On the one hand,in the software designation this tool can help designer to complete the designation and analysis of the specified target;On the other hand,during the software testing phase,this tool can help tester to complete the designation of the test cases.This dissertation completed the following work:1.CPNML compiler:after analyzing CPNML language lexical and grammatical structure,the CPNML compiler is generated by using Lex&Yacc with the CPNML lexical analysis and syntax analysis file.This compiler is used to analyze the variables definition and expression processing in model simulation and model analysis.2.Model simulation:After Standardizing the Fire-condition and Fire-process,this tool can simulate CPN model by using CPNML compiler to calculate the change of token information in transmission.This process is divided into single step simulation,the overall simulation and the simulation of specified target.3.Model analysis:Basing on the process of Model simulation mentioned above,this tool can automatically analyze the accessibility of specified target based on model execution.By the method of generating status space while searching,accessible fired path of specified target is obtained when it is reachable,otherwise breakpoint analysis is executed.Finally,a CPN model as an example is provided to parallel software testing,verifying the correctness and effectivenessof the toolpresented in this dissertation.It provides strong support for software design and testing.