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 ߹
, տ տ տ տ տ

, ǥڷ

, õ õ õ õ , ǥڷ
, 翱 , ǥڷ