Parallel Test Research And Tool Development Based On Colored Petri Net

The technology of parallel test, which is an important research in the automated testing field, is developing for the lack of serial work. Because of its high test efficiency and low cost, it plays a more and more important role in the national economy construction. Modeling is an important part of parallel test. However, it has a certain complexity when compared with the traditional serial test. Colored Petri net is a graphical representation of the formal language, which uses a graphical language with formal semantics and is easy to understand, so it is a universal determine representation of system. Colored Petri net has a good view of the solution of asynchronous and concurrent model features in the parallel test, so choose the Petri net Modeling as a way of parallel test. The main contents include the following aspects.Firstly, this paper presents the theory of colored Petri nets and parallel scheduling, proposes the parallel scheduling modeling method of the colored Petri net, and uses ant colony algorithm and TaskScheduler algorithm respectively to solve the problems of scheduling for parallel test. It gives the model of scheduling problem for parallel test in designing the ant colony algorithm particularly. It designs the calculated methods for induction functions and the state transition probability, and increases the differences between the pheromone using the dynamic annotation method in the search process, which avoid the premature of the algorithms .Secondly, the validation method of accessibility is researched based on the original colored Petri net model analysis. This paper implements data structure of the reachable tree and simulation algorithm, and proposes parallel scheduling up to the tree generation method. Linear algebra methods have also been researched and linear algebra algorithms to parallel scheduling problems is implemented.Thirdly, a modeling and scheduling tool based on colored Petri nets was designed, using object-oriented method in Visual C + + 6.0 environment. As a computer-aided design and analysis tool, users can drag the mouse to draw model on demand and edit the elements .After drawing and editing, they can do some simulations, then reachable marking set and reachable tree were generated automatically. Finally, a parallel scheduling sequence, using TaskScheduler algorithm, is designed based on an example .Though analyzing and comparing in details of the generated sequences, this paper creates a colored Petri net model, which was verified using linear algebraic methods and the accessibility of authentication methods. The instance is modeled, simulated and analyzed using tools of modeling, then this paper generates a new sequence, which is compared with the sequence generated from TaskScheduler algorithm on coverage rate and test time.