Research Article
Evaluation of Tools and Slicing Techniques for Efficient Verification of UML/OCL Class Diagrams
Table 15
Slicing results in Alloy for Script 1.
| Before slicing | After slicing | Scope | TT | ST | TT + ST | STT | SST | STT + SST | Speedup % |
| 2 | 0.110 s | 0.133 s | 0.243 s | 0.007 s | 0.009 s | 0.016 s | 93% | 3 | 0.161 s | 0.290 s | 0.451 s | 0.009 s | 0.009 s | 0.018 s | 96% | 4 | 0.224 s | 0.591 s | 0.815 s | 0.014 s | 0.012 s | 0.026 s | 97% | 5 | 0.349 s | 0.606 s | 0.955 s | 0.017 s | 0.016 s | 0.033 s | 97% | 6 | 0.589 s | 1.077 s | 1.666 s | 0.027 s | 0.025 s | 0.052 s | 97% | 7 | 0.799 s | 1.392 s | 2.191 s | 0.038 s | 0.025 s | 0.063 s | 97% |
|
|
TT: Translation Time. ST: Solving Time. STT: Sliced Translation Time. SST: Sliced Solving Time.
|