Software Verification (소프트웨어 검증)
- Introduction to Software Testing & Static Analysis      
(2019 Spring)

Course Syllabus

Team Projects
　

2019.01.24 :  홈페이지 운영 시작합니다!!!
                + 3학년 SMA 수업과 연동해서 진행되는 수업입니다.

2019.06.19 :  기말고사 및 최종성적은 내일 (06.20) 18:00 부터 지금 (06.20 00:01) 부터 바로 확인 가능합니다. (출석부)
                최종학점은 나중에 포털에서 확인하세요.
                + 기말고사 성적 확인 : 2019.06.21(금) 11:00~19:00 공학관 C동 386호
 2019.06.24 :  최종성적 포털에 개시 되었습니다. (프로젝트에서 만점(60점)을 넘게 받은 학생들은, 초과점수를 기말고사에 합산하였습니다.)
                한 학기 동안 수고 많았습니다!


출석부

　

Schedule

Week Date 월요일 (14:30~16:30) - 신공학관 1214호 금요일 (12:30~14:30) - 신공학관 1214호
1 03.04 / 03.08  Course Introduction
 - Lecture Note

 Lab. Orientation **
 - Introduction to CTIP
2 03.11 / 03.15  STA 이론  STA 이론
3 X03.18 / 03.22  Team Practice #1 **  STA 이론
4 03.25 / 03.29  Team Presentation #1 (Junit , Eclipse 및 빌드 환경)  STA 이론
5 04.01 / 04.05  Team Practice #2  Team Presentation #2 (Mantis , SVN , JFeature 및 CTIP) **
6 04.08 / 04.12  STA 이론  STA 이론
7 04.15 / 04.19  STA 이론  STA 이론
8 04.22

 Midterm Exam.

9 04.29 / 05.03  Team Practice #3 **

 Team Presentation #3 (정적분석 도구, 단위/시스템테스트 도구) **
10 05.06 / 05.10  (공휴일) Team Practice #4 **
  - 각 팀별로 SMA에게 CTIP 환경 전수
11 05.13 / 05.17  STA 이론 및 실습 (슈어소프트테크 검증도구 특강)
  (도구 설치 파일 및 샘플 파일)		  STA 이론 및 실습
12 05.20 / 05.24  STA 이론 및 실습  STA 이론 및 실습
13 05.27 / 05.31  Team Practice #5 **  Team Presentation #4 (1st System Testing) **
14 06.03 / 06.07  Team Practice #6 **  Team Presentation #5 (2nd System Testing & Static Analysis)
15 06.10 / 06.14  STA 이론  Team Presentation #6 (Final Presentation)
16 06.17  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