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 | TVT | Speedup % |
| 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.
|