Minimal Test Suite Automatic Generation Method Based on Petri Net

The technology of test case automatic generation is the critical content of software automated testing, and it is the dream of software testers to determine the minimal test suite. In this paper, analyzed the existing technology of test case auto generation, and combined it with the feature of Petri net to put forward a method which could generate the minimal test suite. Primarily, according to the requirement of SUT(system under test), established the systematic fault model of Petri net; then got the target marking from the initial marking and transition firing sequences identified by the resource places, accompanied with the state equation and reachable concept of Petri net, and finally with the target marking, the minimal test suite could be worked out. That is if the number of token in the target place is one, then this case should be preserved, or be eliminated. And it is demonstrated by the algorithmic examples that this method could generate the minimal test suite automatically, easy to realize on computer and possess better applicable value.