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

Course Syllabus

Team Projects
　

2012.01.25 :  첫 수업은 03.02(금) 09:00 (502호) 입니다.
                수강신청 유의사항:  가능하면 "소프트웨어공학 개론"을 수강한 학생들만 신청하세요.
                강의는 영어, 실습/발표는 우리말로 진행됩니다.
2012.03.05 :  Lecture notes 가 일부 업데이트되었습니다.
2012.04.11 :  새로운 참고자료(링크) 추가하였습니다. 확인하세요.
                중간고사는
                    - 일시: 04.20 09:00~10:00
                    - 범위: 1~8장
                    - 기타: 오픈북
2012.04.24 :  중간고사 성적 확인하세요.
2102.04.26 :  이지성 학생, 중간고사 불참으로 F 학점입니다.
2012.05.07 :  SMA 학생들이 개발한 프로그램이 모두 준비되었습니다.
                여러분이 Testing & Inspection 하실 내용은
                    - Functional Testing (Category-Partition, Pairwise)
                    - Design & Code Inspection
                결과물
                    - Testing Report (generated from your CTIP)
                    - Inspection Report
                    - 다음 cycle의 testing을 위해서 요구할 문서나 기타사항들
2012.05.09 :  05.10(목) 수업은 Q&A 시간으로 진행하겠습니다.
                질문 사항들을 잘 정리해서 오세요.      
2012.05.28 :  팀1, 05.26(토) 기한인 테스팅 마지막 보고서 미제출하셨습니다.
                팀발표#5 점수를 1/2로 조정하였으며,
                메일로 알려 드린 것과 같이, 05.29(화)까지 정성껏 제출하지 않을 경우, C 이하 학점 받으십니다.
2012.05.30 :  기말고사
                    - 일시: 06.15 09:00 ~ 10:00
                    - 범위: 전체
                    - 기타: 오픈북
2012.05.30 : 숙제
                    - 제목: "내가 경험한 SW Testing"
                    - A4 1장
                    - 기한: ~06.06 (이메일 제출)
2012.06.18 :  한 학기 동안 수고 많으셨습니다.
                성적 확인하세요.
                A학점이 40%로 제한되어 있습니다. 아쉽습니다. ^^;
2012.06.19 : "강의평가" 부탁 드립니다. 06.25~06.27 추가기간 입니다.
                (강의평가를 하셔야 포털에서 official grade를 확인하실 수 있습니다. 제가 종종 입력할 때 실수를 하곤 합니다. ^^)
2012.06.22 :  포털에서 '성적확인' 하세요.
                포털은 각 항목당 만점까지만 입력이 가능합니다. 개별 항목은 보지 마시고, 총합과 학점을 중심으로 확인하세요.
                학교 정책상, A학점이 7명으로 제한됩니다. 동점자는 함께 downgrade 되네요...이런. (8번째 학생, 미안합니다!!!)

      

출석부

Schedule