Skip to Content
Why Programs Fail, 2nd Edition
book

Why Programs Fail, 2nd Edition

by Andreas Zeller
July 2009
Intermediate to advanced
544 pages
11h 24m
English
Morgan Kaufmann
Content preview from Why Programs Fail, 2nd Edition

CHAPTER 7 Deducing Errors

In this chapter, we begin exploring the techniques for creating hypotheses introduced in Chapter 6. We start with deduction techniques—reasoning from the abstract program code to the concrete program run. In particular, we present program slicing, an automated means of determing possible origins of a variable value. Using program slicing, one can effectively narrow down the number of possible infection sites.

7.1 ISOLATING VALUE ORIGINS

Oops! We have observed something that should not happen—the program has reached some state it never should have reached. How did it get into this state? Kernighan and Pike (1999) give a hint:

Something impossible occurred, and the only solid information is that it really did occur. ...

Become an O’Reilly member and get unlimited access to this title plus top books and audiobooks from O’Reilly and nearly 200 top publishers, thousands of courses curated by job role, 150+ live events each month,
and much more.

Read now

Unlock full access

More than 5,000 organizations count on O’Reilly

AirBnbBlueOriginElectronic ArtsHomeDepotNasdaqRakutenTata Consultancy Services

QuotationMarkO’Reilly covers everything we've got, with content to help us build a world-class technology community, upgrade the capabilities and competencies of our teams, and improve overall team performance as well as their engagement.
Julian F.
Head of Cybersecurity
QuotationMarkI wanted to learn C and C++, but it didn't click for me until I picked up an O'Reilly book. When I went on the O’Reilly platform, I was astonished to find all the books there, plus live events and sandboxes so you could play around with the technology.
Addison B.
Field Engineer
QuotationMarkI’ve been on the O’Reilly platform for more than eight years. I use a couple of learning platforms, but I'm on O'Reilly more than anybody else. When you're there, you start learning. I'm never disappointed.
Amir M.
Data Platform Tech Lead
QuotationMarkI'm always learning. So when I got on to O'Reilly, I was like a kid in a candy store. There are playlists. There are answers. There's on-demand training. It's worth its weight in gold, in terms of what it allows me to do.
Mark W.
Embedded Software Engineer

You might also like

The Practice of Programming

The Practice of Programming

Brian W. Kernighan, Rob Pike
Crucial Conversations

Crucial Conversations

Joseph Grenny, Kerry Patterson, Ron McMillan, Al Switzler, Emily Gregory

Publisher Resources

ISBN: 9780123745156