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

(2012 Spring)

Course Syllabus

Team Projects
 

2012.01.25 :  첫 수업은 03.02(금) 09:00 (502호) 입니다.
                수강신청 유의사항:  가능하면 "소프트웨어공학 개론"을 수강한 학생들만 신청하세요.
                강의는 영어, 실습/발표는 우리말로 진행됩니다.
2012.03.05 :  Lecture notes 가 일부 업데이트되었습니다.
2012.04.11 :  새로운 참고자료(링크) 추가하였습니다. 확인하세요.
                중간고사
                    - 일시: 04.20 09:00~10:00
                    - 범위: 1~8장
                    - 기타: 오픈북
2012.04.24 :  중간고사 성적 확인하세요.
2102.04.26 :  이지성 학생, 중간고사 불참으로 F 학점입니다.
2012.05.07 :  SMA 학생들이 개발한 프로그램이 모두 준비되었습니다.
                여러분이 Testing & Inspection 하실 내용은
                    - Functional Testing (Category-Partition, Pairwise)
                    - Design & Code Inspection
                결과물
                    - Testing Report (generated from your CTIP)
                    - Inspection Report
                    - 다음 cycle의 testing을 위해서 요구할 문서나 기타사항들
2012.05.09 :  05.10(목) 수업은 Q&A 시간으로 진행하겠습니다.
                질문 사항들을 잘 정리해서 오세요.      
2012.05.28 :  팀1, 05.26(토) 기한인 테스팅 마지막 보고서 미제출하셨습니다.
                팀발표#5 점수를 1/2로 조정하였으며,
                메일로 알려 드린 것과 같이, 05.29(화)까지 정성껏 제출하지 않을 경우, C 이하 학점 받으십니다.
2012.05.30 :  기말고사
                    - 일시: 06.15 09:00 ~ 10:00
                    - 범위: 전체
                    - 기타: 오픈북
2012.05.30 : 숙제
                    - 제목: "내가 경험한 SW Testing"
                    - A4 1장
                    - 기한: ~06.06 (이메일 제출)
2012.06.18 :  한 학기 동안 수고 많으셨습니다.
                성적 확인하세요.
                A학점이 40%로 제한되어 있습니다. 아쉽습니다. ^^;
2012.06.19 : 
"강의평가" 부탁 드립니다. 06.25~06.27 추가기간 입니다.
                (강의평가를 하셔야 포털에서 official grade를 확인하실 수 있습니다. 제가 종종 입력할 때 실수를 하곤 합니다. ^^)
2012.06.22 :  포털에서 '성적확인' 하세요.
                포털은 각 항목당 만점까지만 입력이 가능합니다. 개별 항목은 보지 마시고, 총합과 학점을 중심으로 확인하세요.
                학교 정책상, A학점이 7명으로 제한됩니다. 동점자는 함께 downgrade 되네요...이런. (8번째 학생, 미안합니다!!!)


      

출석부

 

Schedule

WEEKS

DATE

Thursday (10:30~12:30)

Friday (09:00~11:00)

1

03.01 / 03.02

공휴일 (3.1절)

Course Introduction

2

03.08 / 03.09


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

 

3

03.15 / 03.16

Team Presentation #1 (JUnit & Eclipse)

4

03.22 / 03.23

5

03.29 / 03.30

6

04.05 / 04.06 Team Presentation #2 (CM & RE Tools)

7

04.12 / 04.13

8

04.19 / 04.20 중간고사

9

04.26 / 04.27 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

Team Presentation #3  (CTIP)

10

05.03 / 05.04

11

05.10 / 05.11 Team Presentation #4 (1st Testing)

12

05.17 / 05.18

13

05.24 / 05.25 Team Presentation #5 (2nd Testing)

14

05.31 / 06.01

15

06.07 / 06.08 특강

16

06.14 / 06.15 기말고사