Why Programs Fail - A Guide To Systematic Debugging (original) (raw)

Learn more

• About the Book
• About the Author
• Contents
• Reviews Buy the book

For readers

• Code and Resources
• Slides and Illustrations
• Instructor's Page
• Errata

Publishers' sites

• Elsevier
• dpunkt.verlag Paperback · 423 pages
  ISBN 978-0-12-374515-6 [US]
  ISBN 978-3-89864-620-8 [DE]

Code and Resources

This page contains several code examples from the book, as well as references to projects and other related material. If you'd like anything added or fixed, let me know.

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

Archives

Code (download to disk)

• <wpf-code-examples.zip> (All code examples in one archive)

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 (Download it here)
• 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 ·[Source Code and CVS]

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 (no longer active)

References

• Delta Debugging

15 Fixing the Defect

Appendix: Formal Definitions

Glossary

Bibliography

Index

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