Learn more

• About the Book
• About the Author
• Contents
• Reviews

• Frontmatter
• Chapter One

• Amazon.com
• Amazon.de

• Code and Resources
• Slides and Illustrations
• How to...
• Instructor's Page
• Errata

Publishers' sites

• Morgan Kaufmann
• dpunkt.verlag

Code and Resources

[NEW!] means an addition to the book;
[UPDATE] means revised links, replacing those in the book.

1 How Failures Come to Be

Code (download to disk)

• sample.c (Example 1.1)

References

• Algorithmic and Automatic Debugging Home Page—a collection of links to debugging techniques and tools which will give you the latest and greatest in debugging.

2 Tracking Problems

Tools

• MOZILLA problem tracking site
• PHPBUGTRACKER
• ISSUETRACKER
• TRAC
• SOURCEFORGE
• GFORGE

References

• Software Configuration Management FAQ
• Phil Verghis' help desk FAQ

3 Making Programs Fail

Code (download to disk)

• URLTest.java (Examples 3.7-3.10)

Tools

• JUNIT
• ANDROID
• AppleScript
• VBScript
• FAUmachine
• VMWare
• Virtual PC

References

• JUNIT
• Extreme Programming

4 Reproducing Problems

Code (download to disk)

• Map.zip (Section 4.5.2)

Tools

• WINRUNNER and XRUNNER
• ANDROID
• REVIRT
• Checkpointing Tools

5 Simplifying Problems

Code (download to disk)

• ddmin.py (Example 5.4)
• split.py (Example 5.5)
• listsets.py (Example 5.6)
• DD.java (Example 5.10)

Tools

• The Delta implementation of ddmin

References

• Delta Debugging

6 Scientific Debugging

Code (download to disk)

• sort.py (Example 6.1)

7 Deducing Errors

Code (download to disk)

• fibo.c (Example 7.1)
• memleak.c (Example 7.3)

Tools

• CODESURFER
• FINDBUGS

8 Observing Facts

Code (download to disk)

• bigbang.zip (Example 8.3)

Tools

• LOGFORJ
• ASPECTJ
• PIN
• BCEL
• GDB
• DDD
• JAVA SPIDER
• eDobs

9 Tracking Origins

Tools

• Omniscient Debugger (ODB)

10 Asserting Expectations

Code (download to disk)

• BinaryTree.java (Example 10.3)

Tools

• Iowa State JML tools
• ESC/Java
• GUARD relative debugger
• VALGRIND
• IBM (vendor of PURIFY)
• INSURE
• CYCLONE
• CCURED language

References

• What are assertions?
• Use assertions
• Do not use assertions
• EIFFEL
• JML
• Spec#
• ESC/Java
• Accident reports, including the A320 in Warsaw

11 Detecting Anomalies

Code (download to disk)

• middle.c (Example 11.1)

Tools

• DAIKON
• DIDUCE

References

• [UPDATE] The Cooperative Bug Isolation Project

12 Causes and Effects

13 Isolating Failure Causes

Code (download to disk)

• dd.py (Example 13.3)
• listsets.py (Example 13.4)

Tools

• Delta Debugging plug-ins for Eclipse

References

• Delta Debugging

14 Isolating Cause-Effect Chains

Code (download to disk)

• fail.c (Example 14.1)

Tools

• Delta Debugging plug-ins for Eclipse
• AskIgor debugging server

References

• Delta Debugging

15 Fixing the Defect

Appendix: Formal Definitions

Glossary

Bibliography

Index

Get the book at Amazon.com · Amazon.de
Comments? Write to Andreas Zeller <zeller@whyprogramsfail.com>.