Proceedings Article10.1145/263698.263752
Query-based debugging of object-oriented programs
Raimondas Lencevicius,Urs Hölzle,Ambuj K. Singh +2 more
- 09 Oct 1997
- Vol. 32, Iss: 10, pp 304-317
90
TL;DR: The implementation of the query-based debugger described here offers programmers an effective query tool that allows efficient searching of large object spaces and quick verification of complex relationships.
read more
Abstract: Object relationships in modem software systems are becoming increasingly numerous and complex. Programmers who try to find violations of such relationships need new tools that allow them to explore objects in a large system more efficiently. Many existing debuggers present only a low-level, one-object-at-a-time view of objects and their relationships. We propose a new solution to overcome these problems: query-based debugging. The implementation of the query-based debugger described here offers programmers an effective query tool that allows efficient searching of large object spaces and quick verification of complex relationships. Even for programs that have large numbers of objects, the debugger achieves interactive response times for common queries by using a combination of fast searching primitives, query optimization, and incremental result delivery.
read more
Chat with Paper
AI Agents for this Paper
Find similar papers on Google Scholar, PubMed and Arxiv
Write a critical review of this paper
Analyze citations of this paper to find unaddressed research gaps
Citations
Dynamically discovering likely program invariants
Michael D. Ernst,David Notkin +1 more
- 01 Jan 2000
TL;DR: This dissertation shows how invariants can be dynamically detected from program traces that capture variable values at program points of interest and presents techniques for detecting such invariants from traces, assesses their efficacy, and points the way for future research.
Recovering high-level views of object-oriented applications from static and dynamic information
Tamar Richner,Stéphane Ducasse +1 more
- 30 Aug 1999
TL;DR: This paper presents an environment supporting the generation of tailorable views of object-oriented systems from both static and dynamic information, based on the combination of user-defined queries.
181
Coca: an automated debugger for C
Mireille Ducassé
- 16 May 1999
TL;DR: Coca, an automated debugger for C, where the breakpoint mechanism is based on events related to language constructs, which is more powerful than "source-line" debuggers and more efficient than relational debuggers.
108
General test result checking with log file analysis
James H. Andrews,Yingjun Zhang +1 more
TL;DR: The experiments suggest that writing a formal log file analyzer and using random testing is competitive with other formal and informal methods for unit testing.
102
References
Program slicing
Keith Gallagher,David Binkley +1 more
- 01 Sep 2008
TL;DR: Applications of program slicing are surveyed, ranging from its first use as a debugging technique to current applications in property verification using finite state models, and a summary of research challenges for the slicing community is discussed.
2.8K
Access path selection in a relational database management system
P. Griffiths Selinger,Morton M. Astrahan,Donald D. Chamberlin,Raymond A. Lorie,T. G. Price +4 more
- 30 May 1979
TL;DR: System R as mentioned in this paper is an experimental database management system developed to carry out research on the relational model of data, which chooses access paths for both simple (single relation) and complex queries (such as joins), given a user specification of desired data as a boolean expression of predicates.
Principles of Database Systems
Jeffrey D. Ullman
- 01 Jan 1980
TL;DR: A large part of as mentioned in this paper is a description of relations, their algebra and calculus, and query languages that have been designed using these concepts, and explanations of how the theory can be used to design good systems.
1.9K
Related Papers (5)
Raimondas Lencevicius,Urs Hölzle,Ambuj K. Singh +2 more
- 14 Jun 1999
Mireille Ducassé
- 16 May 1999
Michael Golan,David R. Hanson +1 more
- 01 Jan 1993