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

Table 13

Slicing results in Alloy for Coach example.

Before slicing				After slicing
Scope	TT	ST	TT + ST	STT	SST	STT + SST	Speedup %
2	0.007 s	0.010 s	0.017 s	0.003 s	0.005 s	0.008 s	53%
3	0.014 s	0.019 s	0.033 s	0.005 s	0.008 s	0.013 s	61%
4	0.028 s	0.020 s	0.048 s	0.007 s	0.010 s	0.017 s	62%
5	0.036 s	0.031 s	0.067 s	0.012 s	0.015 s	0.027 s	65%
6	0.045 s	0.050 s	0.095 s	0.017 s	0.015 s	0.032 s	67%
7	0.081 s	0.077 s	0.158 s	0.034 s	0.017 s	0.051 s	68%

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