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 °³¹ß¹æ¹ý·Ð Á¦¾È
¹èÁ¾±¹, ¼Õ¿µ¼® ¼Õ¿µ¼® ¼Õ¿µ¼® ¼Õ¿µ¼® ¹èÁ¾±¹¡¡ ¼Õ¿µ¼®¡¡

³í¹® , ¹ßÇ¥ÀÚ·á

¼­¿µÁÖ, Àº¾Öõ Àº¾Öõ ¼­¿µÁÖ ¼­¿µÁÖ Àº¾Öõ Àº¾Öõ¡¡ ³í¹® , ¹ßÇ¥ÀÚ·á
Á¤¼¼Áø, ±èÀ翱 ±èÀ翱 Á¤¼¼Áø Á¤¼¼Áø Á¤¼¼Áø ±èÀ翱 ³í¹® , ¹ßÇ¥ÀÚ·á