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

¡¡