No Java without Caffeine ― A tool for dynamic analysis of Java programs - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2002

No Java without Caffeine ― A tool for dynamic analysis of Java programs

Abstract

To understand the behavior of a program, a maintainer reads some code, asks a question about this code, conjectures an answer, and searches the code and the documentation for confirmation of her conjecture. However, the confirmation of the conjecture can be error-prone and time-consuming because the maintainer has only static information at her disposal. She would benefit from dynamic information. In this paper, we present Caffeine, an assistant that helps the maintainer in checking her conjecture about the behavior of a Java program. Our assistant is a dynamic analysis tool that uses the Java platform debug architecture to generate a trace, i.e., an execution history, and a Prolog engine to perform queries over the trace. We present a usage scenario based on the n-queens problem, and two real-life examples based on the Singleton design pattern and on the composition relationship.
No file

Dates and versions

hal-00869117 , version 1 (02-10-2013)

Identifiers

Cite

Yann-Gaël Guéhéneuc, Rémi Douence, Narendra Jussien. No Java without Caffeine ― A tool for dynamic analysis of Java programs. ASE'02: 17th IEEE conference on Automated Software Engineering, Sep 2002, Edinburgh, UK, Romania. pp.117--126, ⟨10.1109/ASE.2002.1115000⟩. ⟨hal-00869117⟩
93 View
0 Download

Altmetric

Share

Gmail Facebook X LinkedIn More