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

Course Syllabus

Team Projects
　

2016.01.18 :  홈페이지 구축 중 입니다.
                + 효과적인 실습과 발표를 위해서 수강인원을 제한합니다. (25명)
                + "부분영어" , "상대평가" 수업입니다.
2016.04.23 :  중간고사 성적 확인하세요. 점수 확인하러 수시로 오세요.
2016.05.19 :  Clone Checking 예제는 05.22 까지 올리겠습니다.
2016.06.17 :  성적 확인하세요.
                + 월요일부터 성적 확인하러 오세요.
                + 한 학기 동안 수고 많으셨습니다!!!


출석부

Schedule

WEEKS	DATE	Thursday (15:30~17:00) - 402호	Friday (11:30~13:00) - 402호
1	03.03 / 03.04	Course Introduction	Introduction to CTIP
2	03.10 / 03.11	이론 강의	Team Practice #1
3	03.17 / 03.18	이론 강의	Team Presentation #1 (Junit , Eclipse 및 빌드 환경)
4	03.24 / 03.25	이론 강의	Team Practice #2
5	03.31 / 04.01	이론 강의	Team Presentation #2 (Mantis , SVN , JFeature 및 CTIP)
6	04.05 / 04.07	이론 강의	Team Practice #3
7	04.14 / 04.15	이론 강의	Team Presentation #3 (정적분석 도구, Testlink 및 시스템테스트 도구)
8	04.21 / 04.22	Midterm Exam.
9	04.28 / 04.29	이론 강의	Team Practice #4    - 각 팀별로 SMA에게 CTIP 환경 전수
10	05.05 / 05.06	어린이날 (휴강)	임시공휴일 (휴강)
11	05.12 / 05.13	이론 강의	휴강 - 조교 국제학회참석, 교수 국내학회참석
12	05.19 / 05.20	이론 강의	Team Practice #5
13	05.26 / 05.27	Team Presentation #4 (1st System Testing)    - 제출기한 : 05.26 10:00	이론 강의
14	06.02 / 06.03	이론 강의	Team Practice #6
15	06.09 / 06.10	Team Presentation #5 (2nd System Testing & Static Analysis)    - 제출기한 : 06.09 10:00	Team Presentation #6 (Final Presentation - English)
16	06.16 / 06.17	Final Exam.