목차
저자서문 ... xiii
역자서문 ... xxi
제1부 소프트웨어 공학 개요 ... 1
제1장 소프트웨어 공학의 영역 ... 5
1.1 역사적인 측면 ... 7
1.2 경제적인 측면 ... 9
1.3 유지보수 측면 ... 9
1.3.1 유지보수의 고전적 그리고 현대적 견해 ... 12
1.3.2 인도 후 유지보수의 중요성 ... 13
1.4 요구사항, 분석, 설계 측면 ... 16
1.5 팀 개발 측면 ... 17
1.6 계획수립 페이즈가 없는 이유 ... 18
1.7 테스팅 페이즈가 없는 이유 ... 19
1.8 문서화 페이즈가 없는 이유 ... 20
1.9 객체-지향 파라다임 ... 21
1.10 객체-지향 파라다임의 전망 ... 25
1.11 용어 ... 26
1.12 윤리 이슈 ... 29
복습 ... 30
관련자료 ... 30
연습문제 ... 31
참고문헌 ... 32
제2장 소프트웨어 생명주기 모델 ... 37
2.1 이론적 측면의 소프트웨어 개발 ... 37
2.2 Winberg Mini Case Study ... 38
2.3 Winburg 미니 사례연구의 교훈 ... 42
2.4 Teal Tractors Case Study ... 42
2.5 반복과 점진 ... 43
2.6 Winburg Mini Case Study Revisited ... 47
2.7 반복과 점진의 위험과 또다른 측면 ... 48
2.8 반복과 점진관리하기 ... 50
2.9 다른 생명주기 모델 ... 51
2.9.1 코드-픽스 생명주기 모델 ... 51
2.9.2 폭포수 생명주기 모델 ... 52
2.9.3 라피드 프로토타입핑 생명주기 모델 ... 54
2.9.4 Extreme Programming과 Agile Processes ... 55
2.9.5 동기적-안정적 생명주기 모델 ... 57
2.9.6 나선형 생명주기 모델 ... 57
2.10 생명주기 모델들의 비교 ... 62
복습 ... 63
관련자료 ... 63
연습문제 ... 64
참고문헌 ... 65
제3장 소프트웨어 프로세스 ... 69
3.1 Unified Process ... 71
3.2 객체-지향 파라다임에서 반복과 점진 ... 72
3.3 요구사항 웍플로우 ... 73
3.4 분석 웍플로우 ... 75
3.5 설계 웍플로우 ... 77
3.6 구현 웍플로우 ... 78
3.7 테스트 웍플로우 ... 79
3.7.1 요구사항 산출물 ... 79
3.7.2 분석 산출물 ... 79
3.7.3 설계 산출물 ... 80
3.7.4 구현 산출물 ... 80
3.8 인도 후 유지보수 ... 82
3.9 폐기 ... 83
3.10 Unified Process의 페이즈 ... 83
3.10.1 개념정립 페이즈 ... 84
3.10.2 전개 페이즈 ... 87
3.10.3 구축 페이즈 ... 87
3.10.4 전환 페이즈 ... 88
3.11 1차원 대 2차원 생명주기 모델 ... 89
3.12 소프트웨어 프로세스 개선하기 ... 90
3.13 CMM ... 90
3.14 다른 소프트웨어 프로세스 개선안 ... 94
3.15 소프트웨어 프로세스 개선의 비용과 이익 ... 95
복습 ... 96
관련자료 ... 97
연습문제 ... 98
참고문헌 ... 98
제4장 팀 ... 103
4.1 팀 조직 ... 103
4.2 민주적 팀 접근법 ... 105
4.2.1 민주적 팀 접근법의 분석 ... 106
4.3 고전적 칩 프로그래머 팀 접근법 ... 106
4.3.1 New York Times 프로젝트 ... 108
4.3.2 고전적 칩 프로그래머 팀 접근법의 비실용성 ... 109
4.4 칩 프로그래머와 민주적 팀 ... 110
4.5 동기적-안정적 팀 ... 112
4.6 Extreme Programming 팀 ... 113
4.7 P-CMM ... 113
4.8 적합한 팀 조직 선택하기 ... 115
복습 ... 115
관련자료 ... 115
연습문제 ... 116
참고문헌 ... 116
제5장 툴의 선택 ... 119
5.1 단계적 정제 ... 119
5.1.1 Stepwise Refinement Mini Case Study ... 120
5.2 비용-이익 분석 ... 125
5.3 소프트웨어 척도 ... 127
5.4 CASE ... 128
5.5 CASE의 전문용어 ... 129
5.6 CASE의 영역 ... 131
5.7 소프트웨어 버전 ... 135
5.7.1 개정 ... 135
5.7.2 변형 ... 135
5.8 형상관리 ... 136
5.8.1 인도 후 유지보수 동안에 형상관리 ... 138
5.8.2 기준선 ... 139
5.8.3 개발 동안에 형상관리 ... 139
5.9 빌드 툴 ... 140
5.10 CASE 기술로 취득한 생산성 ... 141
복습 ... 142
관련자료 ... 142
연습문제 ... 143
참고문헌 ... 144
제6장 테스팅 ... 147
6.1 품질 이슈 ... 148
6.1.1 소프트웨어 품질 보증 ... 149
6.1.2 관리의 독립성 ... 150
6.2 비실행 기반 테스팅 ... 150
6.2.1 워크스루 ... 151
6.2.2 워크스루 관리 ... 151
6.2.3 인스펙션 ... 152
6.2.4 인스펙션과 워크스루의 비교 ... 154
6.2.5 검토의 강점과 약점 ... 155
6.2.6 인스펙션용 척도 ... 155
6.3 실행-기반 테스팅 ... 156
6.4 테스트 대상은 무엇인가? ... 156
6.4.1 유용성 ... 157
6.4.2 신뢰성 ... 157
6.4.3 강건성 ... 158
6.4 과 성능 ... 158
6.4.5 정확성 ... 159
6.5 테스팅 대 정확성 증명 ... 161
6.5.1 정확성 증명의 예 ... 162
6.5.2 Correctness Proof Mini Case Study ... 164
6.5.3 정확성 증명과 소프트웨어 공학 ... 165
6.6 누가실행-기반 테스팅을수행하는가? ... 168
6.7 테스팅 종료 시기 ... 170
복습 ... 170
관련자료 ... 170
연습문제 ... 171
참고문헌 ... 173
제7장 모듈에서 객체까지 ... 177
7.1 모듈이란 무엇인가? ... 178
7.2 응집력 ... 181
7.2.1 우연적 응집력 ... 182
7.2.2 논리적 응집력 ... 182
7.2.3 시간 응집력 ... 183
7.2.4 절차적 응집력 ... 184
7.2.5 교환적 응집력 ... 184
7.2.6 기능적 응집력 ... 185
7.2.7 정보적 응집력 ... 186
7.2.8 응집력 예제 ... 186
7.3 결합도 ... 187
7.3.1 내용 결합도 ... 187
7.3.2 공통 결합도 ... 188
7.3.3 제어 결합도 ... 190
7.3.4 스템프 결합도 ... 190
7.3.5 데이터 결합도 ... 191
7.3.6 결합도 예제 ... 192
7.3.7 결합도의 중요성 ... 193
7.4 데이터 캡슬화 ... 194
7.4.1 데이터 갭슬화와 프로덕트 개발 ... 196
7.4.2 데이터 갭슬화와 유지보수 ... 197
7.5 추상 데이터 타입 ... 203
7.6 정보 은닉 ... 204
7.7 객체 ... 206
7.8 상속성, 다형성, 동적 바인딩 ... 210
7.9 객체-지향 파라다임 ... 212
복습 ... 215
관련자료 ... 216
연습문제 ... 217
참고문헌 ... 218
제8장 재사용성과 이식성 ... 221
8.1 재사용 개념 ... 222
8.2 재사용에 제약 ... 224
8.3 재사용 사례연구 ... 225
8.3.1 Raytheon Missile System Division ... 225
8.3.2 European Space Agency ... 227
8.4 객체와 재사용 ... 228
8.5 설계와 구현 동안에 재사용 ... 228
8.5.1 설계 재사용 ... 229
8.5.2 어플리케이션 프레임워크 ... 230
8.5.3 설계 패턴 ... 231
8.5.4 소프트웨어 아키텍처 ... 235
8.5.5 컴포넌트_기반 소프트웨어 공학 ... 236
8.6 재사용과 인도 후 유지보수 ... 236
8.7 이식성 ... 237
8.7.1 하드웨어 비호환성 ... 238
8.7.2 운영체제 비호환성 ... 239
8.7.3 수치 소프트웨어 비호환성 ... 239
8.7.4 컴파일러 비호환성 ... 240
8.8 왜 이식성인가? ... 243
8.9 이식성을 달성하는 기법 ... 244
8.9.1 이식 가능한 시스템 소프트웨어 ... 244
8.9.2 이식 가능한 어플리케이션 소프트웨어 ... 245
8.9.3 이식 가능한 데이터 ... 246
복습 ... 247
관련자료 ... 247
연습문제 ... 248
참고문헌 ... 250
제9장 계획수립과 추정 ... 255
9.1 계획수립과 소프트웨어 프로세스 ... 256
9.2 기간과 비용 추정하기 ... 257
9.2.1 프로덕트의 사이즈에 대한 척도 ... 258
9.2.2 비용추정 기법 ... 262
9.2.3 중간급 COCOMO ... 264
9.2.4 COCOMO II ... 267
9.2.5 기간과 비용추정 추적 ... 268
9.3 소프트웨어 프로젝트 관리의 컴포넌트 ... 269
9.4 소프트웨어 프로젝트 관리 계획 프레임워크 ... 270
9.5 IEEE SPMP ... 272
9.6 테스팅 계획수립 ... 275
9.7 객체_지향 프로젝트 계획수립 ... 276
9.8 요구사항 교육 ... 277
9.9 문서화 표준 ... 277
9.10 계획수립과 추정용 CASE 툴 ... 278
9.11 SPMP 테스팅 ... 278
복습 ... 279
관련자료 ... 279
연습문제 ... 280
참고문헌 ... 281
제2부 소프트웨어 생명주기의단계 ... 285
제10장 요구사항 ... 287
10.1 클라이언트 니즈가 무엇인지 결정하기 ... 288
10.2 요구사항 웍플로우의 개요 ... 289
10.3 도메인 이해하기 ... 289
10.4 비즈니스 모델 ... 290
10.4.1 인터뷰 ... 290
10.4.2 다른 기법 ... 291
10.4.3 유스 케이스 ... 292
10.5 초기 요구사항 ... 294
10.6 도메인의 초기 이해: Osbert Oglesby Case Study ... 294
10.7 초기 비즈니스 모델: Osbert Oglesby Case Study ... 296
10.8 초기 요구사항: Osbert Oglesby Case Study ... 299
10.9 요구사항 웍플로우 계속하기: Osbert Oglesby Case Study ... 300
10.10 테스트 웍플로우: Osbert Oglesby Case Study ... 307
10.11 고전적 요구사항 페이즈 ... 308
10.12 라피드 프로토타이핑 ... 309
10.13 인적 인자 ... 310
10.14 라피드 프로토타입핑의 재사용 ... 311
10.15 요구사항 웍플로우용 CASE 툴 ... 313
10.16 요구사항 웍플로우용 척도 ... 313
10.17 요구사항 웍플로우의 난제 ... 314
복습 ... 315
관련자료 ... 316
연습문제 ... 316
참고문헌 ... 317
제11장 고전적 분석 ... 319
11.1 명세 문서 ... 320
11.2 비정형 명세 ... 321
11.2.1 Correctness Proof Mini Case Study Redux ... 322
11.3 구조적 시스템 분석 ... 323
11.3.1 Sally's Software Shop Mini Case Study ... 323
11.4 구조적 시스템 분석: Osbert Oglesby Case Study ... 331
11.5 다른 반정형 기법 ... 333
11.6 엔티티-관계 모델링(ERM) ... 334
11.7 유한 상태 기계 ... 336
11.7.1 유한 상태 기계: Elevator Problem Case Study ... 338
11.8 Petri Net ... 343
11.8.1 Petri NCt: Elevator Problem Case Study ... 346
11.9 Z ... 348
11.9.1 Z: The Elevator Problem Case Study ... 348
11.9.2 Z의 분석 ... 351
11.10 다른 정형기법 ... 352
11.11 고전적 분석기법들의 비교 ... 353
11.12 고전적 분석 동안 테스팅 ... 354
11.13 고전적 분석용 CASE 툴 ... 355
11.14 고전적 분석용 척도 ... 355
11.15 소프트웨어 프로젝트 관리 계획: Osbert Oglesby Case Study ... 356
11.16 고전적 분석의 난제 ... 356
복습 ... 357
관련자료 ... 357
연습문제 ... 358
참고문헌 ... 360
제12장 객체-지향 분석 ... 365
12.1 분석 웍플로우 ... 366
12.2 엔티티 클래스들 추출법 ... 367
12.3 객체_지향 분석: Elvator Problem Case Study ... 368
12.4 기능적 모델링: Elvator Problem Case Study ... 368
12.5 엔티티 클래스 모델링: Elevator Problem Case Study ... 370
12.5.1 명사 추출법 ... 371
12.5.2 CRC카드 ... 373
12.6 동적 모델링: Elevator Problem Case Study ... 374
12.7 테스트 웍플로우: Object-Oriented Analysis ... 377
12.8 경계와 콘트를 클래스들 추출하기 ... 380
12.9 초기 기능적 모델: Osbert Oglesby Case Study ... 381
12.10 초기 클래스 다이어그램: Osbert Oglesby Case Study ... 384
12.11 초기 동적 모델: Osbert Oglesby Case Study ... 390
12.12 경계 클래스들 추출하기: Osbert Oglesby Case Study ... 392
12.13 콘트를 클래스들 추출하기: Osbert Oglesby Case Study ... 393
12.14 유스 케이스들 정제하기: Osbert Oglesby Case Study ... 393
12.15 유스-케이스 실현: Osbert Oglesby Case Study ... 396
12.15.1 Buy a Masterpiece 유스 케이스 ... 396
12.15.2 Buy a Masrework 유스 케이스 ... 402
12.15.3 Buy Other Painting 유스 케이스 ... 403
12.15.4 나머지 다섯 개 유스 케이스 ... 405
12.16 클래스 다이어그램 점진시키기: Osbert Oglesby Case Study ... 407
12.17 테스트 웍플로우: Osbert Oglesby Case Study ... 408
12.18 Uuified Process의 명세 문서 ... 408
12.19 액터와 유스 제이스 ... 409
12.20 객체-지향 분석 웍플로우용 CASE 툴 ... 411
12.21 객체-지향 분석 웍플로우의 난제 ... 411
복습 ... 412
관련자료 ... 412
연습문제 ... 413
참고문헌 ... 414
제13장 설계 단계 ... 417
13.1 설계와 추상화 ... 418
13.2 오퍼레이션-중심 설계 ... 419
13.3 데이터 흐름 분석 ... 419
13.3.1 Word Counting ... 420
13.3.2 데이터 흐름 분석 확장안 ... 425
13.4 트랜잭션 분석 ... 425
13.5 데이터-중심 설계 ... 427
13.6 객체-지향 설계 ... 428
13.7 객체-지향 설계: Elvator Problem Case Study ... 429
13.8 객체-지향 설계: Osbert Oglesby Case Study ... 432
13.9 설계 웍플로우 ... 436
13.10 테스트 웍플로우 ... 438
13.11 테스트 웍플로우: Osbert Oglesby Case Study ... 439
13.12 상세설계용 정형기법 ... 439
13.13 실시간 설계 기법 ... 439
13.14 설계용 CASE 툴 ... 441
13.15 설계용 척도 ... 442
13.16 설계 웍플로우의 난제 ... 443
복습 ... 443
관련자료 ... 444
연습문제 ... 444
참고문헌 ... 445
제14장 구현 ... 449
14.1 프로그래밍 언어의 선택 ... 449
14.2 4세대 언어 ... 452
14.3 올바른 프로그래밍 관습 ... 454
14.3.1 일관되고 의미 있는 변수 이름들의 사용 ... 455
14.3.2 자기 문서화 코드의 이슈 ... 456
14.3.3 파라미터들의 사용 ... 457
14.3.4 가독성 증가를 위한 코드 배치 ... 458
14.3.5 중첩된 if 문 ... 458
14.4 코딩 표준 ... 460
14.5 코드 재사용 ... 460
14.6 통합 ... 461
14.6.1 하향식 통합 ... 462
14.6.2 상향식 통합 ... 463
14.6.3 샌드위치 구현과 통합 ... 464
14.6.4 객체-지향 프로덕트들의 통합 ... 465
14.6.5 통합의 관리 ... 466
14.7 구현 웍플로우 ... 466
14.8 구현 웍플로우: Osbert Oglesby Case Study ... 467
14.9 테스트 웍플로우: 구현 ... 467
14.10 테스트 사례 선택 ... 467
14.10.1 명세들의 테스팅과 코드의 테스팅 ... 468
14.10.2 명세들에 대한 테스팅의 타당성 ... 468
14.10.3 코드에 대한 테스팅의 타당성 ... 469
14.11 블랙-박스 단위 테스팅 기법 ... 471
14.11.1 동등 테스팅과 경계값 분석 ... 472
14.11.2 기능 테스팅 ... 473
14.12 블랙-박스 테스트 사례: Osbert Oglesby Case Skldy ... 414
14.13 글래스-박스 단위 태스팅 기법 ... 476
14.13.1 구조적 테스팅 : 문, 분기, 경로범위 ... 476
14.13.2 복잡도 척도 ... 479
14.14 코드 워크스루와 인스펙션 ... 480
14.15 단위 테스팅 기법들의 비교 ... 480
14.16 Cleanroom ... 481
14.17 객체들 테스트시 잠재적인 문제점 ... 482
14.18 단위 테스팅의 관리적 측면 ... 484
14.19 코드 산출물을 디버깅하기 보다는 재구축할 시기 ... 485
14.20 통합 테스팅 ... 486
14.21 프로덕트 테스팅 ... 487
14.22 승인 테스팅 ... 488
14.23 텍스트 웍플로우: Osbert Oglesby Case Study ... 489
14.24 구현용 CASE 툴 ... 489
14.24.1 전체 소프트웨어 프로세스용 CASE 툴 ... 489
14.24.2 통합 개발 환경 ... 490
14.24.3 비즈니스 어플리케이션용 환경 ... 491
14.24.4 대중적인 툴 기반구조 ... 491
14.24.5 환경들이 갖는 잠재적 문제점 ... 492
14.25 구현 웍플로우용 척도 ... 492
14.26 구현 웍플로우의 난제 ... 492
복습 ... 493
관련자료 ... 494
연습문제 ... 495
참고문헌 ... 497
제15장 인도 후 유지보수 ... 501
15.1 인도 후 유지보수의 필요성 ... 502
15.2 인도 후 유지보수 프로그래머들의 요구는 무엇인가? ... 502
15.3 Postdelivery Maintenance Mini Case Study ... 504
15.4 인도 후 유지보수의 관리 ... 506
15.4.1 결점 보고 ... 506
15.4.2 프로젝트에 대한 변경 권한 ... 507
15.4.3 유지보수성의 보장 ... 508
15.4.4 반복되는 유지보수의 문제 ... 508
15.5 객체-지향 소프트웨어의 유지보수 ... 509
15.6 인도 후 유지보수 스킬 대 개발 스킬 ... 511
15.7 역공학 ... 512
15.8 인도 후 유지보수 동안 테스팅 ... 513
15.9 인도 후 유지보수용 CASE 툴 ... 514
15.10 인도 후 유지보수용 척도 ... 514
15.11 인도 후 유지보수: Osbert Oglesby Case Study ... 515
15.12 인도 후 유지보수의 난제 ... 515
복습 ... 515
관련자료 ... 515
연습문제 ... 516
참고문헌 ... 517
제16장 UML의 세부사항 ... 521
16.1 UML은 방법론이 아니다 ... 522
16.2 클래스 다이어그램 ... 522
16.2.1 집합 ... 524
16.2.2 다중성 ... 524
16.2.3 복합 ... 526
16.2.4 일반화 ... 527
16.2.5 연관 ... 527
16.3 노트 ... 528
16.4 유스□케이스 다이어그램 ... 528
16.5 스테레오타입 ... 528
16.6 상호작용 다이어그램 ... 530
16.7 상태차트 ... 532
16.8 활동 다이어그램 ... 535
16.9 패키지 ... 536
16.10 컴포넌트 다이어그램 ... 537
16.11 배치 다이어그램 ... 537
16.12 UML 다이어그램 복습 ... 538
16.13 UML과 반복 ... 538
복습 ... 539
관련자료 ... 539
연습문제 ... 539
참고문헌 ... 540
부록 A ... 541
부록 B ... 544
부록 C ... 546
부록 D ... 547
부록 E ... 551
부록 F ... 552
부록 G ... 557
부록 H ... 565
부록 I ... 566
부록 J ... 567
찾아보기 ... 568
닫기