소프트웨어 테스팅

제1부 소프트웨어 테스팅의 기본 개념

제1장 소프트웨어의 품질과 테스팅

1.1 개요
1.2 소프트웨어의 품질 요소
1.3 소프트웨어 결함의 예방
1.4 소프트웨어 테스팅이 어려운 이유

제2장 소프트웨어 테스팅이란?

2.1 개요
2.2 소프트웨어 에러, 결함과 고장
2.3 소프트웨어 테스팅의 유형
2.4 체계적 테스팅의 예
2.5 테스팅의 한계

제3장 소프트웨어 테스트 프로세스

3.1 개요
3.2 테스트의 절차
3.3 테스트 케이스의 설계
3.4 테스트 오라클
3.5 테스트 기준
3.6 테스트 프로세스의 자동화
3.7 테스트 프로세스 개선

제4장 소프트웨어 정적 분석 기법

4.1 정적 분석
4.2 비공식 검토 기법
4.3 공식 검토회
4.4 사열과 감리
4.5 정형적 정적 분석 기법
4.6 프로그램의 정확성 증명법


제2부 명세서 기반 테스트 설계 기법

제5장 분할 테스트

5.1 명세 기반 테스트
5.2 분할 테스트
5.3 분할 테스트의 예
5.4 경계치 테스트
5.5 경계치 테스트의 예
5.6 테스트 데이터의 조합 방법

제6장 기타 명세 기반 테스트 설계 기법

6.1 개요
6.2 결정표 테스트
6.3 결정표 테스트의 예
6.4 원인 결과 그래프
6.5 Random 테스트
6.6 상태에 기반을 둔 테스트


제3부 코드 기반 테스트 설계 기법

제7장 문장 테스트와 분기 테스트

7.1 제어 흐름 그래프
7.2 문장 테스트
7.3 문장 테스트 설계의 예
7.4 분기 테스트
7.5 분기 테스트 설계의 예
7.6 조건 테스트
7.7 조건 테스트 설계의 예

제8장 경로 테스트

8.1 개요
8.2 테스트 커버리지
8.3 경로 테스트 설계의 예
8.4 루프 테스트
8.5 데이터 흐름 테스트


제4부 소프트웨어 테스트의 수행

제9장 단위 테스트와 통합 테스트

9.1 개요
9.2 단위 테스트
9.3 단위 테스트의 진행
9.4 단위 테스트 드라이버
9.5 다른 형태의 단위 테스트
9.6 테스트 주도형 소프트웨어 개발
9.7 통합 테스트

제10장 시스템 차원의 테스트

10.1 개요
10.2 기능 테스트
10.3 시스템 테스트의 유형
10.4 신뢰성 테스트
10.5 인도 직전의 테스트

제11장 회귀 테스트

11.1 인도 이후의 테스트
11.2 회귀 테스트 전략
11.3 회귀 테스트 절차
11.4 회귀 테스트 케이스 선별 방법
11.5 회귀 테스트 시스템

제12장 소프트웨어 테스트 관리와 품질 보증

12.1 개요
12.2 소프트웨어 결함 관리
12.3 테스트 인력 관리
12.4 소프트웨어 테스트 계획 수립
12.5 독립적 테스팅
12.6 소프트웨어 품질 보증
12.7 검증과 확인


제5부 소프트웨어 테스팅의 고급 과제

제13장 결함 기반 테스트 기법

13.1 개요
13.2 변종 분석법
13.3 비용 절감 기법
13.4 변종 분석 시스템

제14장 객체지향 소프트웨어 테스팅

14.1 개요
14.2 객체 지향 시스템의 테스팅 차원
14.3 클래스 테스팅
14.4 상속 관계의 테스팅
14.5 소프트웨어 컴포넌트 테스팅

제15장 실시간 내장형 소프트웨어 테스팅

15.1 개요
15.2 실시간 시스템 테스팅
15.3 임베디드 소프트웨어 테스팅