Software V&V (Verification & Validation)
- Introduction to Software Testing & Static Analysis      

(2020 Spring)

Course Syllabus

Team Projects
¡¡

2020.01.29 :  ȨÆäÀÌÁö ¿î¿µ ½ÃÀÛÇÕ´Ï´Ù.
                + 3Çг⠰´Ã¼ÁöÇâ°³¹ß¹æ¹ý·Ð ¼ö¾÷°ú ¿¬µ¿Çؼ­ ÁøÇàµÇ´Â ¼ö¾÷ÀÔ´Ï´Ù.
                + °ú¸ñ¸íÀÌ "¼ÒÇÁÆ®¿þ¾î °ËÁõ(Verification)" ¿¡¼­ "¼ÒÇÁÆ®¿þ¾î V&V (Verification & Validation)"·Î º¯°æ µÇ¾ú½À´Ï´Ù.
                + °ú¸ñ ¿î¿µ ¹æ½ÄÀº ¿¹³â°ú µ¿ÀÏÇϳª, ±âÁ¸¿¡ ºñÇØ Validation ºÎºÐÀÌ ´õ Ãß°¡µÇ¾ú½À´Ï´Ù.
                + 3Çгâ "°´Ã¼ÁöÇâ°³¹ß¹æ¹ý·Ð (±¸ ¼ÒÇÁÆ®¿þ¾î ¸ðµ¨¸µ ¹× ºÐ¼®)" ¼ö¾÷°ú ¿¬µ¿ÇÏ¿© ÁøÇàµÇ´Â ¼ö¾÷ÀÔ´Ï´Ù.
                + 3Çг⠼ö¾÷: °³¹ßÀÚ °üÁ¡  vs.  4Çг⠼ö¾÷: °ËÁõÀÚ(Tester) °üÁ¡
2020.02.20 :  Äڷγª19 ¹ÙÀÌ·¯½º·Î ÀÎÇØ, Çб³ ¹æħ¿¡ µû¶ó, 03.17(È­)¿¡ ù ¼ö¾÷ ½ÃÀÛÇÕ´Ï´Ù.
2020.02.24 :  Çб³ ¹æħ¿¡ µû¶ó, °³°­À» 2ÁÖ ¿¬±âÇÕ´Ï´Ù. 03.17(È­)¿¡ ù ¼ö¾÷ ½ÃÀÛÇÕ´Ï´Ù. 2ÁÖ°£Àº ¿Â¶óÀÎÀ¸·Î ¼ö¾÷ÀÌ ÁøÇàµË´Ï´Ù.

2020.02.28 :  ù °­ÀÇ(¼ö¾÷¼Ò°³)´Â e-campus¸¦ ÅëÇØ ¿Â¶óÀÎÀ¸·Î ÁøÇàµË´Ï´Ù.
                + Ãß°¡½ÅûÀº ù °­ÀǸ¦ ¼ö°­ÇÑ ÈÄ, ¿©ÀüÈ÷ ¼ö°­½ÅûÀÌ ºÒ°¡´ÉÇÑ °æ¿ì, (¹Ì¸® ÄÁÆßÀ» ¹ÞÀº Çлý¸¸) ½Åû¼­¸¦ À̸ÞÀÏ·Î Á¦ÃâÇϼ¼¿ä.
2020.03.11 :  Course Introduction (µ¿¿µ»ó-ÀúÈ­Áú) Àº ecampus¿¡¼­ º¸´Ù ¼±¸íÇÏ°Ô º¸½Ç ¼ö ÀÖ½À´Ï´Ù.
                + ¾Æ·¡ µ¿¿µ»óÀº ¼ö¾÷½ÅûÀ» °í¹Î ÁßÀÎ ÇлýµéÀ» À§ÇÑ ¼Ò°³ÀÚ·á ÀÔ´Ï´Ù.
2020.03.16 :  Ãß°¡ ¼ö°­½Åû °øÁö
                + È­¿äÀÏ Ã¹ ¼ö¾÷(¿Â¶óÀÎ µ¿¿µ»ó)À» µè°í, ¿©ÀüÈ÷ °è¼Ó ÀÌ ¼ö¾÷À» ¼ö°­ÇÏ°í ½ÍÀº Çлý Áß¿¡, ¿Â¶óÀο¡ ¿©ÀüÈ÷ ÀÚ¸®°¡ ¾ø´Ù¸é, À̸ÞÀÏ·Î ½ÅûÇϼ¼¿ä.
2020.03.25 :  Offline °­ÀÇ°³°­ÀÌ 04.13À¸·Î ´Ù½Ã 2ÁÖ ¿¬±âµÇ¾ú½À´Ï´Ù.
                ½Ç½À°­ÀÇ´Â 04.14(È­)¿¡ ½ÃÀÛÇÏ°í, 2ÁÖ µ¿¾È ¿Â¶óÀÎÀ¸·Î ÀÌ·Ð ¼ö¾÷À» ÁøÇàÇÕ´Ï´Ù!
                + ¼öÁ¤µÈ °­ÀÇ ½ºÄÉÁÙ È®ÀÎÇϼ¼¿ä.
2020.04.06 :  Offline °­ÀÇ°³°­ÀÌ 05.04·Î ¿¬±âµÇ¾ú½À´Ï´Ù.
                + 4¿ù±îÁö´Â ÀÌ·Ð Áß½ÉÀ¸·Î ÁøÇà Çϸ鼭, Á¶¸¸°£ ½Ç½ÀÁ¶ Æí¼ºÀ» ½ÃÀÛÀ¸·Î ¿Â¶óÀÎ ½Ç½Àµµ ÁøÇàÇÏ°Ú½À´Ï´Ù.
                + ¼öÁ¤µÈ °­ÀÇ ½ºÄÉÁÙ È®ÀÎÇϼ¼¿ä
2020.04.06 :  ÆÀ±¸¼º ½ÃÀÛÇÕ´Ï´Ù.
                + 4¸í/1ÆÀ
                + ecampus¿¡¼­ 04.09ºÎÅÍ ±¸¼ºÇϼ¼¿ä. (ÆÀÇÁ·ÎÁ§Æ® "±â´É¾ÈÀü¼º Ç¥ÁØ ¹× µ¿Çâ")
2020.04.23 :  Áß°£°í»ç ÀáÁ¤ "¿¬±â" ÇÕ´Ï´Ù.
                + ÆÀÇÁ·ÎÁ§Æ® Á¶±Ý ÀÏÂï ÁøÇàÇÏ°Ú½À´Ï´Ù. º¯°æµÈ ½ºÄÉÁì È®ÀÎÇØ ÁÖ¼¼¿ä.
                + Á¶¸¸°£ ZOOMÀ» È°¿ëÇÑ ¹ÌÆðú ÆÀÈ°µ¿ÀÌ ÀÖÀ» ¿¹Á¤ÀÔ´Ï´Ù.
2020.04.27 :  "¿Â¶óÀÎ ½Ç½Ã°£ ½Ç½À ¹× ¹ßÇ¥"¸¦ À§ÇØ °­ÀÇ ½ºÄÉÁìÀ» Á» Á¶Á¤Çß½À´Ï´Ù.
                Áß°£°í»ç ±â°£ÀÌ°í ¶Ç ÈÞÀÏÀÌ 2¹øÀ̳ª À־ ¸ðÀÏ ¼ö°¡ ¾ø³×¿ä.
2020.05.21 :  3Çг⠱¸Çö ÀÏÁ¤ Á¶Á¤À¸·Î ÀÎÇØ, ¹ßÇ¥ ÀÏÁ¤ÀÌ ÇÑ ÁÖ¾¿ ¿¬±â µÇ¾ú½À´Ï´Ù.
2020.06.18 :  ±â¸»°í»ç °øÁö
                + 2020.06.25 08:30 ~ 10:00
                + ÀÌÄ·ÆÛ½º / ÆÀÀÌ ¹®Á¦¸¦ Ç®¾î¼­ °¢ÀÚ eCampus¿¡ Á¦Ãâ
                + ÁÖ°ü½Ä , Open Book , ³×Æ®¿öÅ© °Ë»ö »ç¿ë °¡´É , ÆÀ¿ø ¿Ü ¼ÒÅë ±ÝÁö

Schedule

Week Date È­¿äÀÏ (09:00~11:00) - »õõ³â°ü 402È£ ¸ñ¿äÀÏ (09:00~11:00) - »õõ³â°ü 402È£
1 03.03 / 03.05 ¡¡ ¡¡
2 03.10 / 03.12    
3 03.17 / 03.19  Course Introduction (µ¿¿µ»ó-ÀúÈ­Áú)
 - Lecture Note
 STA ÀÌ·Ð (¿Â¶óÀÎ)
4 03.24 / 03.26  STA ÀÌ·Ð (¿Â¶óÀÎ) 

 + 04.09 ÆÀÇÁ·ÎÁ§Æ® 1 - "±â´É¾ÈÀü¼º Ç¥ÁØ ¹× µ¿Çâ"

 + 04.23
 Lab. Orientation ** (¿Â¶óÀÎ)
     - Introduction to CTIP(2019)
     - Introduction to CTIP(2020)

5 03.31 / 04.02
6 04.07 / 04.09
7 04.14 / 04.16
8 04.21/ 04.23
9 04.28 / 04.30  STA ÀÌ·Ð

 (°øÈÞÀÏ) - ¿Â¶óÀÎ º¸°­
 
STA ÀÌ·Ð

10 05.05 / 05.07

 (°øÈÞÀÏ) - ¿Â¶óÀÎ º¸°­
 STA ÀÌ·Ð

 MIDTERM EXAM (ÀáÁ¤ ¿¬±â)
 - ½Ç½Ã°£ ¿Â¶óÀÎ ½Ç½À (ZOOM) : ½Ç½À ȯ°æ Á¡°Ë ¹× »óÈ£ Àλç
11 05.12 / 05.14  Team Presentation #1 (JUnit , Eclipse, SVN,  ºôµå, ¿ä±¸»çÇ×, ¹ö±×, CTIP)
 - ½Ç½Ã°£ ¿Â¶óÀÎ ¹ßÇ¥ (ZOOM)
 STA ÀÌ·Ð
12 05.19 / 05.21  STA ÀÌ·Ð  Team Presentation #2 (Á¤ÀûºÐ¼® µµ±¸, ½Ã½ºÅÛÅ×½ºÆ® ÀÚµ¿È­ µµ±¸)
 - ½Ç½Ã°£ ¿Â¶óÀÎ ¹ßÇ¥ (ZOOM)
13 05.26 / 05.28  STA ÀÌ·Ð  Team Practice #3
  - °¢ ÆÀº°·Î OOAD¿¡°Ô CTIP ȯ°æ Àü¼ö (3/4Çгâ ÁýÇÕ ¿Â¶óÀÎ)
 - ½Ç½Ã°£ ¿Â¶óÀÎ ½Ç½À (ZOOM) 
 (JPG)
14 06.02 / 06.04

 STA ÀÌ·Ð

 STA ÀÌ·Ð
15 06.09 / 06.11  Team Practice #4 **
 - ½Ç½Ã°£ ¿Â¶óÀÎ ½Ç½À (ZOOM)

 Team Presentation #3 (1st System Testing) 
 - ½Ç½Ã°£ ¿Â¶óÀÎ ¹ßÇ¥ (ZOOM)

16 06.16 / 06.18  Team Practice #5 **
 - ½Ç½Ã°£ ¿Â¶óÀÎ ½Ç½À (ZOOM)

 Team Presentation #4 (2nd System Testing & Static Analysis)
 - ½Ç½Ã°£ ¿Â¶óÀÎ ¹ßÇ¥ (ZOOM)

17 06.23 / 06.25  Team Presentation #5 (Final Presentation)
 - ½Ç½Ã°£ ¿Â¶óÀÎ ¹ßÇ¥ (ZOOM)
 FINAL EXAM (¿Â¶óÀÎ)

¡¡

STA ÀÌ·Ð °­ÀÇ


  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
  Chapter 19. Program Analysis
¡¡


¡¡

¡¡