A Model Reduction Method for Parallel Software Testing

Table 2

The comparison of state reports before and after reduction.

	Number of markings in state space	Number of arcs in state space	Status of state space
Before reduction	3409	9414	Full
After reduction	1329	3620	Full
Markings reduced	2080
Arcs reduced	5794
Markings reduction rate	About 61%
Arcs reduction rate	About 61.5%