Research Article
Evaluation of Tools and Slicing Techniques for Efficient Verification of UML/OCL Class Diagrams
Table 10
Worst-case examples.
| Tool and example | Classes | Associations | Attr | Inv | NOS | OVT |
| UMLtoCSP (Paper-Researcher) | 2 | 2 | 6 | 4 | 0 | 0.040 s | UMLtoCSP (UOST) (Paper-Researcher) | 2 | 2 | 6 | 4 | 0 | 0.040 s | UMLtoCSP (Company) | 5 | 7 | 3 | 5 | 0 | 0.070 s | UMLtoCSP (UOST) (Company) | 5 | 7 | 3 | 5 | 0 | 0.070 s | UMLtoCSP (Script) | 100 | 110 | 122 | 100 | 0 | Time out | UMLtoCSP (UOST) (Script) | 100 | 110 | 122 | 100 | 0 | Time out |
|
|
Attr: Associations. Inv: Invariants. NOS: Number of Slices. OVT: Original Verification Time.
|