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

(2011 Spring)

Course Syllabus

Team Projects
 

2010.02.19 :  첫 수업은 03.03(목) 17:00~19:00 새천년관 502호 입니다.
2010.03.03 :  첫 수업은 03.03(목) 15:00~17:00 새천년관 502호 입니다.
2011.03.23 :  03.31/04.01 수업은 국제학회(ISORC 2011) 참석 관계로 휴강합니다.
                04.07(목) 수업에 팀발표#2 (영어) 진행합니다.
                추후 보강일정 공지하겠습니다.
2011.04.07 :  04.08(금) 수업은 교재의 9장입니다.
2011.04.14 :  중간고사는 04.22 (금) 10:00 ~ 11:00, 502호 입니다.
                - 시험범위 : ~ 11장
2011.04.25 :  중간고사 성적 확인하세요.
                - 확인하실 분은 수요일(27일) 까지 오세요.
2011.05.08 :  축제기간 동안 정상수업 합니다.
2011.06.10 :  기말고사는 06.17 (금) 10:00 ~ 11:00, 502호 입니다.
                - 시험범위: 중간고사 이후
2011.06.15 :  추가 강의평가 (06.20 ~ 06.22)
                현재까지 총 4명이 강의평가에 참석 하셨습니다. -_-;
                가끔 제가 입력을 실수해서, 홈페이지 출석부 점수와 실제 학점은 다를 수 있습니다....강의평가 하시고 정정기간 내에 꼭 학점 확인하세요. ^^
2011.06.21 :  성적 확인하세요.
                한 학기 동안 수고 많으셨습니다.


출석부

 

Schedule

WEEKS

DATE

Thursday

Friday

1

03.03 / 03.04

Course Introduction Introduction to Team Project

2

03.10 / 03.11


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

 

 

3

03.17 / 03.18

Team Presentation #1
(JUnit , http://www.junit.org)

4

03.24 / 03.25  

5

03.31 / 04.01  

6

04.07 / 04.08 Team Presentation #2 - English
(Eclipse , http://eclipse.org)
(Subclipse , http://www.collab.net)
(WinCVS , http://cvsgui.sourceforge.net)

7

04.14 / 04.15  

8

04.21 / 04.22 중간고사

9

04.28 / 04.29 Team Project Tutorial (by TA) Team Presentation #3
(JFeature , http://www.technobuff.net)
(OSRMT ,  http://sourceforge.net/projects/osrmt/)

10

05.05 / 05.06 어린이날 Team Presentation #4

11

05.12 / 05.13 Chapter 9. Test Case Selection and Adequacy
Chapter 10. Functional Testing
Chapter 11. Combinatorial Testing
Chapter 12. Structural Testing
Chapter 13. Data Flow Testing
 

12

05.19 / 05.20 Team Presentation #5

13

05.26 / 05.27 휴강: ICSE 2011 참가

14

06.02 / 06.03 Chapter 14. Model based Testing
Chapter 15. Testing Object-Oriented Software
Chapter 16. Fault based Testing
Chapter 17. Test Execution 
Chapter 18. Inspection
Chapter 19. Program Analysis
Team Presentation #6 - English

15

06.09 / 06.10 Team Presentation #7

16

06.16 / 06.17 기말고사