Work

Monitoring Java code using ConGu

Year: 2008

Type: article

Abstract: 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.

Authors: Vasco T. Vasconcelos, Isabel Nunes, Antónia Lopes

Institution: University of Lisbon

Language: English

Topic: Software Testing and Debugging Techniques

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: green

OpenAlex ID: W2253691073

FWCI: 1.987

Cites: 15

Cited by: 3

Related to: 10