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

Course Syllabus

Team Projects
　

2015.01.23 :  홈페이지 구축 중 입니다.
                + 효과적인 실습과 발표를 위해서 수강인원을 제한합니다. (25명)
                + "부분영어" , "절대평가" 수업입니다.
                + 6회의 팀 발표 등 로드가 매우 큰 수업이니, 자신 있는 학생들만 신청하시기 바랍니다. (중도포기 불가능)
2015.04.17 :  중간고사
                + 일시 : 2015.04.21 (수업시간)
                + 범위 : 배운내용 전체 + 프로젝트
                + 오픈북
2015.04.27 :  CTIP 환경 설치 및 전수
                + 05.01(금) 의 SMA SV 수업시간 중 가용한 시간에 모여서 설치 및 전수 합니다. (수업 강의실에서)
                + 팀별로 미리 합의하셔서, 두 수업 시간 중 가용한 시간에 402호에 모여서, 설치 및 전수 작업을 수행합니다.
                + T1의 발표는 시간 상 생략 하겠습니다.... 대신 발표자료를 화요일까지 보내 주세요. 3학년 팀에서 보고 공부한 후 발표해야 합니다.
2015.04.27 :  중간고사 성적 확인하세요.
                언제든지 찾아 오세요!
                + 05.15(금) 가 개교기념일 휴일입니다. 급 휴강합니다.
2015.05.07 :  보강 공지
                + 연이은 휴강과 휴일로 인해 수업 진도가 많이 늦었습니다.
                + 2015.05.15(금) 수업시간!!
2015.05.26 : 실습 일정이 일부 변경되었습니다.
2015.06.02 :  기말고사
                + 일시 : 2015.06.16 (수업시간)
                + 범위 : 배운내용 전체 + 프로젝트
                + 오픈북
2015.06.15 :  공지 - 성적처리
                + 예전에 바뀐 성적처리 기준이 좀 이상하다고 말씀 드렸는데요, 포털을 보니까, 절대평가 수업이 없어지고, 모두 상대평가(A 40%)로 바뀌었습니다.
                + A 학점을 6명만 받을 수 있게 되었습니다...흐미.
                + 성적 확인하세요!!!

출석부

Schedule

WEEKS	DATE	Tuesday (14:30~16:00) - 402호	Friday (15:00~16:30) - 402호
1	03.03 / 03.06	Course Introduction	Introduction to CTIP
2	03.10 / 03.13	이론 강의	Team Practice #1
3	03.17 / 03.20	이론 강의	Team Presentation #1 (Junit , Eclipse 및 빌드 환경)
4	03.24 / 03.27	이론 강의	Team Practice #2
5	03.31 / 04.03	이론 강의	Team Presentation #2 (Mantis , SVN & CTIP)
6	04.07 / 04.10	이론 강의	Team Practice #3
7	04.14 / 04.17	이론 강의	Team Presentation #3 (정적분석 도구 & 시스템테스트 도구)
8	04.21 / 04.24	Midterm Exam.
9	04.28 / 05.01	3학년 팀과의 수업 조정을 위한 휴강	Team Practice #4    - 각 팀별로 SMA에게 CTIP 환경 전수
10	05.05 / 05.08	어린이날 (휴강)	이론 강의
11	05.12 / 05.15	이론 강의	개교기념일 (휴강)
12	05.19 / 05.22	Team Practice #5	Team Presentation #4 (1st System Testing)    - 제출기한 : 05.22 10:00
13	05.26 / 05.29	이론 강의	+ "실리콘밸리 초청강연"
14	06.02 / 06.05	Team Presentation #5 (2nd System Testing & Static Analysis)    - 제출기한 : 06.02 10:00	휴강
15	06.09 / 06.12	이론강의	Team Presentation #6 (Final Presentation - English)
16	06.16 / 06.19	Final Exam.