Research Article
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% |
|
|