Research Article
Evaluation of Tools and Slicing Techniques for Efficient Verification of UML/OCL Class Diagrams
Table 12
Slicing results in Alloy for Paper-Researcher example.
| Before slicing | After slicing | Scope | TT | ST | TT + ST | STT | SST | STT + SST | Speedup % |
| 2 | 0.003 s | 0.009 s | 0.012 s | 0.003 s | 0.005 s | 0.008 s | 34% | 3 | 0.007 s | 0.008 s | 0.015 s | 0.003 s | 0.006 s | 0.009 s | 40% | 4 | 0.012 s | 0.008 s | 0.020 s | 0.004 s | 0.006 s | 0.010 s | 50% | 5 | 0.017 s | 0.010 s | 0.027 s | 0.004 s | 0.009 s | 0.013 s | 52% | 6 | 0.016 s | 0.015 ms | 0.031 s | 0.005 s | 0.009 s | 0.014 s | 55% | 7 | 0.019 s | 0.015 ms | 0.034 s | 0.006 s | 0.009 s | 0.015 s | 56% |
|
|
TT: Translation Time. ST: Solving Time. STT: Sliced Translation Time. SST: Sliced Solving Time.
|