국방대학교 도서관검색
- Home
- 기능목록
- 검색
-
Marc 보기
MARC 닫기
-
LDR
00707nam 2200217 c 4500
-
001
000003918163
-
005
20220101120000
-
008
090420s2008 us 000 eng
-
040
▼a 211070
▼c 211070 -
049
▼l WM0000012575
-
050
▼a QA76.76.T48
-
090
▼a QA76.76.T48
▼b P495 -
100
▼a Pezze, Mauro
-
245
▼a Software Testing and Analysis:
▼b process, principles, and techniques/
▼d Mauro Pezze;
▼e Michal Young -
260
▼a Hoboken:
▼b Wiley,
▼c 2008. -
300
▼a 488 p.;
▼c 24 cm. -
653
▼a SOFTWARE
▼a TESTING
▼a ANALYSIS
▼a PROCESS
▼a PRINCIPLES
▼a TECHNIQUES
▼a Computer software
▼a Quality control -
700
▼a Michal Young
-
700
▼a Young, Michal
-
740
▼a process, principles, and techniques
-
950
▼b \
-
991
▼a 단행본
-
LDR
- 바구니담기
- 내서재 담기
- 내보내기
상세정보
Software Testing and Analysis : process, principles, and techniques
QR코드| 자료유형 : | 단행본 |
|---|---|
| 분류기호 : | QA76.76.T48 |
| 개인저자 : | Pezze, Mauro |
| 서명/저자사항 : | Software Testing and Analysis: process, principles, and techniques/ Mauro Pezze; Michal Young |
| 발행사항 : | Hoboken: Wiley, 2008. |
| 형태사항 : | 488 p.; 24 cm. |
| 개인저자 : | Michal Young |
| 개인저자 : | Young, Michal |
| 언어 | 영어 |
예약
- 1. 예약현황은 홈페이지 로그인 후 예약 페이지에 확인 가능합니다.
- 2. 도착 통보된 예약자료 대출을 원하지 않는 경우에는 예약 현황에서 취소할 수 있습니다.
- 3. 기타 문의사항은 도서관에 문의 바랍니다.
무인예약대출
- 1. 무인예약대출 현황은 홈페이지 로그인 후 무인예약대출 페이지에 확인 가능합니다.
- 2. 무인예약대출자료 대출을 원하지 않는 경우에는 무인예약대출 페이지에서 신청 또는 접수상태인 경우만 취소할 수 있습니다.
- 3. 희망대출일은 신청일로부터 최대 1주일 까지 가능합니다.
- 4. 희망대출일을 선택하지 않은 경우 대출대기 통보 후 1주일까지 기기에서 대출가능합니다.
- 5. 기타 문의사항은 도서관에 문의 바랍니다.
권 호 :
발행년 : 2008
발행처 : Wiley
서 명 : Software Testing and Analysis:process, principles, and techniques
목차
I. Fundamentals of Test and Analysis
1. Software Test and Analysis in a Nutshell
2. A Framework for Test and Analysis
3. Basic Principles
4. Test and Analysis Activities Within a Software Process
II. Basic Techniques
5. Finite Models
6. Dependence and Data Flow Models
7. Symbolic Execution and Proof of Properties
8. Finite State Verification
III. Problems and Methods
8. Test Case Selection and Adequacy
10. Functional Testing
11. Combinatorial Testing
12. Structural Testing
13. Data Flow Testing
14. Model-Based Testing
15. Testing Object-Oriented Software
16. Fault-Based Testing
17. Test Execution
18. Inspection
19. Program Analysis
IV. Process
20. Planning and Monitoring the Process
21. Integration and Component-based Software Testing
22. System, Acceptance, and Regression Testing
23. Automating Analysis and Test
24. Documenting Analysis and Test
서평쓰기