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

Table 15

Slicing results in Alloy for Script 1.

Before slicing				After slicing
Scope	TT	ST	TT + ST	STT	SST	STT + SST	Speedup %
2	0.110 s	0.133 s	0.243 s	0.007 s	0.009 s	0.016 s	93%
3	0.161 s	0.290 s	0.451 s	0.009 s	0.009 s	0.018 s	96%
4	0.224 s	0.591 s	0.815 s	0.014 s	0.012 s	0.026 s	97%
5	0.349 s	0.606 s	0.955 s	0.017 s	0.016 s	0.033 s	97%
6	0.589 s	1.077 s	1.666 s	0.027 s	0.025 s	0.052 s	97%
7	0.799 s	1.392 s	2.191 s	0.038 s	0.025 s	0.063 s	97%

TT: Translation Time. ST: Solving Time. STT: Sliced Translation Time. SST: Sliced Solving Time.