Tours through the Book¶
While the chapters of this book can be read one after the other, there are many possible paths through the book. In this graph, an arrow A → B means that chapter A is a prerequisite for chapter B. You can pick arbitrary paths in this graph to get to the topics that interest you most:
# ignore
from bookutils import rich_output, InteractiveSVG
# ignore
sitemap = None
if rich_output():
sitemap = InteractiveSVG(filename='PICS/Sitemap.svg')
sitemap
But since even this map can be overwhelming, here are a few tours to get you started. Each of these tours allows you to focus on a particular view, depending on whether you are a programmer, student, or researcher.
The Pragmatic Programmer Tour¶
You have a program to debug. You want to learn about techniques that help you for debugging. You want to get to the point.
Start with Introduction to Debugging to get the basic concepts. (You would know most of these anyway, but it can't hurt to get quick reminders).
Experiment with interactive debuggers to observe executions interactively.
Use assertions to have the computer systematically run checks during execution.
Explore delta debugging for your program and see how it simplifies failure-inducing inputs and changes.
Visualize dependencies in your program and track the flow of data and control in the execution.
Check out statistical debugging for a simple way to determine code locations associated with failures.
See automatic repairs in action.
In each of these chapters, start with the "Synopsis" parts; these will give you quick introductions on how to use things, as well as point you to relevant usage examples. With this, enough said. Get back to work and enjoy!
The Young Researcher Tour¶
Your school wants you to publish a great paper every few months. You are looking for infrastructures that you can toy with, helping you to build and evaluate cool ideas.
Toy with tracer to collect data on program executions - features you can then correlate with program failures.
Extract dependencies from your program and use them for runtime verification, fault localization, and better repair.
Use automatic repairs as a starting point to build your own, better repairs. The Python implementation is well documented and extremely easy to expand.
Bring in test generation and structured inputs to collect input features that relate to failures.
Mine version and bug repositories to explore how bugs and all these features evolve over time.
For each of these chapters, experiment with the techniques, and then build your own on top. Read the relevant papers to learn more about their motivation and background. And now go and improve the world of automated debugging!
Lessons Learned¶
- You can go through the book from beginning to end...
- ...but it may be preferable to follow a specific tour, based on your needs and resources.
- Now go and explore automated debugging!