Detail

Checking the Conformance of Java Classes Against Algebraic Specifications

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.