Research Article
Evaluation of Tools and Slicing Techniques for Efficient Verification of UML/OCL Class Diagrams
Table 13
Slicing results in Alloy for Coach example.
| Before slicing | After slicing | Scope | TT | ST | TT + ST | STT | SST | STT + SST | Speedup % |
| 2 | 0.007 s | 0.010 s | 0.017 s | 0.003 s | 0.005 s | 0.008 s | 53% | 3 | 0.014 s | 0.019 s | 0.033 s | 0.005 s | 0.008 s | 0.013 s | 61% | 4 | 0.028 s | 0.020 s | 0.048 s | 0.007 s | 0.010 s | 0.017 s | 62% | 5 | 0.036 s | 0.031 s | 0.067 s | 0.012 s | 0.015 s | 0.027 s | 65% | 6 | 0.045 s | 0.050 s | 0.095 s | 0.017 s | 0.015 s | 0.032 s | 67% | 7 | 0.081 s | 0.077 s | 0.158 s | 0.034 s | 0.017 s | 0.051 s | 68% |
|
|
TT: Translation Time. ST: Solving Time. STT: Sliced Translation Time. SST: Sliced Solving Time.
|