Cargando…
Why programs fail : a guide to systematic debugging /
This book is proof that debugging has graduated from a black art to a systematic discipline. 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. The fully updated second edition in...
| Clasificación: | Libro Electrónico |
|---|---|
| Autor principal: | |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
San Francisco, Calif. : Oxford :
Morgan Kaufmann ; Elsevier Science [distributor],
2009.
|
| Edición: | 2nd ed. |
| Temas: | |
| Acceso en línea: | Texto completo |
MARC
| LEADER | 00000cam a2200000 a 4500 | ||
|---|---|---|---|
| 001 | SCIDIR_ocn424583972 | ||
| 003 | OCoLC | ||
| 005 | 20231117032807.0 | ||
| 006 | m o d | ||
| 007 | cr cnu---unuuu | ||
| 008 | 090714s2009 caua ob 001 0 eng d | ||
| 040 | |a OPELS |b eng |e pn |c OPELS |d N$T |d OPELS |d OCLCQ |d IDEBK |d OCLCQ |d TEFOD |d YDXCP |d KNOVL |d OCLCF |d KNOVL |d TOH |d E7B |d OCLCQ |d TEFOD |d OCLCQ |d OTZ |d D6H |d NLE |d OCLCQ |d UKMGB |d WYU |d LEAUB |d OL$ |d OCLCO |d OCLCQ | ||
| 015 | |a GBB6H5876 |2 bnb | ||
| 016 | 7 | |a 017593280 |2 Uk | |
| 019 | |a 472224334 |a 647821699 |a 994915437 |a 1064745363 | ||
| 020 | |a 9780080923000 |q (electronic bk.) | ||
| 020 | |a 0080923003 |q (electronic bk.) | ||
| 020 | |a 9780123745156 | ||
| 020 | |a 0123745152 | ||
| 035 | |a (OCoLC)424583972 |z (OCoLC)472224334 |z (OCoLC)647821699 |z (OCoLC)994915437 |z (OCoLC)1064745363 | ||
| 050 | 4 | |a QA76.9.D43 |b Z45 2009eb | |
| 072 | 7 | |a COM |x 051330 |2 bisacsh | |
| 082 | 0 | 4 | |a 005.1/4 |2 22 |
| 100 | 1 | |a Zeller, Andreas. | |
| 245 | 1 | 0 | |a Why programs fail : |b a guide to systematic debugging / |c Andreas Zeller. |
| 250 | |a 2nd ed. | ||
| 260 | |a San Francisco, Calif. : |b Morgan Kaufmann ; |a Oxford : |b Elsevier Science [distributor], |c 2009. | ||
| 300 | |a 1 online resource (xxiii, 400 pages) : |b illustrations | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 520 | |a This book is proof that debugging has graduated from a black art to a systematic discipline. 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. The fully updated second edition includes 100+ 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. 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. | ||
| 505 | 0 | |a How failures come to be -- Tracking problems -- Making programs fail -- Reproducing problems -- Simplifying problems -- Scientific debugging -- Deducing errors -- Observing facts -- Tracking origins -- Asserting expectations -- Detecting anomalies -- Causes and effects -- Isolating failure causes -- Isolating cause-effect chains -- Fixing the defect -- Appendix: formal definitions. | |
| 500 | |a Previous edition: Amsterdam; London: Morgan Kaufmann, 2005. | ||
| 504 | |a Includes bibliographical references and index. | ||
| 588 | 0 | |a Print version record. | |
| 650 | 0 | |a Debugging in computer science. | |
| 650 | 6 | |a D�ebogage. |0 (CaQQLa)201-0014818 | |
| 650 | 7 | |a COMPUTERS |x Software Development & Engineering |x Quality Assurance & Testing. |2 bisacsh | |
| 650 | 7 | |a Debugging in computer science. |2 fast |0 (OCoLC)fst00888884 | |
| 776 | 0 | 8 | |i Print version: |a Zeller, Andreas. |t Why programs fail. |b 2nd ed. |d San Francisco, Calif. : Morgan Kaufmann ; Oxford : Elsevier Science [distributor], 2009 |z 9780123745156 |w (OCoLC)318670523 |
| 856 | 4 | 0 | |u https://sciencedirect.uam.elogim.com/science/book/9780123745156 |z Texto completo |