Research Article
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).
|