Software V&V (Verification & Validation)
- Introduction to Software Testing, Static Analysis and CTIP
(2021 Spring)

Course Syllabus

Team Projects
　

2021.02.16 :  홈페이지 운영 시작합니다.
                + 3학년 객체지향개발방법론 수업과 연동해서 진행되는 수업입니다.
                + 3학년 수업: 개발자 관점  vs.  4학년 수업: 검증자(Tester) 관점
                + 코로나 상황에 맞추어 온라인/오프라인 수업을 유연하게 진행합니다. 온라인이 장기화 되면 실시간 온라인(줌)의 비중이 높아집니다.
                + 동영상 강의는 eCampus를 통해 청취하세요. 구체적인 실시간 공지도 eCampus를 통해 제공됩니다.
                + 본 홈페이지는 Archive 용으로 사용합니다!
2021.02.17 :  학교 방침에 따라, 개강 후 3주 동안은 온라인(녹화)으로 진행합니다.
　

Schedule

Week Date 화요일 (13:00~15:00) - 온라인 (녹화/실시간) 금요일 (13:00~15:00) - 새천년관 402호
1 03.02 / 03.05  Course Introduction
 - Lecture Note		  동영상 강의 (녹화)
2 03.09 / 03.12  동영상 강의 (녹화)  동영상 강의 (녹화)
3 03.16 / 03.19  동영상 강의 (녹화)  동영상 강의 (녹화)
4 03.23 / 03.26  동영상 강의 (녹화)

 Lab. Orientation (실시간 - ZOOM)
     - Introduction to CTIP(2019)
     - Introduction to CTIP(2020)
     - Introduction to CTIP(2021)
     - Lab. Orientation

5 03.30 / 04.02  동영상 강의 (녹화)  Team Activity #1 (CTIP 환경)
 - 대면 or 실시간 실습 (ZOOM)
6 04.06 / 04.09  동영상 강의 (녹화)  Team Presentation #1 (CTIP 환경)
 - 대면 or 실시간 발표 (ZOOM)
7 04.13 / 04.16  동영상 강의 (녹화)  Team Activity #2 (STA 도구)
 - 대면 or 실시간 실습 (ZOOM)
8 04.20 / 04.23  중간고사
9 04.27 / 04.30  동영상 강의 (녹화)  Team Presentation #2 (STA 도구)
 - 대면 or 실시간 발표 (ZOOM)
10 05.04 / 05.07  동영상 강의 (녹화)
 - 3학년 OOAD 팀에 CTIP 환경 전수 시작		  동영상 강의 (녹화)
11 05.11 / 05.14  동영상 강의 (녹화)  Team Activity #3 (1st System Testing)*
 - 대면 or 실시간 실습 (ZOOM)
12 05.18 / 05.21  동영상 강의 (녹화)  Team Presentation #3 (1st System Testing) : 05.20 24:00까지 제출
  - 대면 or 실시간 발표 (ZOOM)
13 05.25 / 05.28  동영상 강의 (녹화)  Team Activity #4 (2nd System Testing & Static Analysis)
  - 대면 or 실시간 실습 (ZOOM)
14 06.01 / 06.04  동영상 강의 (녹화)  Team Presentation #4 (2nd System Testing & Static Analysis) : 06.03 24:00까지 제출 *
  - 대면 or 실시간 발표 (ZOOM)
15 06.08 / 06.11  동영상 강의 (녹화)

 Team Presentation #5 (Final Presentation)
  - 대면 or 실시간 발표 (ZOOM)
16 06.15 / 06.18  기말고사

　

STA 이론 강의


  Chapter 1. Software Test and Analysis in a Nutshell
  Chapter 2. A Framework for Test and Analysis
  Chapter 3. Basic Principles
  Chapter 4. Test and Analysis Activities Within a Software process
  Chapter 5. Finite Models
  Chapter 6. Dependence and Data Flow Models
  Chapter 8. Finite State Verification
  Chapter 9. Test Case Selection and Adequacy
  Chapter 10. Functional Testing
  Chapter 11. Combinatorial Testing
  Chapter 12. Structural Testing
  Chapter 13. Data Flow Testing
  Chapter 14. Model based Testing
  Chapter 16. Fault based Testing
  Chapter 17. Test Execution
  Chapter 19. Program Analysis