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

Course Syllabus

Team Projects
　

2018.03.02 :  홈페이지 운영 시작합니다!!!
                + 3학년 SMA 수업과 연동해서 진행되는 수업입니다.
2018.04.02 :  4.4(수) 수업장소 공지
                + 4.4(수), 13:00~15:00, 수업 장소는 새천년관 502호 입니다.
2018.06.11 :  중간고사 점수 확인하세요. 답안지 확인은 6/12(화) 11:00 ~ 14:00 사이에 공학관 386호로 찾아오세요.
2018.06.23 :  기말고사 점수 확인하세요. 답안지 확인은 6/29(금) 11:00 ~ 17:00 사이에 공학관 386호로 찾아오세요.

출석부

Schedule

WEEKS	DATE	월요일 (13:00~15:00) - 신공학관 1214호	수요일 (13:00~15:00) - 신공학관 1214호
1	03.05 / 03.07	Course Introduction	STA 이론
2	03.12 / 03.14	Lab. Orientation  Introduction to CTIP	Team Practice #1
3	03.19 / 03.21	STA 이론	Team Presentation #1 (Junit , Eclipse 및 빌드 환경)
4	03.26 / 03.28	STA 이론	Team Practice #2
5	04.02 / 04.04	STA 이론	Team Presentation #2 (Mantis , SVN , JFeature 및 CTIP)
6	04.09 / 04.11	STA 이론	Team Practice #3
7	04.16 / 04.18	STA 이론	Team Presentation #3 (정적분석 도구, 단위/시스템테스트 도구)
8	04.23 / 04.25	Midterm Exam.
9	04.30 / 05.02	STA 이론	이론강의
10	05.07 / 05.09	공휴일	Team Practice #4    - 각 팀별로 SMA에게 CTIP 환경 전수
11	05.14 / 05.16	STA 이론	STA 이론
12	05.21 / 05.23	STA 이론	STA 이론
13	05.28 / 05.30	Team Presentation #4 (1st System Testing)	Team Practice #5
14	06.04 / 06.06	Team Presentation #5 (2nd System Testing & Static Analysis)	공휴일
15	06.11 / 06.13	Team Presentation #6 (Final Presentation)	공휴일
16	06.18 / 06.20	Final Exam.