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

WEEKS

DATE

LABORATORY (Monday)

LECTURE (Tuesday)

1

03.01 / 03.02

3.1절 Course Introduction

2

03.08 / 03.09

 

Chapter 1. Software Test and Analysis in a Nutshell (fig)
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

(우리말 복습)

3

03.15 / 03.16

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

4

03.22 / 03.23 (우리말 복습)

5

03.29 / 03.30 Team Presentation #2
(Eclipse , http://eclipse.org)
(Subclipse , http://www.collab.net)
(WinCVS , http://cvsgui.sourceforge.net)

6

04.05 / 04.06 (우리말 복습)

7

04.12 / 04.13 오명 총장 특강 ("이제는 선진국 준비를 하자") Team Presentation #3
(JFeature , http://www.technobuff.net)
(OSRMT ,  http://sourceforge.net/projects/osrmt/)

8

04.19 / 04.20 중간고사 (04.190

9

04.26 / 04.27 Chapter 8. Finite State Verification
Chapter 9. Test Case Selection and Adequacy
Chapter 10. Functional Testing
Chapter 11. Combinatorial Testing
Chapter 12. Structural Testing
Chapter 13. Data Flow Testing
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
Chapter 21. Integration and Component-based Software Testing
Chapter 22. System, Acceptance, and Regression Testing
Chapter 23 Automating Analysis and Test

< New lecture notes >

 

Introduction to Team Project (Test target)

10

05.03 / 05.04

11

05.10 / 05.11

12

05.17 / 05.18 Team Presentation #4

13

05.24 / 05.25 휴강

14

05.31 / 06.01

15

06.07 / 06.08 Team Presentation #5

16

06.14 / 06.15 정상수업 + 기말고사 (06.19 토)