Software V&V (Verification & Validation)
- Introduction to Software Testing & Static Analysis      

(2020 Spring)

Course Syllabus

Team Projects
 

2020.01.29 :  홈페이지 운영 시작합니다.
                + 3학년 객체지향개발방법론 수업과 연동해서 진행되는 수업입니다.
                + 과목명이 "소프트웨어 검증(Verification)" 에서 "소프트웨어 V&V (Verification & Validation)"로 변경 되었습니다.
                + 과목 운영 방식은 예년과 동일하나, 기존에 비해 Validation 부분이 더 추가되었습니다.
                + 3학년 "객체지향개발방법론 (구 소프트웨어 모델링 및 분석)" 수업과 연동하여 진행되는 수업입니다.
                + 3학년 수업: 개발자 관점  vs.  4학년 수업: 검증자(Tester) 관점
2020.02.20 :  코로나19 바이러스로 인해, 학교 방침에 따라, 03.17(화)에 첫 수업 시작합니다.
2020.02.24 :  학교 방침에 따라, 개강을 2주 연기합니다. 03.17(화)에 첫 수업 시작합니다. 2주간은 온라인으로 수업이 진행됩니다.

2020.02.28 :  첫 강의(수업소개)는 e-campus를 통해 온라인으로 진행됩니다.
                + 추가신청은 첫 강의를 수강한 후, 여전히 수강신청이 불가능한 경우, (미리 컨펌을 받은 학생만) 신청서를 이메일로 제출하세요.
2020.03.11 :  Course Introduction (동영상-저화질) 은 ecampus에서 보다 선명하게 보실 수 있습니다.
                + 아래 동영상은 수업신청을 고민 중인 학생들을 위한 소개자료 입니다.
2020.03.16 :  추가 수강신청 공지
                + 화요일 첫 수업(온라인 동영상)을 듣고, 여전히 계속 이 수업을 수강하고 싶은 학생 중에, 온라인에 여전히 자리가 없다면, 이메일로 신청하세요.
2020.03.25 :  Offline 강의개강이 04.13으로 다시 2주 연기되었습니다.
                실습강의는 04.14(화)에 시작하고, 2주 동안 온라인으로 이론 수업을 진행합니다!
                + 수정된 강의 스케줄 확인하세요.
2020.04.06 :  Offline 강의개강이 05.04로 연기되었습니다.
                + 4월까지는 이론 중심으로 진행 하면서, 조만간 실습조 편성을 시작으로 온라인 실습도 진행하겠습니다.
                + 수정된 강의 스케줄 확인하세요
2020.04.06 :  팀구성 시작합니다.
                + 4명/1팀
                + ecampus에서 04.09부터 구성하세요. (팀프로젝트 "기능안전성 표준 및 동향")
2020.04.23 :  중간고사 잠정 "연기" 합니다.
                + 팀프로젝트 조금 일찍 진행하겠습니다. 변경된 스케쥴 확인해 주세요.
                + 조만간 ZOOM을 활용한 미팅과 팀활동이 있을 예정입니다.
2020.04.27 :  "온라인 실시간 실습 및 발표"를 위해 강의 스케쥴을 좀 조정했습니다.
                중간고사 기간이고 또 휴일이 2번이나 있어서 모일 수가 없네요.
2020.05.21 :  3학년 구현 일정 조정으로 인해, 발표 일정이 한 주씩 연기 되었습니다.
2020.06.18 :  기말고사 공지
                + 2020.06.25 08:30 ~ 10:00
                + 이캠퍼스 / 팀이 문제를 풀어서 각자 eCampus에 제출
                + 주관식 , Open Book , 네트워크 검색 사용 가능 , 팀원 외 소통 금지

Schedule

Week Date 요일 (09:00~11:00) - 새천년관 402호 목요일 (09:00~11:00) - 새천년관 402호
1 03.03 / 03.05    
2 03.10 / 03.12    
3 03.17 / 03.19  Course Introduction (동영상-저화질)
 - Lecture Note
 STA 이론 (온라인)
4 03.24 / 03.26  STA 이론 (온라인) 

 + 04.09 팀프로젝트 1 - "기능안전성 표준 및 동향"

 + 04.23
 Lab. Orientation ** (온라인)
     - Introduction to CTIP(2019)
     - Introduction to CTIP(2020)

5 03.31 / 04.02
6 04.07 / 04.09
7 04.14 / 04.16
8 04.21/ 04.23
9 04.28 / 04.30  STA 이론

 (공휴일) - 온라인 보강
 
STA 이론

10 05.05 / 05.07

 (공휴일) - 온라인 보강
 STA 이론

 MIDTERM EXAM (잠정 연기)
 - 실시간 온라인 실습 (ZOOM) : 실습 환경 점검 및 상호 인사
11 05.12 / 05.14  Team Presentation #1 (JUnit , Eclipse, SVN,  빌드, 요구사항, 버그, CTIP)
 - 실시간 온라인 발표 (ZOOM)
 STA 이론
12 05.19 / 05.21  STA 이론  Team Presentation #2 (정적분석 도구, 시스템테스트 자동화 도구)
 - 실시간 온라인 발표 (ZOOM)
13 05.26 / 05.28  STA 이론  Team Practice #3
  - 각 팀별로 OOAD에게 CTIP 환경 전수 (3/4학년 집합 온라인)
 - 실시간 온라인 실습 (ZOOM) 
 (JPG)
14 06.02 / 06.04

 STA 이론

 STA 이론
15 06.09 / 06.11  Team Practice #4 **
 - 실시간 온라인 실습 (ZOOM)

 Team Presentation #3 (1st System Testing) 
 - 실시간 온라인 발표 (ZOOM)

16 06.16 / 06.18  Team Practice #5 **
 - 실시간 온라인 실습 (ZOOM)

 Team Presentation #4 (2nd System Testing & Static Analysis)
 - 실시간 온라인 발표 (ZOOM)

17 06.23 / 06.25  Team Presentation #5 (Final Presentation)
 - 실시간 온라인 발표 (ZOOM)
 FINAL EXAM (온라인)

 

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