Advances in Software Engineering

Research Article

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

Table 17

Slicing results in Alloy for Script 3.
Before slicingAfter slicing
Scope TT ST TT + ST STT SST STT + SST Speedup %
2 9.548 s 12.941 s 22.489 s 0.006 s 0.008 s 0.014 s 99.93%
3 9.734 s 30.041 s 39.775 s 0.013 s 0.010 s 0.023 s 99.94%
4 12.496 s 66.861 s 79.357 s 0.019 s 0.010 s 0.029 s 99.96%
5 15.702 s 85.001 s 100.703 s 0.022 s 0.013 s 0.035 s 99.96%
6 19.496 s 185.118 s 204.614 s 0.029 s 0.016 s 0.045 s 99.97%
7 23.089 s 259.072 s 282.161 s 0.035 s 0.017 s 0.052 s 99.98%
TT: Translation Time. ST: Solving Time. STT: Sliced Translation Time. SST: Sliced Solving Time.