지식의힘!! [강컴]

Home >

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

지은이 Andreas Zeller/류광 | 출판사 지앤선 | 발행일 2006년 12월 20일

	판매가	28,000원 → 25,200원 10%
	마일리지	10% 2,520원

	발행일	2006-12-20
	ISBN	8955508603 \| 9788955508604
	기타정보	번역서 \| 624쪽

	예상출고일	금일 가능 (근무일기준)
	배송비	무료배송

프로그래밍

종합지수 4p 85 위

월간지수 1p 85 위

※ 네이버 체크아웃으로 구매시 비회원으로 구매가
됨으로 강컴 마일리지는 적립 되지 않습니다.

	이 책의 원서
		Why Programs Fail: A Guide to Systematic Debugging Morgan Kaufmann \| Andreas Zeller

프로그래밍 분야 베스트(월)

1.	윈도우즈 API 정복(개정판) : 제1권
2.	찰스 페졸드의 Programming Windows, 5th Edition
3.	윈도우즈 API 정복(개정판) : 제2권

프로그래밍 분야 베스트(주)

1.	프로페셔널 안드로이드 애플리케이션 개발
2.	안드로이드 프로그래밍 : 모바일 소프트웨어 개발 (CD 1 포함)
3.	윈도우즈 임베디드 CE 프로그래밍 입문

프로그래밍 분야 신간

1.	Making Systems Safer: Proceedings of the Eighteenth Safety-Critical Systems Symposium, Bristol, UK, 9-11th February 2010
2.	Microsoft Visual Basic 2008 Express Programming for the Absolute Beginner
3.	Java Coursenotes

2006년 Jolt Award 기술서적 분야, 생산성 부문 수상작!
현재 소프트웨어 시장에서는 소프트웨어의 기능도 중요하지만 품질에 대한 관심이 증가하는 추세이다. 프로그램 속의 오류를 얼마나 최소한으로 줄이느냐 하는 것은 소프트웨어의 완성도와 직접적인 관련이 있으므로 소프트웨어의 품질에 대한 관심이 높아진다는 것은 프로그래머들에게 디버깅 작업을 얼마나 효율적으로 정확하게 해냈는가를 요구하는 것이다.

｢프로그램은 왜 실패하는가?｣의 핵심 컨셉은 ‘체계적이고 과학적인 디버깅’이라고 할 수 있다. 이 책은 ‘체계적’인 디버깅을 본격적으로 다룬 최초의 책으로 단순히 ‘이렇게 하면 좋다’, ‘이러면 잘 된다’가 아니라 수학적, 논리적 분석 틀과 이론적인 기반까지 제공하고 있다.

추천사 xix
추천사 xxii
머릿말 xxv
역자의 글 xxxvi

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.4.1 심각도
2.4.2 우선순위
2.4.3 식별자
2.4.4 주석
2.4.5 통지
2.5 문제점 처리
2.6 문제점 추적의 관리
2.7 요구사항으로서의 문제점
2.8 중복의 관리
2.9 문제점과 교정의 연계
2.10 문제점과 테스트의 연계
2.11 개 념
2.12 도 구
BugZilla
phpBugTracker
IssueTracker
Trac
SourceForge
GForge
2.13 더 읽을 거리
2.10 연습문제

3장 프로그램을 실패하게 만들기
3.1 디버깅을 위한 테스트
3.2 프로그램 제어
3.3 표현층에서의 테스트
3.3.1 저수준 상호작용
3.3.2 시스템 수준 상호작용
3.3.3 고수준 상호작용
3.3.4 테스트 결과 평가
3.4 기능층에서의 테스트
3.5 단위층에서의 테스트
3.6 단위의 격리
3.7 디버깅을 위한 설계
3.8 알려지지 않은 문제점 방지
3.9 개 념
3.10 도 구
JUnit
Android
AppleScript
VBScript
기타 스크립팅 언어들
FAUmachine
VMWare
Virtual PC
3.11 더 읽을거리
3.12 연습문제

4장 문제점 재현
4.1 디버깅의 첫 번째 과제
4.2 문제점 환경의 재현
4.3 문제점 수행의 재현
4.3.1 자료의 재현
4.3.2 사용자 상호작용의 재현
4.3.3 통신의 재현
4.3.4 시간의 재현
4.3.5 무작위성의 재현
4.3.6 운영 환경의 재현
4.3.7 일정의 재현
4.3.8 물리적 영향
4.3.9 디버깅 도구의 영향
4.4 시스템 상호작용의 재현
4.5 단위에서의 재현
4.5.1 제어층 설정
4.5.2 제어 예제
4.5.3 모크 객체
4.5.4 더 많은 상호작용의 제어
4.6 개 념
4.7 도 구
WinRunner
Android
Revirt
체크포인트 도구들
4.8 더 읽을거리
4.9 연습문제

5장 문제점 단순화
5.1 문제점 단순화
5.2 Gecko BugAThon
5.3 수동 단순화
5.4 자동 단순화
5.5 단순화 알고리즘
5.6 사용자 상호작용 단순화
5.7 무작위 입력의 단순화
5.8 더 빠른 단순화
5.8.1 캐싱
5.8.2 일찍 중단
5.8.3 구문적 단순화
5.8.4 상황이 아니라 차이를 격리
5.9 개 념
5.10 도 구
델타 디버깅
단순화 라이브러리
5.11 더 읽을거리
5.12 연습문제

6장 과학적 디버깅
6.1 디버깅 도사가 되려면
6.2 과학적 방법
6.3 과학적 방법의 적용
6.3.1 sample 디버깅-준비
6.3.2 sample 디버깅-가설 1
6.3.3 sample 디버깅-가설 2
6.3.4 sample 디버깅-가설 3
6.3.5 sample 디버깅-가설 4
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.3.1 문장이 주는 영향
7.3.2 문장이 받는 영향
7.3.3 문장 의존성
7.3.4 의존성 따라가기
7.3.5 의존성 활용
7.4 프로그램 슬라이싱
7.4.1 전방 슬라이스
7.4.2 후방 슬라이스
7.4.3 슬라이스 연산들
7.4.4 슬라이스 활용
7.4.5 실행 가능한 슬라이스
7.5 코드 악취의 연역
7.6 정적 분석의 한계
7.7 개 념
7.8 도 구
CodeSurfer
FindBugs
7.9 더 읽을거리
7.10 연습문제

8장 사실 관찰
8.1 상태의 관찰
8.2 실행 로깅
8.2.1 로깅 함수
8.2.2 로깅 프레임웍
8.2.3 애스펙트를 이용한 로깅
8.2.4 이진 수준의 로깅
8.3 디버거 활용
8.3.1 예제 디버깅 세션
8.3.2 수행의 제어
8.3.3 사후 디버깅
8.3.4 자료 로깅
8.3.5 함수 호출
8.3.6 교정 및 재개
8.3.7 디버거 내장
8.3.8 디버거 주의사항
8.4 사건 질의
8.4.1 감시점
8.4.2 균일한 사건 질의
8.5 상태의 시각화
8.6 개 념
8.7 도 구
Log4j
AspectJ
PIN
BCEL
GDB
DDD
Java Spider
eDOBS
8.8 더 읽을거리
8.9 연습문제

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

10장 기대의 단언
10.1 관찰 자동화
10.2 기본적인 단언들
10.3 불변식의 단언
10.4 정확성의 단언
10.5 명세로서의 단언
10.6 단언에서 검증으로
10.7 기준 실행
10.8 시스템 단언
10.8.1 MALLOC_CHECK_를 이용한 힙 유효성 확인
10.8.2 ElectricFence를 이용한 버퍼 넘침 방지
10.8.3 Valgrind를 이용한 메모리 오류 검출
10.8.4 언어 확장
10.9 제품용 코드의 점검
10.10 개 념
10.11 도 구
JML
ESC/Java
Guard
Valgrind
Purify
Insure++
Cyclone
CCured
10.12 더 읽을거리
10.13 연습문제

11장 비정상 검출
11.1 정상 행동 파악
11.2 포괄도 비교
11.3 통계적 디버깅
11.4 현장에서 자료 수집
11.5 동적 불변식
11.6 즉석 불변식
11.7 비정상에서 결함으로
11.8 개 념
11.9 도 구
Daikon
DIDUCE
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 도 구
Eclipse용 델타 디버깅 플러그인
ccache
13.11 더 읽을거리
13.12 연습문제

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

15장 결함 고치기
15.1 결함 찾기
15.2 가장 유망한 오류에 집중
15.3 결함의 유효성 확인
15.3.1 오류가 실패를 유발하는가?
15.3.2 원인이 실제로 오류인가?
15.3.3 코딩하기 전에 생각부터
15.4 결함의 정정
15.4.1 실패가 더 이상 발생하지 않는가?
15.4.2 정정이 새로운 문제점을 도입하지는 않았는가?
15.4.3 같은 실수를 다른 곳에서 한 적이 있는가?
15.4.4 마무리 작업
15.5 우회책
15.6 실수에서 배운다
15.7 개 념
15.8 더 읽을거리
15.9 연습문제

부록A 공식적인 정의들
A.1 델타 디버깅
A.1.1 구성
A.1.2 통과 실행과 실패 실행
A.1.3 테스트
A.1.4 최소성
A.1.5 단순화
A.1.6 차이
A.1.7 격리
A.2 메모리 그래프
A.2.1 공식 구조
A.2.2 자료구조 펼치기
A.2.3 정점들과 간선들의 부합
A.2.4 공통 부분그래프 구하기
A.2.5 그래프 차이 구하기
A.2.6 부분 상태 변경들의 적용
A.2.7 C 상태 갈무리
A.3 인과 사슬

용어집
참고문헌
색 인