Monitoring Java code using ConGu
VASCO THUDICHUM VASCONCELOS, Isabel Nunes, Antónia Lopes · 2008
The ConGu project aims at developing a framework to create property-driven algebraic specifications and to test Java implementations against these specifications. We present a brief overview of the framework’s fundamental components—specifications, modules, refinements— and describe the ConGu tool both from the user’s and from the architect’s point of view. The tool allows users to test Java bytecode against a module of specifications, and to discover violations of specified properties. Towards this end, the tool generates intermediate classes equipped with contracts, and wraps the bytecode under test in newly generated classes that allow contract monitoring, in a way that is transparent to the clients of the original classes. 1.