Advances in Software Engineering

Research Article

Evaluation of Tools and Slicing Techniques for Efficient Verification of UML/OCL Class Diagrams

Table 16

Slicing results in Alloy for Script 2.
Before slicingAfter slicing
Scope TT ST TT + ST STT SST STT + SST Speedup %
2 1.839 s 3.021 s 4.860 s 0.006 s 0.007 s 0.013 s 99.7%
3 2.567 s 7.489 s 10.056 s 0.011 s 0.008 s 0.019 s 99.8%
4 3.374 s 8.320 s 11.694 s 0.014 s 0.009 s 0.023 s 99.8%
5 4.326 s 21.837 s 26.163 s 0.018 s 0.014 s 0.032 s 99.8%
6 5.231 s 32.939 s 38.170 s 0.025 s 0.014 s 0.039 s 99.8%
7 6.477 s 59.704 s 66.181 s 0.035 s 0.016 s 0.051 s 99.9%
TT: Translation Time. ST: Solving Time. STT: Sliced Translation Time. SST: Sliced Solving Time.