Portal de Periódicos da CAPES

Checking the Conformance of Java Classes Against Algebraic Specifications

2006; Springer Science+Business Media; Linguagem: Inglês

10.1007/11901433_27

1611-3349

Isabel Nunes, Antónia Lopes, Vasco T. Vasconcelos, João Abreu, Luís S. Reis,

Software Testing and Debugging Techniques

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.