Evaluating and debugging OCL expressions in UML models

Authors:
Jens Brüning;Martin Gogolla;Lars Hamann;Mirco Kuhlmann
Affiliations:
University of Rostock, Germany;University of Bremen, Germany;University of Bremen, Germany;University of Bremen, Germany
Venue:
TAP'12 Proceedings of the 6th international conference on Tests and Proofs
Year:
2012

Citing 4
Cited 0

Consistency, Independence and Consequences in UML and OCL Models

TAP '09 Proceedings of the 3rd International Conference on Tests and Proofs
Common Pitfalls of Using QVT Relations - Graphical Debugging as Remedy

ICECCS '09 Proceedings of the 2009 14th IEEE International Conference on Engineering of Complex Computer Systems
Evaluating Models for Model-Based Debugging

ASE '08 Proceedings of the 2008 23rd IEEE/ACM International Conference on Automated Software Engineering
A complete declarative debugger for Maude

AMAST'10 Proceedings of the 13th international conference on Algebraic methodology and software technology

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper discusses the relationship between tests and proofs with focus on a tool for UML and OCL models. Tests are thought of as UML object diagrams and theorems or properties which are to be checked are represented as OCL constraints, i.e., class invariants or operation pre- and postconditions. The paper shows for the UML and OCL tool USE (UML-based Specification Environment) how to trace and debug the validity of an expected theorem (an OCL constraint) within a given test case (a state model in the form of a UML object diagram).