Software V&V (Verification & Validation)
- Introduction to Software Testing, Static Analysis and CI/CD
(2024 Spring)

Course Syllabus

Team Projects
　

　

2024.01.12 :  홈페이지 운영 시작합니다.
                + "3학년 객체지향개발방법론" 수업과 연동해서 진행되며, 팀프로젝트 중심의 능동적 참여가 요구됩니다. 타 수업에 비해 로드가 극심하게 걸립니다.
                + 3학년 수업: 개발자 관점  vs.  4학년 수업: 검증자 (Tester) 관점
                + 03.08(금) 수업에 팀 구성하고 팀프로젝트 바로 시작합니다.
2024.02.28 :  최소 수강인원 기준 (10명 이상)을 충족하지 못해, 폐강 예정입니다.

　

Schedule

Week Date

월요일 (11:00~13:00 새천년관 402호)

금요일 (11:00~13:00 새천년관 402호)
1 03.04 / 03.08  Course Introduction   - Lecture Note (2024)   Lab. Orientation   - Lab. Orientation (2024)
 - Introduction to CTIP(2019) , Introduction to CTIP(2020)
 - Introduction to CTIP(2021) , Lab. Orientation
2 03.11 / 03.15  (빈 슬롯은 모두 이론강의 입니다.)  Team Activity #1 (CI 기본환경)
3 03.18 / 03.22 　  Team Presentation #1 (CI 기본환경)
4 03.25 / 03.29  Team Presentation #1 (CTIP 환경 구축)  Team Activity #2 (Testing, STA)
5 04.01 / 04.05 　  Team Presentation #2 (Testing, STA)
6 04.08 / 04.12  Team Presentation #2 (STA 도구)  Team Activity #3 (Communication, Etc.)
7 04.15 / 04.19*  Team Presentation #3 (CI/CD 전체환경)  *3학년 팀에 CTIP 환경 전수(연결된 수업시간 중 전수 및 Trouble-Shooting)
8 04.22  중간고사
9 04.29 / 05.03   　
10 05.06 / 05.10  공휴일 (어린이날 대체공휴일)  Team Activity #4 (1st System Testing)
11 05.13 / 05.17*  Team Activity #4 (1st System Testing) - Cont.
12 05.20 / 05.24  Team Presentation #4 (1st System Testing) 　
13 05.27 / 05.31    Team Activity #5 (2nd System Testing & Static Analysis)
14 06.03 / 06.07 　  Team Presentation #5 (2nd System Testing & Static Analysis - Final)
15 06.10 / 06.14*  (Reserved)
16 06.17  기말고사

　

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