프로그램은 왜 실패하는가?

추천사
추천사
머릿말
역자의 글

1장 실패는 어떻게 일어나는가
1.1 프로그램이 이상해요!
1.2 결함에서 실패로
1.3 시간과 공간 속에서의 디버깅
1.4 실패에서 교정으로
1.5 자동화된 디버깅 기법들
1.6 버그, 잘못, 결함?
1.7 개 념
1.8 도 구
1.9 더 읽을거리
1.10 연습문제

2장 문제점 추적
2.1 문제점
2.2 문제점 보고
2.3 문제점 관리
2.4 문제점 분류
2.5 문제점 처리
2.6 문제점 추적의 관리
2.7 요구사항으로서의 문제점
2.8 중복의 관리
2.9 문제점과 교정의 연계
2.10 문제점과 테스트의 연계
2.11 개 념
2.12 도 구
2.13 더 읽을 거리
2.10 연습문제

3장 프로그램을 실패하게 만들기
3.1 디버깅을 위한 테스트
3.2 프로그램 제어
3.3 표현층에서의 테스트
3.4 기능층에서의 테스트
3.5 단위층에서의 테스트
3.6 단위의 격리
3.7 디버깅을 위한 설계
3.8 알려지지 않은 문제점 방지
3.9 개 념
3.10 도 구
3.11 더 읽을거리
3.12 연습문제

4장 문제점 재현
4.1 디버깅의 첫 번째 과제
4.2 문제점 환경의 재현
4.3 문제점 수행의 재현
4.4 시스템 상호작용의 재현
4.5 단위에서의 재현
4.6 개 념
4.7 도 구
4.8 더 읽을거리
4.9 연습문제

5장 문제점 단순화
5.1 문제점 단순화
5.2 Gecko BugAThon
5.3 수동 단순화
5.4 자동 단순화
5.5 단순화 알고리즘
5.6 사용자 상호작용 단순화
5.7 무작위 입력의 단순화
5.8 더 빠른 단순화
5.9 개 념
5.10 도 구
5.11 더 읽을거리
5.12 연습문제

6장 과학적 디버깅
6.1 디버깅 도사가 되려면
6.2 과학적 방법
6.3 과학적 방법의 적용
6.4 명시적 디버깅
6.5 일지 관리
6.6 간이 디버깅
6.7 알고리즘적 디버깅
6.8 가설 이끌어내기
6.9 프로그램 추론
6.10 개 념
6.11 더 읽을 거리
6.12 연습문제

7장 오류 연역
7.1 값 근원의 격리
7.2 제어 흐름 이해하기
7.3 의존성 추적
7.4 프로그램 슬라이싱
7.5 코드 악취의 연역
7.6 정적 분석의 한계
7.7 개 념
7.8 도 구
7.9 더 읽을거리
7.10 연습문제

8장 사실 관찰
8.1 상태의 관찰
8.2 실행 로깅
8.3 디버거 활용
8.4 사건 질의
8.5 상태의 시각화
8.6 개 념
8.7 도 구
8.8 더 읽을거리
8.9 연습문제

9장 근원 추적
9.1 후방 추론
9.2 수행 내력 탐색
9.3 동적 슬라이싱
9.4 근원 활용
9.5 감염 추적
9.6 개 념
9.7 도 구
9.8 더 읽을거리
9.9 연습문제

10장 기대의 단언
10.1 관찰 자동화
10.2 기본적인 단언들
10.3 불변식의 단언
10.4 정확성의 단언
10.5 명세로서의 단언
10.6 단언에서 검증으로
10.7 기준 실행
10.8 시스템 단언
10.9 제품용 코드의 점검
10.10 개 념
10.11 도 구
10.12 더 읽을거리
10.13 연습문제

11장 비정상 검출
11.1 정상 행동 파악
11.2 포괄도 비교
11.3 통계적 디버깅
11.4 현장에서 자료 수집
11.5 동적 불변식
11.6 즉석 불변식
11.7 비정상에서 결함으로
11.8 개 념
11.9 도 구
11.10 더 읽을거리
11.11 연습문제

12장 원인과 결과
12.1 원인 그리고 대안의 세계
12.2 원인의 검증
12.3 인과관계의 예
12.4 실제 원인 찾기
12.5 원인 좁히기
12.6 차이 좁히기의 예
12.7 공통 문맥
12.8 디버깅에서의 원인들
12.9 개 념
12.10 더 읽을거리
12.11 연습문제

13장 실패 원인의 격리
13.1 원인의 자동적인 격리
13.2 격리 대 단순화
13.3 격리 알고리즘
13.4 격리 알고리즘 구현
13.5 실패 유발 입력의 격리
13.6 실패 유발 일정의 격리
13.7 실패 유발 변경의 격리
13.8 문제와 한계
13.9 개 념
13.10 도 구
13.11 더 읽을거리
13.12 연습문제

14장 인과 사슬의 격리
14.1 쓸모없는 원인들
14.2 프로그램 상태 갈무리
14.3 프로그램 상태들의 비교
14.4 유관 프로그램 상태의 격리
14.5 인과 사슬의 격리
14.6 실패 유발 코드의 격리
14.7 주의사항 및 위험
14.8 개 념
14.9 도 구
14.10 더 읽을거리
14.11 연습문제

15장 결함 고치기
15.1 결함 찾기
15.2 가장 유망한 오류에 집중
15.3 결함의 유효성 확인
15.4 결함의 정정
15.5 우회책
15.6 실수에서 배운다
15.7 개 념
15.8 더 읽을거리
15.9 연습문제

부록A 공식적인 정의들
A.1 델타 디버깅
A.2 메모리 그래프
A.3 인과 사슬

용어집
참고문헌
색 인