skip to content
Why programs fail : a guide to systematic debugging Preview this item
ClosePreview this item
Checking...

Why programs fail : a guide to systematic debugging

Author: Andreas Zeller
Publisher: Amsterdam ; Boston, Mass. Heidelberg London New York, NY Oxford Paris San Diego, Calif. San Francisco, Calif. Singapore Sydney Tokyo : Elsevier, Morgan Kaufmann Publ., [Heidelberg] : [Dpunkt-Verl.] 2009.
Edition/Format:   Print book : English : 2. edView all editions and formats
Summary:
This fully updated second edition includes more than hundred pages of new material, including new chapters on Verifying Code, Predicting Errors, 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  Read more...
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

Find a copy online

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Genre/Form: Lehrbuch
Material Type: Internet resource
Document Type: Book, Internet Resource
All Authors / Contributors: Andreas Zeller
ISBN: 9780123745156 0123745152 9783898646208 3898646203
OCLC Number: 436276291
Notes: Literaturverz. S. 381 - 389.
Description: XXIII, 400 Seiten : Illustrationen, Diagramme ; 24 cm
Contents: Amended Table of Contents The * denotes additions/changes for the proposed second edition. For brevity, second-level sections are omitted from the list. Please note that there are also recurring end-of-chapter sections: Concepts, Tools, Further Reading, and Exercises. Table of Contents * Include a list of "How To's" as indicated in appropriate chapters About the Author Preface * What's new in the second edition1 How Failures Come to Be 1.1 My Program Does Not Work! * New section "Facts on Bugs" - highlighting recent empirical findings1.2 From Defects to Failures 1.3 Lost in Time and Space 1.4 From Failures to Fixes 1.5 Automated Debugging Techniques 1.6 Bugs, Faults, or Defects? * New section "Learning From Mistakes" - pointing to the later chapter2 Tracking Problems 2.1 Oh! All These Problems 2.2 Reporting Problems 2.3 Managing Problems2.4 Classifying Problems 2.5 Processing Problems 2.6 Managing Problem Tracking 2.7 Requirements as Problems 2.8 Managing Duplicates * New section "Collecting Problem Data" - laying the foundation for later investigation2.9 Relating Problems and Fixes 2.10 Relating Problems and Tests * 2.9 and 2.10 will be merged into a new section "A Concert of Activities", focusing on integrated environments like Jazz.net3 Making Programs Fail 3.1 Testing for Debugging 3.2 Controlling the Program 3.3 Testing at the Presentation Layer 3.4 Testing at the Functionality Layer 3.5 Testing at the Unit Layer 3.6 Isolating Units 3.7 Designing for Debugging * Expand on "design for diagnosability", esp. for embedded systems3.8 Preventing Unknown Problems * This section will be deleted and replaced with a whole new chapter 184 Reproducing Problems 4.1 The First Task in Debugging 4.2 Reproducing the Problem Environment 4.3 Reproducing Program Execution 4.4 Reproducing System Interaction 4.5 Focusing on Units * Expand reflecting latest research results5 Simplifying Problems 5.1 Simplifying the Problem 5.2 The Gecko BugAThon 5.3 Manual Simplification 5.4 Automatic Simplification 5.5 A Simplification Algorithm 5.6 Simplifying User Interaction 5.7 Random Input Simplified 5.8 Simplifying Faster 6 Scientific Debugging 6.1 How to Become a Debugging Guru 6.2 The Scientific Method 6.3 Applying the Scientific Method 6.4 Explicit Debugging 6.5 Keeping a Logbook 6.6 Debugging Quick-and-Dirty 6.7 Algorithmic Debugging 6.8 Deriving a Hypothesis 6.9 Reasoning About Programs 7 Deducing Errors * This chapter will be renamed to "Tracking Dependences"7.1 Isolating Value Origins 7.2 Understanding Control Flow 7.3 Tracking Dependences 7.4 Slicing Programs 7.5 Deducing Code Smells * Move to new chapter 11 "Verifying Code"7.6 Limits of Static Analysis * Move to new chapter 11 "Verifying Code"8 Observing Facts 8.1 Observing State 8.2 Logging Execution 8.3 Using Debuggers 8.4 Querying Events 8.5 Visualizing State 9 Tracking Origins 9.1 Reasoning Backwards * Update with recent commercial tools9.2 Exploring Execution History 9.3 Dynamic Slicing 9.4 Leveraging Origins * Expand to use latest tools by Ko et al. as well as Gupta et al.9.5 Tracking Down Infections 10 Asserting Expectations 10.1 Automating Observation 10.2 Basic Assertions * Explain "design by contract" and its principles 10.3 Asserting Invariants * Expand on integrating contracts with inheritance10.4 Asserting Correctness 10.5 Assertions as Specifications10.6 From Assertions to Verification * Move to its own chapter "Verifying Code"10.7 Reference Runs * Move to "Verifying Code"10.8 System Assertions 10.9 Checking Production Code * Expand discussion; consider checking preconditions only * New Chapter 11 Verifying Code, Why does my Code smell? * Highlight tools like FindBUGS * Defects as Abnormal Behavior * Discuss work by Engler et al. Assertions as SpecificationsFrom Assertions to Verification- moved from 10.6 * Show the integration of ESC/Java and Spec# (with demos)Reference Runs0 moved from 10.7 * Limits of Static Analysis 12 Detecting Anomalies 12.1 Capturing Normal Behavior 12.2 Comparing Coverage 12.3 Statistical Debugging * Include and reflect recent work * Integrate machine learning approaches * Refer to the iBugs library12.4 Collecting Data in the Field 12.5 Dynamic Invariants * Discuss the AGITAR tool12.6 Invariants on the Fly 12.7 From Anomalies to Defects 13 Causes and Effects 13.1 Causes and Alternate Worlds 13.2 Verifying Causes 13.3 Causality in Practice 13.4 Finding Actual Causes 13.5 Narrowing Down Causes 13.6 A Narrowing Example 13.7 The Common Context 13.8 Causes in Debugging 14 Isolating Failure Causes 14.1 Isolating Causes Automatically 14.2 Isolating versus Simplifying 14.3 An Isolation Algorithm 14.4 Implementing Isolation 14.5 Isolating Failure-inducing Input 14.6 Isolating Failure-inducing Schedules 14.7 Isolating Failure-inducing Changes * Update to recent tools and screenshots14.8 Problems and Limitations 15 Isolating Cause-Effect Chains 15.1 Useless Causes 15.2 Capturing Program States 15.3 Comparing Program States 15.4 Isolating Relevant Program States 15.5 Isolating Cause-Effect Chains 15.6 Isolating Failure-inducing Code 15.7 Issues and Risks * Discuss how to recreate state via method calls* New project in Python16 Fixing the Defect 16.1 Locating the Defect 16.2 Focusing on the Most Likely Errors 16.3 Validating the Defect 16.4 Correcting the Defect 16.5 Workarounds 16.6 Learning from Mistakes * This becomes its own chapter 17* New chapter 17 Learning from Mistakes*17.1 Measuring effort and damage We want to know how much effort and cost went into each problem *17.2 Leveraging software archives Collect data from problem and change databases; access more of them *17.3 Mapping errors Which components have had the most errors in the past? Demonstrate using Eclipse and Mozilla data *17.4 Predicting errors Which components will have the most errors in the future? *17.5 What is it that makes software complex? Complexity of code; lack of quality assurance; changing requirements... and how to measure this *17.6 Digging for more data Goal-Question-Metric approach; experience factory *17.7 Continuous Improvement Space Shuttle Software * New chapter 18 Preventing Errors 18.1 Keep Things Simple General principles of good design and coding 18.2 Know what to do Pragmatic specification (design by contract, assertions) 18.3 Know how to check General principles of quality assurance 18.4 Learn from mistakes As laid out in (new) Section 16; integrated with earlier principles 18.5 Improve process and product- keep on challenging yourself Appendix: Formal Definitions A.1 Delta Debugging A.2 Memory Graphs A.3 Cause-Effect ChainsGlossary Bibliography Index
Responsibility: Andreas Zeller.
More information:

Abstract:

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  Read more...

Reviews

Editorial reviews

Publisher Synopsis

Praise from the experts for the first edition:"In this book, Andreas Zeller does an excellent job introducing useful debugging techniques and tools invented in both academia and industry. The book is Read more...

 
User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/436276291> # Why programs fail : a guide to systematic debugging
    a schema:CreativeWork, schema:Book ;
    library:oclcnum "436276291" ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/793076018#Place/new_york_ny> ; # New York, NY
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/793076018#Place/oxford> ; # Oxford
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/793076018#Place/tokyo> ; # Tokyo
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/793076018#Place/boston_mass> ; # Boston, Mass.
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/793076018#Place/heidelberg> ; # Heidelberg
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/793076018#Place/paris> ; # Paris
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/793076018#Place/amsterdam> ; # Amsterdam
    library:placeOfPublication <http://dbpedia.org/resource/London> ; # London
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/793076018#Place/singapore> ; # Singapore
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/793076018#Place/san_francisco_calif> ; # San Francisco, Calif.
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/793076018#Place/san_diego_calif> ; # San Diego, Calif.
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/793076018#Place/sydney> ; # Sydney
    schema:about <http://experiment.worldcat.org/entity/work/data/793076018#Topic/debugging> ; # Debugging
    schema:about <http://dewey.info/class/005.14/e22/ger/> ;
    schema:about <http://id.worldcat.org/fast/888884> ; # Debugging in computer science
    schema:about <http://experiment.worldcat.org/entity/work/data/793076018#Thing/programmazione_verifica_prove_misurazione_messa_a_punto_debugging> ; # Programmazione. Verifica, prove, misurazione, messa a punto (debugging)
    schema:author <http://viaf.org/viaf/29829542> ; # Andreas Zeller
    schema:bookEdition "2. ed." ;
    schema:bookFormat bgn:PrintBook ;
    schema:datePublished "2009" ;
    schema:description "This fully updated second edition includes more than hundred pages of new material, including new chapters on Verifying Code, Predicting Errors, 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. "Why Programs Fail" 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 new edition of this award-winning productivity-booster is for any developer who has ever been frustrated by elusive bugs. It features brand new chapters that demonstrate cutting-edge debugging techniques and tools, enabling readers to put the latest time-saving developments to work for them. You can learn by doing. New exercises and detailed examples focus on emerging tools, languages and environments, including AGITAR, FindBUGS, Python and Eclipse. The text includes exercises and extensive references for further study, and a companion website with source code for all examples and additional debugging resources." ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/793076018> ;
    schema:genre "Lehrbuch" ;
    schema:inLanguage "en" ;
    schema:name "Why programs fail : a guide to systematic debugging" ;
    schema:productID "436276291" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/436276291#PublicationEvent/heidelberg_dpunkt_verl> ;
    schema:publication <http://www.worldcat.org/title/-/oclc/436276291#PublicationEvent/amsterdam_boston_mass_heidelberglondonnew_york_nyoxfordparissan_diego_calif_san_francisco_calif_singaporesydneytokyo_elsevier_morgan_kaufmann_publ_2009> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/793076018#Agent/dpunkt_verl> ; # [Dpunkt-Verl.
    schema:publisher <http://experiment.worldcat.org/entity/work/data/793076018#Agent/elsevier_morgan_kaufmann_publ> ; # Elsevier, Morgan Kaufmann Publ.
    schema:url <http://d-nb.info/99363401X/04> ;
    schema:url <http://deposit.d-nb.de/cgi-bin/dokserv?id=3281178&prov=M&dok_var=1&dok_ext=htm> ;
    schema:url <http://digitool.hbz-nrw.de:1801/webclient/DeliveryManager?pid=3198715> ;
    schema:url <http://digitool.hbz-nrw.de:1801/webclient/DeliveryManager?pid=3198716&custom_att_2=simple_viewer> ;
    schema:workExample <http://worldcat.org/isbn/9783898646208> ;
    schema:workExample <http://worldcat.org/isbn/9780123745156> ;
    umbel:isLike <http://d-nb.info/99363401X> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/436276291> ;
    .


Related Entities

<http://dbpedia.org/resource/London> # London
    a schema:Place ;
    schema:name "London" ;
    .

<http://experiment.worldcat.org/entity/work/data/793076018#Agent/dpunkt_verl> # [Dpunkt-Verl.
    a bgn:Agent ;
    schema:name "[Dpunkt-Verl." ;
    .

<http://experiment.worldcat.org/entity/work/data/793076018#Agent/elsevier_morgan_kaufmann_publ> # Elsevier, Morgan Kaufmann Publ.
    a bgn:Agent ;
    schema:name "Elsevier, Morgan Kaufmann Publ." ;
    .

<http://experiment.worldcat.org/entity/work/data/793076018#Place/boston_mass> # Boston, Mass.
    a schema:Place ;
    schema:name "Boston, Mass." ;
    .

<http://experiment.worldcat.org/entity/work/data/793076018#Place/san_diego_calif> # San Diego, Calif.
    a schema:Place ;
    schema:name "San Diego, Calif." ;
    .

<http://experiment.worldcat.org/entity/work/data/793076018#Place/san_francisco_calif> # San Francisco, Calif.
    a schema:Place ;
    schema:name "San Francisco, Calif." ;
    .

<http://experiment.worldcat.org/entity/work/data/793076018#Thing/programmazione_verifica_prove_misurazione_messa_a_punto_debugging> # Programmazione. Verifica, prove, misurazione, messa a punto (debugging)
    a schema:Thing ;
    schema:name "Programmazione. Verifica, prove, misurazione, messa a punto (debugging)" ;
    .

<http://id.worldcat.org/fast/888884> # Debugging in computer science
    a schema:Intangible ;
    schema:name "Debugging in computer science" ;
    .

<http://viaf.org/viaf/29829542> # Andreas Zeller
    a schema:Person ;
    schema:familyName "Zeller" ;
    schema:givenName "Andreas" ;
    schema:name "Andreas Zeller" ;
    .

<http://worldcat.org/isbn/9780123745156>
    a schema:ProductModel ;
    schema:isbn "0123745152" ;
    schema:isbn "9780123745156" ;
    .

<http://worldcat.org/isbn/9783898646208>
    a schema:ProductModel ;
    schema:isbn "3898646203" ;
    schema:isbn "9783898646208" ;
    .

<http://www.worldcat.org/title/-/oclc/436276291#PublicationEvent/amsterdam_boston_mass_heidelberglondonnew_york_nyoxfordparissan_diego_calif_san_francisco_calif_singaporesydneytokyo_elsevier_morgan_kaufmann_publ_2009>
    a schema:PublicationEvent ;
    schema:location <http://experiment.worldcat.org/entity/work/data/793076018#Place/paris> ; # Paris
    schema:location <http://dbpedia.org/resource/London> ; # London
    schema:location <http://experiment.worldcat.org/entity/work/data/793076018#Place/boston_mass> ; # Boston, Mass.
    schema:location <http://experiment.worldcat.org/entity/work/data/793076018#Place/san_francisco_calif> ; # San Francisco, Calif.
    schema:location <http://experiment.worldcat.org/entity/work/data/793076018#Place/san_diego_calif> ; # San Diego, Calif.
    schema:location <http://experiment.worldcat.org/entity/work/data/793076018#Place/singapore> ; # Singapore
    schema:location <http://experiment.worldcat.org/entity/work/data/793076018#Place/amsterdam> ; # Amsterdam
    schema:location <http://experiment.worldcat.org/entity/work/data/793076018#Place/oxford> ; # Oxford
    schema:location <http://experiment.worldcat.org/entity/work/data/793076018#Place/new_york_ny> ; # New York, NY
    schema:location <http://experiment.worldcat.org/entity/work/data/793076018#Place/sydney> ; # Sydney
    schema:location <http://experiment.worldcat.org/entity/work/data/793076018#Place/heidelberg> ; # Heidelberg
    schema:location <http://experiment.worldcat.org/entity/work/data/793076018#Place/tokyo> ; # Tokyo
    schema:organizer <http://experiment.worldcat.org/entity/work/data/793076018#Agent/elsevier_morgan_kaufmann_publ> ; # Elsevier, Morgan Kaufmann Publ.
    schema:startDate "2009" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.