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: 1. How Failures Come to Be 2. Tracking Problems 3. Making Programs Fail 4. Reproducing Problems 5. Simplifying Problems 6. Scientific Debugging 7. Deducing Errors 8. Observing Facts 9. Tracking Origins 10. Asserting Expectations 11. Detecting Anomalies 12. Causes and Effects 13. Isolating Failure Causes 14. Isolating Cause-Effect Chains 15. Fixing the Defect Appendix: Formal Definitions A.1 Delta Debugging A.2 Memory Graphs A.3 Cause-Effect Chains
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.