Software V&V
(Verification & Validation)
- Introduction to Software Testing & Static
Analysis
(2020 Spring)
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 | ¡¡ | ¡¡ | |
2 | |||
3 | 03.17 / 03.19 |
Course
Introduction (µ¿¿µ»ó-ÀúÈÁú) - Lecture Note |
STA ÀÌ·Ð (¿Â¶óÀÎ) |
4 | 03.24 / 03.26 | STA
ÀÌ·Ð (¿Â¶óÀÎ)
+ 04.09 ÆÀÇÁ·ÎÁ§Æ® 1 - "±â´É¾ÈÀü¼º Ç¥ÁØ ¹× µ¿Çâ" |
|
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 ÀÌ·Ð |
(°øÈÞÀÏ) - ¿Â¶óÀÎ º¸° |
10 | 05.05 / 05.07 |
(°øÈÞÀÏ) - ¿Â¶óÀÎ º¸° |
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) |
16 | 06.16 / 06.18 |
Team Practice #5 ** - ½Ç½Ã°£ ¿Â¶óÀÎ ½Ç½À (ZOOM) |
Team Presentation #4
(2nd System Testing & Static Analysis) |
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 ¡¡ |
¡¡
¡¡