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

(2016 Spring)

Course Syllabus

Team Projects
 

2016.01.18 :  홈페이지 구축 중 입니다.
                + 효과적인 실습과 발표를 위해서 수강인원을 제한합니다. (25명)
                + "부분영어" , "상대평가" 수업입니다.
2016.04.23 :  중간고사 성적 확인하세요. 점수 확인하러 수시로 오세요.
2016.05.19 :  Clone Checking 예제는 05.22 까지 올리겠습니다.
2016.06.17 :  성적 확인하세요.

                + 월요일부터 성적 확인하러 오세요.
                + 한 학기 동안 수고 많으셨습니다!!!


출석부

 

Schedule

WEEKS

DATE

Thursday (15:30~17:00) - 402호

Friday (11:30~13:00) - 402호

1

03.03 / 03.04 Course Introduction Introduction to CTIP

2

03.10 / 03.11 이론 강의 Team Practice #1

3

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

4

03.24 / 03.25 이론 강의 Team Practice #2 

5

03.31 / 04.01 이론 강의 Team Presentation #2 (Mantis , SVN , JFeature 및 CTIP)

6

04.05 / 04.07 이론 강의 Team Practice #3 

7

04.14 / 04.15 이론 강의 Team Presentation #3
(정적분석 도구, Testlink 및 시스템테스트 도구)

8

04.21 / 04.22 Midterm Exam.

9

04.28 / 04.29 이론 강의 Team Practice #4 
  - 각 팀별로 SMA에게 CTIP 환경 전수

10

05.05 / 05.06 어린이날 (휴강) 임시공휴일 (휴강)

11

05.12 / 05.13 이론 강의 휴강 - 조교 국제학회참석, 교수 국내학회참석

12

05.19 / 05.20 이론 강의 Team Practice #5

13

05.26 / 05.27 Team Presentation #4 (1st System Testing)
   - 제출기한 : 05.26 10:00
이론 강의

14

06.02 / 06.03 이론 강의 Team Practice #6

15

06.09 / 06.10 Team Presentation #5 (2nd System Testing & Static Analysis)
   - 제출기한 : 06.09 10:00
Team Presentation #6 (Final Presentation - English)

16

06.16 / 06.17 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