Software Modeling (Ʈ 𵨸)
- Introduction to Software Testing     

(2012 Fall for graduate students)

Course Syllabus

2012.06.29 :  2г "Ʈ" ؼ ˴ϴ.
                Ʈ ϴ. ؼ ûϼ.
2012.06.30 :  1~2 Ͻð, ǥ CTIP ȯ ġϼ.
                : TAs (/翬)
2012.08.15 :  ù 09.07() Դϴ.
2012.10.05 :  Regression Testing ǥ
                10.12: ̵, , ڼ
                10.19: ڵȣ, ̹, Ǽ, ̼
                - 40 ǥ غ ּ. ̸ ǥڷ PDF ȯؼ ּ.
2012.10.05 :  DSLab. ǥ CTIP for C 1.0 ġϼ.
                ( ϼ.) 
2012.10.16 :  10.19 ްմϴ. ڱ ũ ǥڰ Ǿϴ...
                : 10.22() 17:00~19:00 908ȣ(Ǵ 907ȣ) , ǥ մϴ. غ ּ.

Schedule

Week Date Topic
1 08.31  ް (FM 2012 )
2 09.07  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
3 09.15
4 09.21
5 09.28
6 10.05
7 10.12  ǥ #1 ( Regression Test ǥմϴ.)
8 10.19
9 10.26  ǥ #2 (⸶: 10.25 24:00)
10 11.02  ߰
11 11.09  ǥ #3 (⸶: 11.08 24:00)
12 11.16
13 11.23  ߰ǥ for Regression Testing + Summary
14 11.30  ⸻
15 12.07  ް (APSEC 2012 )
16 12.14  ǥ #4

SQA Projects

SE SQA Manager ǥ #1 ǥ #2 ǥ #3 ǥ #4
Regression Testing 1st testing 2nd testing 3rd Regression testing
A.T1 ̵

ڼ

ڵȣ
̹
Ǽ
̼
STP , STR STR , UTR (ǥ)
̵/Ǽ
ڵȣ
ڼ

̼

(߰ǥ)
̼

̹

A.T2 STP , STR , UTP , UTR STR , UTR
A.T3 STP, STR, UTP, UTR STR , UTR
A.T4 ̼ STR , UTR STR , UTR
A.T5 Ǽ STR, UTR STR , UTR
A.T6 STR  UTR STR , UTR
A.T7 STC , STR
STP_1 , STR_1 , UTR_1
STR , UTR
B.T1 ̵ STP, STR, UTP, UTR STP, STR, UTP, UTR
B.T2 ̵ STP, STR, UTP, UTR STP, STR, UTP, UTR
B.T3 ̵ STP, STR, UTP, UTR STP, STR, UTP, UTR
B.T4 Ǽ STR , UTR STR , UTR
B.T5 ڵȣ ( ) Report , UTR Report, UTP, UTR
UTP2, UTR2
B.T6 ڼ Report Report
B.T7 ̹ (翬 ) STC, STR1 STR2
STR3 , UTR
STR , UTR
B.T8 ̼ STR , UTR STR , UTR

References and Reading Materials

http://martinfowler.com/articles/continuousIntegration.html#PracticesOfContinuousIntegration
http://www.sereform.com/?m=20090302 , http://www.sereform.com/?m=20090303 , http://www.sereform.com/?m=20090402


http://www.pairwise.org/

JUnit , http://www.junit.org

starUML, http://staruml.sourceforge.net/ko/index.php
Subclipse , http://www.collab.net
WinCVS ,
http://cvsgui.sourceforge.net

JFeature , http://www.technobuff.net
OSRMT , 
http://sourceforge.net/projects/osrmt/
Unit Testing Framework , http://en.wikipedia.org/wiki/List_of_unit_testing_frameworks

Regression Testing
   - OOO
   - OOO
   - OOO