Advances in Software Engineering

Research Article

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

Table 9

Description of experimental results (UMLtoCSP).
Before slicing (UMLtoCSP)After slicing (UMLtoCSP UOST)
Classes Attributes OVT Attributes ST SVT TVTSpeedup %
2 6 0.04 s 3 0.00 s 0.040 s 0.040 s 0%
15 2 5008.76 s 0 0.00 s 0.178 s 0.178 s 99.99%
17 38 Time out 6 0.020 s 0.432 s 0.452 s N/A
50 72 3605.35 s 55 0.016 s 0.031 s 0.047 s 99.99%
100 122 Time out 117 0.016 s 0.032 s 0.048 s N/A
500 522 Time out 502 0.062 s 0.028 s 0.090 s N/A
1000 1022 Time out 1012 0.282 s 0.339 s 0.621 s N/A
OVT: Original Verification Time. ST: Slicing Time. SVT: Sliced Verification Time. TVT: Total Verification Time.