°í±Þ¼ÒÇÁÆ®¿þ¾î°øÇÐ
(2025 Spring)

¡¡

2025.03.07 : 2025³â 1Çб⠰ú¸ñ ȨÆäÀÌÁö °³¼³ÇÕ´Ï´Ù.
               + ÄÄÇ»ÅÍ°øÇкΠ3Çгâ "°´Ã¼ÁöÇâ°³¹ß¹æ¹ý·Ð" ¼ö¾÷°ú ¿¬µ¿Çؼ­ ÁøÇàÇÕ´Ï´Ù.

Schedule

Week Date ±Ý¿äÀÏ - ½Å°øÇаü 1010È£ (12:00~15:00)
1 03.07

  Lecture Note


  05.09 : CTIP ȯ°æ 3Çгâ ÆÀ¿¡ Àü¼ö
  05.23 : 1st V&V ¿Ï·á (09:00Á¦Ãâ)
  06.05 : 2nd V&V ¿Ï·á (24:00 Á¦Ãâ)

  06.06 : °øÈÞÀÏ (ÇöÃæÀÏ)

     - Lecture Note

     - Introduction to CTIP(2019)
     - Introduction to CTIP(2020)
     - Introduction to CTIP(2021)
     - Lab. Orientation (2021)

¡¡

2 03.14
3 03.21
4 03.28
5 04.04
6 04.11
7 04.18
8 04.25
9 05.02
10 05.09
11 05.16
12 05.23
13 05.30
14 06.06
15 06.13
16 06.20

¡¡

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
¡¡

      


ÆÀ¸í ÆÀ¿ø °ËÁõ´ë»ó
(3Çгâ)
ÆÀ¹ßÇ¥ #1 ÆÀ¹ßÇ¥ #2 ÆÀ¹ßÇ¥ #3 ÆÀ¹ßÇ¥ #4 ÆÀ¹ßÇ¥ #5
IDE, SVN, ºôµå, ¿ä±¸»çÇ×, ¹ö±×ÃßÀû, ÄÚµå°ü¸®, CTIP ȯ°æ ±¸Ãà Á¤ÀûºÐ¼® µµ±¸, JUnit  ¹× ½Ã½ºÅÛÅ×½ºÆ® µµ±¸ 1st Testing
- System Test
2nd Testing
- System Test
- Static Analysis
Final Presentation
T1 ±¸»óÁØ
·ù´ÙÀº
³ëÇö¿ë
±è°æÈñ
¡¡ ¡¡ ¡¡ ¡¡
T2 À§±âÈ­
¹Ú»ó¿ì
±èÈ«±Ô
ÃÖÈñÀç
ÇԽſì
¡¡ ¡¡ ¡¡ ¡¡
T3 ÇѹüÁø
±è»óÀç
¼­Çª¸§
ÇԽÿ¬
¡¡ ¡¡ ¡¡ ¡¡
T4 ÇãÀ±¾Æ
ÀÌ¿µ±Ô
±è´ë¿ø
¡¡ ¡¡ ¡¡ ¡¡