The experimental evaluation results presented in this chapter demonstrate the performance.docx

This preview shows page 1 out of 1 page.

The experimental evaluation results presented in this chapter demonstrate the performance, thecapabilities to detect and to show the absence of errors w. r. t. the class of common run-time errors, andthe practical applicability of our verification approach. For our slicing technique, the performanceevaluation shows that the computational effort for the dependence analysis and the construction of theMSDG is low. Even for the largest of our case studies, a slice is calculated in a fraction of a second. Weexpect the slicing technique to scale well with larger models, since the effort will increase linearly withthe size of the models, the number of bus signals and propagated CECs. Note that the set of models we
End of preview. Want to read the entire page?

Upload your study docs or become a

Course Hero member to access this document

Term
Winter
Professor
N/A
Tags
Normal Distribution, representative, Evaluation methods, experimental evaluation results

  • Left Quote Icon

    Student Picture

  • Left Quote Icon

    Student Picture

  • Left Quote Icon

    Student Picture