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

(2018 Spring)

Course Syllabus

Team Projects
 

2018.03.02 :  홈페이지 운영 시작합니다!!!
                + 3학년 SMA 수업과 연동해서 진행되는 수업입니다.
2018.04.02 :  4.4(수) 수업장소 공지
                + 4.4(수), 13:00~15:00, 수업 장소는 새천년관 502호 입니다.
2018.06.11 :  중간고사 점수 확인하세요. 답안지 확인은 6/12(화) 11:00 ~ 14:00 사이에 공학관 386호로 찾아오세요.
2018.06.23 :  기말고사 점수 확인하세요. 답안지 확인은 6/29(금) 11:00 ~ 17:00 사이에 공학관 386호로 찾아오세요.



출석부

 

Schedule

WEEKS

DATE

월요일 (13:00~15:00) - 신공학관 1214호

수요일 (13:00~15:00) - 신공학관 1214호

1

03.05 / 03.07 Course Introduction STA 이론

2

03.12 / 03.14 Lab. Orientation 
Introduction to CTIP
Team Practice #1

3

03.19 / 03.21 STA 이론 Team Presentation #1 (Junit , Eclipse 및 빌드 환경)

4

03.26 / 03.28 STA 이론 Team Practice #2 

5

04.02 / 04.04 STA 이론 Team Presentation #2 (Mantis , SVN , JFeature 및 CTIP)

6

04.09 / 04.11 STA 이론 Team Practice #3 

7

04.16 / 04.18 STA 이론 Team Presentation #3
(정적분석 도구, 단위/시스템테스트 도구)

8

04.23 / 04.25 Midterm Exam.

9

04.30 / 05.02 STA 이론

이론강의

10

05.07 / 05.09 공휴일 Team Practice #4 
  - 각 팀별로 SMA에게 CTIP 환경 전수

11

05.14 / 05.16 STA 이론 STA 이론

12

05.21 / 05.23 STA 이론 STA 이론

13

05.28 / 05.30 Team Presentation #4 (1st System Testing) Team Practice #5

14

06.04 / 06.06 Team Presentation #5 (2nd System Testing & Static Analysis) 공휴일

15

06.11 / 06.13 Team Presentation #6 (Final Presentation) 공휴일

16

06.18 / 06.20 Final Exam.


 

STA 이론 강의


  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