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

Table 19

Some statistical comparisons on empirical observations.

Type of empirical study	Mean values (in seconds)		Standard deviation
	OVT	TVT	OVT	TVT
UMLtoCSP Verification Time (Table 9)	N/A	0.405	N/A	0.484
Alloy for Paper-Researcher (Table 12)	0.026	0.012	0.027	0.013
Alloy for Coach example (Table 13)	0.087	0.030	0.100	0.034
Alloy for Tracking System (Table 14)	0.469	0.038	0.547	0.042
Alloy for Script 1 (Table 15)	1.304	0.041	1.495	0.045
Alloy for Script 2 (Table 16)	33.695	0.034	40.977	0.037
Alloy for Script 3 (Table 17)	151.112	0.038	185.205	0.040
Alloy for DBLP Conceptual Schema (Table 18)	22.331	9.933	22.165	9.620

OVT: Original Verification Time (before slicing). TVT: Total Verification Time (after slicing).