역사 속의 소프트웨어 오류

1장 0.000000095의 오차가 앗아간 28명의 생명
미 공군 기지에 날아온 스커드 미사일
패트리어트 미사일 시스템의 구조
미사일 대 소프트웨어
미군의 대응
운명의 그 날 - 당시 패트리어트
[소프트웨어 개발자를 위한 섹션]

2장 멀고 먼 화성 탐사의 길: 소프트웨어 오류로 화성의 먼지가 된 두 탐사선의 운명
우주 탐사의 르네상스
화성 탐사의 첫 발을 내디딘 소련
미국의 첫 화성 탐사 성공
첫 화성 착륙선
화성 탐사의 주역, 미국
다시 시작된 화성 탐사
NASA의 화성 탐사 계획
MCO의 궤도 진입
MCO의 통신 두절
에어로 브레이킹
단위 표기 불일치가 불러온 참사
또 다른 탐사선, MPL
화성 대기권 진입, 그러나
MCO, MPL의 교훈

3장 "여보세요? 여보세요?"코드 한 줄이 초래한 AT&T 장거리 전화 불통 사건
AT&T의 역사
신뢰의 AT&T 장거리 네트워크
네트워크 장애의 시작
문제의 원인은 잘못된 코드 한 줄
전화 대란 그 후
[소프트웨어 개발자를 위한 섹션]

4장 소프트웨어 오류가 불러온 어둠: 2003 미국 북동부 대정전
우리나라의 9.15 정전 사태
2003년 미국 북동부 대정전
대재앙의 시작
연이은 트립
최후의 보루, 샘미스-스타 345kV 라인
티핑 포인트
아이패드 발매일의 긴 줄
왜 알람이 처리되지 않았을까?
[소프트웨어 개발자를 위한 섹션]

5장 불멸의 요크타운
요크타운
태평양전쟁과 요크타운
유지비 절감 프로그램의 테스트 함선으로…
영광의 하드웨어, 불명예의 소프트웨어

6장 인터넷 웜의 시초, 모리스 웜.docx
인터넷의 특성
공격과 방어 기능을 갖춘 소프트웨어
소프트웨어의 결함: 웜의 등장
웜과의 사투
위대한 웜 그 후
모리스의 두 가지 아이러니

7장 소프트웨어는 날아가는 전투기도 떨어뜨린다
스웨덴 JAS 39 그리펜 전투기 추락사고
그리펜 시제기의 추락
또 한 번의 추락
원인은 소프트웨어 문제
항공기에서 점점 더 중요해지는 소프트웨어

8장 70억 달러짜리 불꽃놀이 쇼: 아리안5 501편
성장하는 상업용 우주 산업
아리안5의 개발
아리안5 501호
사건의 재구성
결론
[소프트웨어 개발자를 위한 섹션]

9장 잘못 설계한 소프트웨어 사용성: 빈센트호 사건
바다로 번진 전쟁의 불길
긴장이 높아져 가는 미국과 이란
실수와 오판, 운명의 교향곡
이란항공 655편을 향해 발사된 미사일
격추, 그 후

10장 컴퓨터는 이해하기 힘든 인간의 시간 계산
윤년이란
마이크로소프트의 야심작 '준'
전 세계 게이머를 골탕먹인 플레이스테이션3 윤년 버그
컴퓨터에서 펜과 종이로, 병원 시스템 오류
멈춰버린 내비게이션
일상의 Y2K 버그
[소프트웨어 개발자를 위한 섹션]

11장 게임 버그
일상 속의 게임
각종 게임 버그들
이브 온라인
월드 오브 워크래프트

12장 금단의 열매: 핵무기
소련을 향해 다가오는 핵 미사일
페트로프의 결단
페트로프의 결단, 그 후
북미 항공우주 방위사령부: NORAD
새벽 3시에 걸려온 전화

13장 의료기기의 소프트웨어가 사람을 죽였다: 테락25 사건
늘어가는 암 환자와 암 치료법
방사선 치료
테락25의 개발
테락25의 첫 번째 희생자, 1985년 6월
테락25의 두 번째 희생자, 1985년 7월
세 번째 희생자, 야키마 밸리 메모리얼 병원, 1985년 12월
네 번째 희생자, 동 텍사스 암센터, 1986년 3월
다섯 번째 희생자: 동 텍사스 암센터, 1986년 4월
여섯 번째 희생자: 야키마 밸리 메모리얼 병원, 1987년 1월
사고의 원인 1: 소프트웨어
사고의 원인 2: User Interface
사고의 원인 3: 문서
사고의 원인 4: AECL의 소프트웨어에 대한 무지
소프트웨어 오류가 불러온 참극
[소프트웨어 개발자를 위한 섹션]

14장 소프트웨어 오류로 잃은 화성 탐사선
마스 글로벌 서베이어
마스 글로벌 서베이어의 갑작스런 임무 종료
원인은 소프트웨어 오류
화성 탐사 로봇의 시대를 연 소저너
본격적인 화성 탐사 로봇 스피릿
스피릿의 첫 위기: 소프트웨어 오류 발생
스피릿의 두 번째 위기: 바퀴 고장
스피릿의 최후

15장 세계를 쥐락펴락한 금융 소프트웨어 버그
밴쿠버 주식시장 오류
반올림 오류가 원인
호주 퀸즈랜드 은행 카드 단말기 고장
호주 퀸즈랜드 은행 카드 단말기 고장
[소프트웨어 개발자를 위한 섹션]

16장 소프트웨어가 막을 수 있었던 항공기 사고: 대한항공 801편과 아메리칸항공 965편 추락사고
괌의 참사: 대한항공 801편
추락까지의 기록들
막을 수 있었던 사고
소프트웨어만 제대로 작동했더라면
아메리칸항공 965편
실수의 시작
"음, 우리가 어디에 있는 거죠?"
소프트웨어에 일부 책임

17장 17조 원의 로또, 디지털 예산회계시스템
지옥과 천당을 오르내린 정부
디지털 예산회계시스템의 개발
'부적정'한 프로젝트
감리의 의견도 무시하고 시스템 가동 강행
예정된 결함들
결국 터진 문제
종합적인 인재의 결정판

18장 도요타 급발진 사고와 소프트웨어
도요타 리콜 위기
도요타 소프트웨어 검사
ECU의 소프트웨어가 급발진을 일으킬 수 있다
버그 투성이 도요타 소프트웨어
바 그룹 보고서와 도요타의 항복은 별개 사항

에필로그: 버그 없는 소프트웨어를 만들기 위해
소프트웨어의 원죄: 버그
소프트웨어 개발 프로세스
소프트웨어 버그의 비용
코딩 표준
정적 코드 분석