Advanced Debugging Methods

Raimondas Lencevicius (Autor)

Buch | Softcover

183 Seiten

2012 | Softcover reprint of the original 1st ed. 2000
Springer-Verlag New York Inc.
978-1-4613-4688-3 (ISBN)

Artikel merken

Object relationships in modern software systems are becoming increasingly numerous and complex, and program errors due to violations of object relationships are difficult to detect. Programmers need new tools that allow them to explore objects in a large system more efficiently and to detect broken object relationships instantaneously. Such tools incorporate approaches used in such areas as data visualization, pattern matching and extraction, database querying, active databases, and rule-based programming. The query-based debugging approach developed by the author of this book is another powerful yet efficient tool to be added to the developer's tool chest.
Advanced Debugging Methods presents practice and tools for debugging computer programs. This book proposes new powerful approaches that simplify the daunting task of debugging complex software systems. Although debugging has been addressed in numerous research papers, many of its methods have yet to be explored in a book-length format. This book helps to fill this gap by presenting an overview of existing debugging tools with motivating examples and case studies, as well as presenting new, state-of-the-art debugging methods.
Advanced Debugging Methods will be of use to software developers looking for tools to be applied in cutting edge practice; system architects looking at the relationship between software design and debugging; tools and programming language researchers looking for new ideas in run-time tool implementation as well as detailed descriptions of advanced implementations; and university professors and graduate students who will use this book as supplementary reading for graduate courses in programming tools, language implementation, and advanced object-oriented systems. Advanced Debugging Methods is also a handy reference of currently existing debugging methodologies as well as a springboard for cutting-edge research to simplify thedifficult task of debugging and to facilitate the development of more robust software systems.

1 Introduction.- 1.1 Outline.- 2 Debugging Background and methods.- 2.1 Control Flow Debugging.- 2.2 Data Observation.- 2.3 Mixed Constructs.- 2.4 Program Visualization Systems.- 2.5 Summary.- 3 Static Query-Based Debugging.- 3.1 Introduction.- 3.2 Query Model.- 3.3 Implementation.- 3.4 Experimental Results.- 3.5 Related work.- 3.6 Summary.- 4 Dynamic Query-Based Debugger.- 4.1 Introduction.- 4.2 Query Model and Examples.- 4.3 Implementation.- 4.4 Experimental Results.- 4.5 Performance Model.- 4.6 Queries with Changing Results.- 4.7 On-the-fly Debugging.- 4.8 Related Work.- 4.9 Summary.- 5 Query Analysis and Classification.- 5.1 Introduction.- 5.2 Queries in Software Systems.- 5.3 Query Classification.- 5.4 Query Analysis and Classification Conclusions.- 5.5 Summary.- 6 Future Work and Open Problems.- 6.1 Automatic Change Sets.- 6.2 Safe Réévaluation and Distributed Debugging.- 7 Conclusions.- 8 Glossary.- 9 References.- Appendix A Generalized Graph Matching.- Appendix B Detailed Data.

Erscheint lt. Verlag	5.9.2012
Reihe/Serie	The Springer International Series in Engineering and Computer Science ; 568
Zusatzinfo	XV, 183 p.
Verlagsort	New York, NY
Sprache	englisch
Maße	155 x 235 mm
Themenwelt	Mathematik / Informatik ► Informatik ► Datenbanken
	Mathematik / Informatik ► Informatik ► Programmiersprachen / -werkzeuge
	Mathematik / Informatik ► Informatik ► Software Entwicklung
	Informatik ► Theorie / Studium ► Compilerbau
ISBN-10	1-4613-4688-6 / 1461346886
ISBN-13	978-1-4613-4688-3 / 9781461346883
Zustand	Neuware