Parallel Software Testing Sequence Generation Method Based on State Pruning

Testing for parallel software system is very difficult, because the number of states and execution sequences expands significantly caused by parallel behaviors. In this paper, a test sequences generation method based on Coloured Petri Net (CPN) is proposed, target at full coverage of occurrences in ... View More