Toward Translating Design Constraints to Run-Time Assertions

Authors:
Luciano Baresi;Michal Young
Affiliations:
Dipartimento di Elettronica e Informazione Politecnico di Milano Milano, Italy;Department of Computer Science University of Oregon Eugene, USA
Venue:
Electronic Notes in Theoretical Computer Science (ENTCS)
Year:
2005

Citing 6
Cited 1

ANNA: a language for annotating Ada programs

ANNA: a language for annotating Ada programs
A Practical Approach to Programming With Assertions

IEEE Transactions on Software Engineering
Interpreting the Object Constraint Language

APSEC '98 Proceedings of the Fifth Asia Pacific Software Engineering Conference
iContract - The Java(tm) Design by Contract(tm) Tool

TOOLS '98 Proceedings of the Technology of Object-Oriented Languages and Systems
Towards Efficient Support for Executing the Object Constraint Language

TOOLS '99 Proceedings of the Technology of Object-Oriented Languages and Systems
A metamodel for OCL

UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard

Characterizing logging practices in open-source software

Proceedings of the 34th International Conference on Software Engineering

Quantified Score

Hi-index	0.00

Visualization

Abstract

Inconsistency between design descriptions and implementation might be reduced if constraints associated with entities (e.g., OCL assertions in UML) were propagated to run-time assertions in corresponding parts of an implementation. We describe an approach in which constraints in a fixed design assertion language are propagated using translation rules that can be selected or customized for different implementation programming languages or assertion packages. Translation rules are kept simple by exploiting existing assertion packages where possible. We have implemented key parts of a prototype tool for translating OCL assertions to implementation assertions. We illustrate the approach by applying the prototype tool to an example, contrast it with other current proposals which rely more on run-time interpretation, and discuss some issues in design assertion propagation.