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

(2013 Spring)

Course Syllabus

Team Projects
 

2013.01.24 :  홈페이지 구축 중 입니다.
                효과적인 실습과 발표를 위해서 수강인원을 제한합니다. (25명)
2013.01.15 :  강의(영어) / 실습(한국어) / 발표(한국어) 로 진행되는 "부분영어사용" 수업입니다.
                수강신청 하는 외국인 학생들 참고하세요 ^^
2013.03.04 :  "4명/1팀" 이름/학번 이메일로 보내 주세요. (~03.04)
2013.03.18 :  Team Presentation #1 발표 내용 변경
                - 각 팀은 모든 내용을 발표하는 원안으로 변경합니다.
2013.03.29 :  SMA/SV 합동수업/실습
                일시: 05.03(금) 09:00 ~ 14:00
                내용: SMA/SV 팀별로 만나, SVN, Mantis 공유 및 CTIP 환경 설치에 대한 논의
2013.04.01 :  04.08(월) 수업은 예비군 훈련 관계로 휴강 합니다.
2013.04.17 :  중간고사
                04.22(월) 09:00~10:00 502호, 시험범위: ~5장 + 실습내용
2013.04.22 :  중간고사 성적 확인하세요.
                04.23(화) 10:00 ~ 16:00 확인하러 오세요.
2013.04.29 :  보강 공고
                일시: 05.06(월) 18:00 ~ 20:00 402호
2013.04.29 :  강의일정 일부 변경되었습니다. 확인하세요!
2013.05.17 :  Team Presentation #4 관련자료들은 모두 05.23까지 조교(이동아)에게 제출해 주세요.
2013.05.31 :  Team Presentation #5 에서는 Static Analysis 도구2개 이상 사용하셔서 분석해 주세요.
2013.06.10 :  기말고사
                06.17(월) 09:00 ~ 10:00 502호, 시험범위: 전체 + 실습내용
2013.06.10 :  최종발표 (영어)
                내용: SW V&V + CTIP 에 대한 경험 및 느낌 (ANT+SVN+Mantis 사용 실적 포함)
2013.06.14 :  성적확인 및 정정
                2013.06.24(월) 09:00~12:00 , 06.25(화) 09:00~12:00  --> 꼭 이 시간에 오세요. 부탁 드려요!!!
2013.06.17 :  기말고사 성적 및 학점 확인하세요!
2013.06.29 :  포탈에서 최종학점 확인하세요!
                "A학점이 40% 이하인 절대평가"라는 이상한 상대평가 기준을 맞추기 위해서 포탈에는 '환산점수'로 입력됩니다.

      

출석부

 

Schedule

WEEKS

DATE

Monday (09:00~11:00)

Friday (12:00~14:00)

1

03.04 / 03.08 Course Introduction Introduction to CTIP

2

03.11 / 03.15
Lecture notes

Chapter 1. Software Test and Analysis in a Nutshell
Chapter 2. A Framework for Test and Analysis
Chapter 3. Basic Principles
Chapter 4. Test and Analysis Activities Within a Software process
Chapter 5. Finite Models
Chapter 6. Dependence and Data Flow Models
Chapter 8. Finite State Verification

 

Team Practice #1

3

03.18 / 03.22 Team Presentation #1 (unit , Eclipse , Clover & JDepend)

4

03.25 / 03.29 Team Practice #2 

5

04.01 / 04.05 Team Presentation #2 (Ant & CruiseControl)

6

04.08 / 04.12 Team Practice #3 

7

04.15 / 04.19 Team Presentation #3  (Mantis , SVN & CTIP)

8

04.22 / 04.26 Midterm Exam.

9

04.29 / 05.03 Chapter 9. Test Case Selection and Adequacy
Chapter 10. Functional Testing
Chapter 11. Combinatorial Testing
Chapter 12. Structural Testing
Chapter 13. Data Flow Testing
SMA/SV 합동 실습

10

05.06 / 05.10

11

05.13 / 05.17 공휴일

12

05.20 / 05.24 Team Practice #4  휴강 (ICSE 2013 참가)

13

05.27 / 05.31 Team Presentation #4 (1st System Testing) - 05.23 제출 Chapter 14. Model based Testing
Chapter 16. Fault based Testing

14

06.03 / 06.07 Team Practice #5  Team Presentation #5 (2nd System Testing & Static Analysis)
(06.06 24:00 까지 제출)

15

06.10 / 06.14 Chapter 17. Test Execution 
Chapter 19. Program Analysis
Team Presentation #6 (Final Presentation) 

16

06.17 / 06.21 Final Exam.