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

(2015 Spring)

Course Syllabus

Team Projects
 

2015.01.23 :  홈페이지 구축 중 입니다.
                + 효과적인 실습과 발표를 위해서 수강인원을 제한합니다. (25명)
                + "부분영어" , "절대평가" 수업입니다.
                + 6회의 팀 발표 등 로드가 매우 큰 수업이니, 자신 있는 학생들만 신청하시기 바랍니다. (중도포기 불가능)
2015.04.17 :  중간고사
                + 일시 : 2015.04.21 (수업시간)
                + 범위 : 배운내용 전체 + 프로젝트
                + 오픈북
2015.04.27 :  CTIP 환경 설치 및 전수
                + 05.01(금) 의 SMA SV 수업시간 중 가용한 시간에 모여서 설치 및 전수 합니다. (수업 강의실에서)
                + 팀별로 미리 합의하셔서, 두 수업 시간 중 가용한 시간에 402호에 모여서, 설치 및 전수 작업을 수행합니다.
                + T1의 발표는 시간 상 생략 하겠습니다.... 대신 발표자료를 화요일까지 보내 주세요. 3학년 팀에서 보고 공부한 후 발표해야 합니다.
2015.04.27 :  중간고사 성적 확인하세요.
                언제든지 찾아 오세요!
                + 05.15(금) 가 개교기념일 휴일입니다. 급 휴강합니다.
2015.05.07 :  보강 공지
                + 연이은 휴강과 휴일로 인해 수업 진도가 많이 늦었습니다.
                + 2015.05.15(금) 수업시간!!
2015.05.26 : 실습 일정이 일부 변경되었습니다.
2015.06.02 :  기말고사
                + 일시 : 2015.06.16 (수업시간)
                + 범위 : 배운내용 전체 + 프로젝트
                + 오픈북
2015.06.15 :  공지 - 성적처리
                + 예전에 바뀐 성적처리 기준이 좀 이상하다고 말씀 드렸는데요, 포털을 보니까, 절대평가 수업이 없어지고, 모두 상대평가(A 40%)로 바뀌었습니다.
                + A 학점을 6명만 받을 수 있게 되었습니다...흐미.
                + 성적 확인하세요!!!



출석부

 

Schedule

WEEKS

DATE

Tuesday (14:30~16:00) - 402호

Friday (15:00~16:30) - 402호

1

03.03 / 03.06 Course Introduction Introduction to CTIP

2

03.10 / 03.13 이론 강의 Team Practice #1

3

03.17 / 03.20 이론 강의 Team Presentation #1 (Junit , Eclipse 및 빌드 환경)

4

03.24 / 03.27 이론 강의 Team Practice #2 

5

03.31 / 04.03 이론 강의 Team Presentation #2 (Mantis , SVN & CTIP)

6

04.07 / 04.10 이론 강의 Team Practice #3 

7

04.14 / 04.17 이론 강의 Team Presentation #3 (정적분석 도구 & 시스템테스트 도구)

8

04.21 / 04.24 Midterm Exam.

9

04.28 / 05.01 3학년 팀과의 수업 조정을 위한 휴강 Team Practice #4 
  - 각 팀별로 SMA에게 CTIP 환경 전수

10

05.05 / 05.08 어린이날 (휴강) 이론 강의

11

05.12 / 05.15 이론 강의 개교기념일 (휴강)

12

05.19 / 05.22 Team Practice #5  Team Presentation #4 (1st System Testing)
   - 제출기한 : 05.22 10:00

13

05.26 / 05.29 이론 강의 + "실리콘밸리 초청강연"

14

06.02 / 06.05 Team Presentation #5 (2nd System Testing & Static Analysis)
   - 제출기한 : 06.02 10:00
휴강

15

06.09 / 06.12 이론강의 Team Presentation #6 (Final Presentation - English)

16

06.16 / 06.19 Final Exam.


 

이론 강의
(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
  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 16. Fault based Testing
  Chapter 17. Test Execution
  Chapter 19. Program Analysis