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

Course Syllabus

Team Projects
　

2014.01.16 :  홈페이지 구축 중 입니다.
                효과적인 실습과 발표를 위해서 수강인원을 제한합니다. (25명)
2014.04.18 :  중간고사 공지
                일시: 2014.04.25(금) 수업시간 , 범위: 배운데 까지 + 프로젝트 내용
2014.04.18 :  2014.05.02(금) 수업은 10:00 부터 시작합니다!
2013.04.25 :  중간고사 성적 확인하세요.
                답안지 확인 기간: 04.28 ~ 04.29 (수시로)
2014.05.14 :  1차 테스팅 관련, 현재 SMA 3,5조만 완성되었습니다. 다른 조들은 토/일까지 완성한 후 SV팀에게 개별적으로 연락할 예정입니다.
2014.05.23 :  긴급공지
                JFeature를 사용해 보시기를 추천합니다. Requirements-based System Test 관리 도구입니다. 올해는 얘가 누락되었습니다...이런!
2014.06.04 :  기말고사 공지
                일시: 2014.06.18(수) 수업시간 , 범위: 수업내용 전체
2014.06.18 :  성적 확인하세요.
                한 학기 동안 수고 많으셨습니다!


출석부

Schedule

WEEKS	DATE	Wednesday (12:30~14:30) - 502호	Friday (11:00~13:00) - 502호
1	03.05 / 03.07	휴강	Course Introduction
2	03.12 / 03.14	Introduction to CTIP	이론 강의
3	03.19 / 03.21	Team Practice #1	Team Presentation #1 (unit , Eclipse , 정적분석도구 3개)
4	03.26 / 03.28	이론 강의	이론 강의
5	04.02 / 04.04	Team Practice #2	Team Presentation #2 (빌드 환경)
6	04.09 / 04.11	이론 강의	이론 강의
7	04.16 / 04.18	Team Practice #3	Team Presentation #3 (Mantis , SVN & CTIP)
8	04.23 / 04.25	Midterm Exam.
9	04.30 / 05.02	이론 강의	Team Practice #4    - 각 팀별로 SMA에게 CTIP 환경 전수 (10:00부터 시작합니다!)
10	05.07 / 05.09	이론 강의	이론 강의
11	05.14 / 05.16	이론 강의	이론 강의
12	05.21 / 05.23	Team Presentation #4 (1st System Testing)	이론 강의
13	05.28 / 05.30	Team Practice #6	(SMA/SV 통합 수업, 09:00 ~ 13:00 , 502호) Team Presentation #5 (2nd System Testing & Static Analysis) + 보충수업
14	06.04 / 06.06	임시 공휴일 (지방선거일)	공휴일 (현충일)
15	06.11 / 06.13	이론 강의	Team Presentation #6 (Final Presentation - English)
16	06.18 / 06.20	Final Exam.