Software Modeling (소프트웨어 모델링)
- Software Testing & Requirements Management     
(2014 Fall for graduate students)
　

Course Syllabus

2014.08.07 :  홈페이지 구축 중 입니다.
                수업 및 개별/팀 프로젝트가 많은 수업입니다. 유의해서 수강 신청하세요.

　

Project

    - 교통카드 시스템 개발 (SRS)
    - RM+ 사용 (평가판 다운로드, 유저가이드)
    - C 언어, Cygwin 환경
    - 전체 개발 내용

   

Schedule

Week Date Topic (Tuesday, 10:00~13:00, 908호)
1 09.02  Course Introduction (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

 11.11 : 중간고사

 발표 #1 : 요구사항
 발표 #2 : 설계 + SA
 발표 #3 : SD + 시스템 테스트 설계 (10.28)
 발표 #4 : 구현 + 시스템 테스트  (11.25)
 발표 #5 : 추적성 분석 (12.09)
 발표 #6 : RM+ 기반 SASD 개발방법론 제안 (12.16)
             --> 8페이지 논문 제출 (기말고사 대체)

 09.09 : 추석 연휴
 11.18 : 휴강 (FSE 2014 참가)
 12.02 : 휴강 (APSEC 2014 참가)
　
2 09.09
3 09.16
4 09.23
5 09.30
6 10.07
7 10.14
8 10.21
9 10.28
10 11.04
11 11.11
12 11.18
13 11.25
14 12.02
15 12.09
16 12.16

　

Team Projects

팀 요구사항 분석 설계
+ SA		 시스템 테스트
+ SD		 구현
+ 시스템 테스트		 추적성 분석 RM+ 기반 SASD 개발방법론 제안
배종국, 손영석 손영석 손영석 손영석 배종국　 손영석　

논문 , 발표자료
서영주, 은애천 은애천 서영주 서영주 은애천 은애천　 논문 , 발표자료
정세진, 김재엽 김재엽 정세진 정세진 정세진 김재엽 논문 , 발표자료