Buch, Englisch, 544 Seiten, Format (B × H): 191 mm x 231 mm, Gewicht: 726 g
A Guide to Systematic Debugging
Buch, Englisch, 544 Seiten, Format (B × H): 191 mm x 231 mm, Gewicht: 726 g
ISBN: 978-0-12-374515-6
Verlag: Elsevier Science & Technology
The fully updated second edition includes 100+ pages of new material, including new chapters on Verifying Code, Predicting Erors, and Preventing Errors. Cutting-edge tools such as FindBUGS and AGITAR are explained, techniques from integrated environments like Jazz.net are highlighted, and all-new demos with ESC/Java and Spec#, Eclipse and Mozilla are included.
This complete and pragmatic overview of debugging is authored by Andreas Zeller, the talented researcher who developed the GNU Data Display Debugger(DDD), a tool that over 250,000 professionals use to visualize the data structures of programs while they are running. Unlike other books on debugging, Zeller's text is product agnostic, appropriate for all programming languages and skill levels.
The book explains best practices ranging from systematically tracking error reports, to observing symptoms, reproducing errors, and correcting defects. It covers a wide range of tools and techniques from hands-on observation to fully automated diagnoses, and also explores the author's innovative techniques for isolating minimal input to reproduce an error and for tracking cause and effect through a program. It even includes instructions on how to create automated debugging tools.
The text includes exercises and extensive references for further study, and a companion website with source code for all examples and additional debugging resources is available.
Zielgruppe
Computer programmers, software developers, analysts and testers
Autoren/Hrsg.
Fachgebiete
Weitere Infos & Material
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