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

(Spring 2009)

 

Course Syllabus

2009.03.11 :  팀구성 완료 되었습니다.
2009.03.23 :  실습관련 팀별 미팅 스케쥴 (장소: 904호):
                 - 03.24(화) 17:00 ~ 18:00  1조,  18:00 ~ 19:00 2조, 19:00 ~ 20:00 3조
                 - 03.25(수) 17:00 ~ 18:00  4조,  18:00 ~ 19:00 5조, 19:00 ~ 20:00 6조 
2009.03.30 :  공학인증 사전설문 부탁 드립니다.
2009.04.08 :  04.13(월)에 수업합니다. 04.15(수)에는 교수 없이 자체 실습합니다.
2009.04.13 :  중간고사는 04.20(월) 수업시간입니다. Open books & Slides.
                시험범위: 1장~8장
2009.04.13 :  실습#3는 취소하고 실습#2에 집중하겠습니다. ^^;
2009.04.13 :  예정되어 있던 휴강일정 조정하였습니다.
2009.04.13 :  예비군훈련으로 04.27(월) 휴강합니다.
2009.04.18 :  중간고사 관련 - 시험문제 8문항 입니다.
2009.04.21 :  공학인증 중간설문 부탁 드립니다.
2009.04.24 :  중간고사 성적 확인하세요.
2009.04.27 :  강의내용 변경되었습니다. SMV Model Checking 관련 이론 수업을 보강합니다.
2009.05.23 :  강의/실습내용 축소되었습니다. 실습#2로 최종 평가하겠습니다.
2009.06.08 :  공학인증 최종설문 및 강의평가 부탁 드립니다.
2009.06.08 :  2009.06.09 하루 종일 질문하러 오세요.
                기말고사는 한 문제 출제합니다. 문제는 이미 알려 드렸습니다.
                출석부에 프로젝트 점수 공개되고 있습니다.
2009.06.08 :  기말고사는 2009.06.15(월) 수업시간 입니다.
2009.06.16 :  기말고사 및 최종학점 공지되었습니다. 한 학기 동안 수고하셨습니다.
               
출석부

 

Schedule

WEEKS

DATE

LABORATORY (Monday)

LECTURE (Wednesday)

1

03.02 / 03.04

Course Introduction

Chapter 1. Software Test and Analysis in a Nutshell (fig)

2

03.09 / 03.11


Practice #1 (NuSCR)
Practice #1 (NuSCR - revised)
Introduction to Formal Specification

3

03.15 / 03.18

Chapter 2. A Framework for Test and Analysis
Chapter 3. Basic Principles

4

03.23 / 03.25 Chapter 4. Test and Analysis Activities Within a Software process

5

03.30 / 04.01 Practice #2 (SMV) Chapter 5. Finite Models

6

04.06 / 04.08 Chapter 6. Dependence and Data Flow Models

7

04.13 / 04.15 Chapter 8. Finite State Verification

8

04.20 / 04.22 Mid-Term Exam.

9

04.27 / 04.29 휴강 - 예비군 훈련 SMV 실습 보강

Software Verification 이론
   Chapter 1. Automata
   Chapter 2. Temporal Logic
   Chapter 3. Model Checking
   Chapter 4. Symbolic Model Checking
   Chapter 5. Timed Automata
   Chapter 6. Reachability Properties
   Chapter 7. Safety Properties
   Chapter 8. Liveness Properties
   Chapter 9. Deadlock-freeness
   Chapter 10. Fairness Properties
   Chapter 11. Abstraction Methods
 

10

05.04 / 05.06 Practice #2 (SMV) continued.

실습자료 추가
SMV 매뉴얼, 튜토리얼

11

05.11 / 05.13

12

05.18 / 05.20

13

05.25 / 05.27

14

06.01 / 06.03

15

06.08 / 06.10 Practice #2 - Final Presentation & Demo
  T1 : 발표자료 2, NuSCR 파일
  T2 : 발표자료, NuSCR 파일
  T3 : 발표자료, NuSCR 파일
  T4 : 발표자료, NuSCR 파일
  T5 : 발표자료, NuSCR 파일
  T6 : 발표자료, NuSCR 파일

16

06.15 / 06.17 Final Exam.