Checking the conformance of java classes against algebraic specifications

Authors:
Isabel Nunes;Antónia Lopes;Vasco Vasconcelos;João Abreu;Luís S. Reis
Affiliations:
Faculty of Sciences, University of Lisbon, Lisboa, Portugal;Faculty of Sciences, University of Lisbon, Lisboa, Portugal;Faculty of Sciences, University of Lisbon, Lisboa, Portugal;Faculty of Sciences, University of Lisbon, Lisboa, Portugal;Faculty of Sciences, University of Lisbon, Lisboa, Portugal
Venue:
ICFEM'06 Proceedings of the 8th international conference on Formal Methods and Software Engineering
Year:
2006

Citing 12
Cited 3

The Z notation: a reference manual

The Z notation: a reference manual
Larch: languages and tools for formal specification

Larch: languages and tools for formal specification
Daistish: systematic algebraic testing for OO programs in the presence of side-effects

ISSTA '96 Proceedings of the 1996 ACM SIGSOFT international symposium on Software testing and analysis
Object-oriented software construction (2nd ed.)

Object-oriented software construction (2nd ed.)
Automatically Checking an Implementation against Its Formal Specification

IEEE Transactions on Software Engineering
JML (poster session): notations and tools supporting detailed design in Java

OOPSLA '00 Addendum to the 2000 proceedings of the conference on Object-oriented programming, systems, languages, and applications (Addendum)
Algebraic Foundations of Systems Specification

Algebraic Foundations of Systems Specification
Software Specification: A Comparison of Formal Methods

Software Specification: A Comparison of Formal Methods
Fundamentals of Algebraic Specification I

Fundamentals of Algebraic Specification I
jContractor: A Reflective Java Library to Support Design by Contract

Reflection '99 Proceedings of the Second International Conference on Meta-Level Architectures and Reflection
iContract - The Java(tm) Design by Contract(tm) Tool

TOOLS '98 Proceedings of the Technology of Object-Oriented Languages and Systems
A Tool for Writing and Debugging Algebraic Specifications

Proceedings of the 26th International Conference on Software Engineering

Monitoring conversational web services

2nd international workshop on Service oriented software engineering: in conjunction with the 6th ESEC/FSE joint meeting
Automatic system testing of programs without test oracles

Proceedings of the eighteenth international symposium on Software testing and analysis
Runtime verification for generic classes with CONGU2

SBMF'10 Proceedings of the 13th Brazilian conference on Formal methods: foundations and applications

Quantified Score

Hi-index	0.00

Visualization

Abstract

We present and evaluate an approach for the run-time conformance checking of Java classes against property-driven algebraic specifications. Our proposal consists in determining, at run-time, whether the classes subject to analysis behave as required by the specification. The key idea is to reduce the conformance checking problem to the runtime monitoring of contract-annotated classes, a process supported today by several runtime assertion-checking tools. Our approach comprises a rather conventional specification language, a simple language to map specifications into Java types, and a method to automatically generate monitorable classes from specifications, allowing for a simple, but effective, runtime monitoring of both the specified classes and their clients.