Research Article
Evaluation of Tools and Slicing Techniques for Efficient Verification of UML/OCL Class Diagrams
Table 18
Slicing results in Alloy for DBLP conceptual schema.
| Before slicing | After slicing | Scope | TT | ST | TT + ST | STT | SST | STT + SST | Speedup % |
| 15 | 10.373 s | 3.649 s | 14.022 s | 5.801 s | 0.946 s | 6.747 s | 52% | 17 | 15.462 s | 8.838 s | 24.300 s | 9.568 s | 1.394 s | 10.962 s | 55% | 19 | 23.170 s | 3.958 s | 27.128 s | 10.656 s | 0.872 s | 11.528 s | 57% |
|
|
TT: Translation Time. ST: Solving Time. STT: Sliced Translation Time. SST: Sliced Solving Time.
|