Software Verification (소프트웨어 검증)
- Introduction to Software Testing & Formal Methods      
(2010 Spring)

Course Syllabus

Team Project
　

2010.02.12 :  첫 수업은 03.02(월) 15:00~17:00 새천년관 602호 입니다.
2010.03.09 :  프로젝트 팀 구성해 주세요.
2010.03.12 :  공학인증 사전설문 부탁 드립니다.
2010.03.16 :  팀프로젝트에 사용하실 도구들은 http://www.setool.or.kr 에서 확인하시기 바랍니다.
                팀프로젝트의 목적에 부합하면 어떤 도구를 사용하셔도 무방합니다.
2010.03.16 :  성적산출 기준을 수정하였습니다. (출석:5. 중간고사:20, 기말고사:25, 발표5회:5,5,5,15,20) 출석부 확인 부탁 드립니다.
2010.03.17 :  팀프로젝트 참고자료 드립니다. 꼼꼼히 읽어보시기 바랍니다.
                http://martinfowler.com/articles/continuousIntegration.html#PracticesOfContinuousIntegration 
                http://www.sereform.com/?m=20090302 , http://www.sereform.com/?m=20090303 , http://www.sereform.com/?m=20090402
2010.04.05 :  2010.04.12(월) 수업은 2010.04.09(금) 15:00~17:00 오명 총장 특강으로 대체하겠습니다. (포스터)
2010.04.12 :  중간고사는 04.19(월) 수업시간 입니다.
                범위: 1~6장, 7문제, 1시간, Open-Book/Note
2010.04.16 :  중간고사 이후의 강의자료 Update 예정입니다.
2010.04.17 :  새 강의자료 Update 되었습니다.
2010.04.20 :  중간고사 성적 확인하세요.
                공학인증 중간설문 부탁 드립니다.
2010.04.21 :  현재까지 수업에 참여하지 않은 두 학생은 D- 학점입니다.
2010.05.20 :  05.25(화) 정부과제기획회의 건으로 휴강합니다. 죄송합니다.
                강의평가 부탁 드립니다.
2010.05.26 :  정부과제기획회의 건으로 05.31(월), 06.07(월) 수업 휴강합니다.
                팀프로젝트 최종발표는 06.08(화) 로 연기합니다.
                '보충수업' 실시합니다. 다음 주 화요일 06.01 수업시간에 결정하겠습니다.
                지난 번 발표자료 PPT 파일 제출 부탁 드립니다.
2010.05.29 :  Pairwise testing 도구(http://www.pairwise.org/) 사용하셔서, CTIP 마무리 발표 하시면 좋겠습니다. ^^
2010.06.01 :  1차보강: 06.04(금) 602호 19:00~21:00
2010.06.08 :  기말고사 기간에는 정상수업 진행합니다. 기말고사: 06.19(토) 10:00~ 11:00 , 602호 입니다.
                오늘 발표자료 (+ test cases들 정리 TP 추가) 메일로 부탁 드립니다.
2010.06.21 :  최종성적 확인하세요. (화/수 양일간 확인하실 분 904호로 오세요)

출석부

Schedule