Research Article
Evaluation of Tools and Slicing Techniques for Efficient Verification of UML/OCL Class Diagrams
Table 5
Description of experimental results (Alloy).
| | Scope | TT | ST | TT + ST = TVT |
| | 2 | 0.125 s | 0.047 s | 0.172 s | | 3 | 0.187 s | 0.078 s | 0.265 s | | 4 | 0.281 s | 0.172 s | 0.453 s | | 5 | 0.473 s | 0.190 s | 0.663 s | | 6 | 0.671 s | 0.344 s | 1.015 s | | 7 | 0.969 s | 0.484 s | 1.453 s | | ⋮ | ⋮ | ⋮ | ⋮ | | 1000 | Time-out | Time-out | Time-out |
|
|
TT: Translation Time. ST: Solving Time. TVT: Total Verification Time.
|
