Research Article
Evaluation of Tools and Slicing Techniques for Efficient Verification of UML/OCL Class Diagrams
Table 14
Slicing results in Alloy for Tracking System.
| Before slicing | After slicing | Scope | TT | ST | TT + ST | STT | SST | STT + SST | Speedup % |
| 2 | 0.020 s | 0.046 s | 0.066 s | 0.005 s | 0.008 s | 0.013 s | 81% | 3 | 0.083 s | 0.091 s | 0.174 s | 0.009 s | 0.011 s | 0.020 s | 89% | 4 | 0.096 s | 0.185 s | 0.254 s | 0.013 s | 0.011 s | 0.024 s | 90% | 5 | 0.158 s | 0.173 s | 0.332 s | 0.020 s | 0.012 s | 0.032 s | 90% | 6 | 0.233 s | 0.367 s | 0.600 s | 0.025 s | 0.023 s | 0.048 s | 92% | 7 | 0.325 s | 0.495 s | 0.820 s | 0.030 s | 0.028 s | 0.058 s | 93% |
|
|
TT: Translation Time. ST: Solving Time. STT: Sliced Translation Time. SST: Sliced Solving Time.
|