Testing Sequence Generation Method Based on Unrelated Behaviors Serializing

摘要

With the development of science and technology, many systems contain a lot of concurrency behaviors in the software. The uncertainty of the order in which concurrent behaviors occur poses a great challenge to software testing. The Colored Petri Net (CPN) model can accurately describe the concurrent behaviors in the software and can also be used to test the concurrent system software. However, the great problem of CPN model is state space explosion. In order to solve the problem, this paper proposes an unrelated concurrent behaviors serializing algorithm. The tester divide transitions in CPN model into three categories: the tested behaviors, the related behaviors and the unrelated behaviors. After that the algorithm will automatically implement inhibitor arcs addition in CPN model, so as to realize the serialization of unrelated concurrent behaviors. The algorithm can not only simplify the structure of the state space, but also achieve the goal of preventing the state space explosion finally. And the testing sequence contained in the state space is non-redundant and fully covered.