Why Programs Fail

With chapters on Verifying Code, Predicting Errors, and Preventing Errors, this title explains tools such as FindBUGS and AGITAR, highlights techniques from integrated environments like Jazz.net, and includes demos with ESC/Java and Spec#, Eclipse and Mozilla. It is a complete and pragmatic overview of debugging.

Autorentext
Andreas Zeller is a full professor for Software Engineering at Saarland University in Saarbruecken, Germany. His research concerns the analysis of large software systems and their development process; his students are funded by companies like Google, Microsoft, or SAP. In 2010, Zeller was inducted as Fellow of the ACM for his contributions to automated debugging and mining software archives. In 2011, he received an ERC Advanced Grant, Europe's highest and most prestigious individual research grant, for work on specification mining and test case generation. His book "Why programs fail", the "standard reference on debugging", obtained the 2006 Software Development Jolt Productivity Award.

Klappentext

An award-winning guide to faster and easier debugging is now updated with the latest tools and techniques. It demystifies one of the toughest aspects of software programming, showing clearly how to discover what caused software failures, and fix them with minimal muss and fuss.

Inhalt

1. How Failures Come to Be

   2. Tracking Problems
   3. Making Programs Fail
   4. Reproducing Problems
   5. Simplifying Problems
   6. Scienti c Debugging
   7. Deducing Errors
   8. Observing Facts
   9. Tracking Origins
   10. Asserting Expectations
   11. Detecting Anomalies
   12. Causes and E ects
   13. Isolating Failure Causes
   14. Isolating Cause-E ect Chains
   15. Fixing the Defect

   Appendix: Formal De nitions
   A.1 Delta Debugging
   A.2 Memory Graphs
   A.3 Cause-E ect Chains