Advances in Software Engineering

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 slicingAfter 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.