Software Verification (¼ÒÇÁÆ®¿þ¾î °ËÁõ)
- Introduction to Software Testing & Static Analysis      

(2013 Spring)

Course Syllabus

Team Projects
¡¡

2013.01.24 :  ȨÆäÀÌÁö ±¸Ãà Áß ÀÔ´Ï´Ù.
                È¿°úÀûÀÎ ½Ç½À°ú ¹ßÇ¥¸¦ À§Çؼ­ ¼ö°­ÀοøÀ» Á¦ÇÑÇÕ´Ï´Ù. (25¸í)
2013.01.15 :  °­ÀÇ(¿µ¾î) / ½Ç½À(Çѱ¹¾î) / ¹ßÇ¥(Çѱ¹¾î) ·Î ÁøÇàµÇ´Â "ºÎºÐ¿µ¾î»ç¿ë" ¼ö¾÷ÀÔ´Ï´Ù.
                ¼ö°­½Åû ÇÏ´Â ¿Ü±¹ÀÎ Çлýµé Âü°íÇϼ¼¿ä ^^
2013.03.04 :  "4¸í/1ÆÀ" À̸§/Çйø À̸ÞÀÏ·Î º¸³» ÁÖ¼¼¿ä. (~03.04)
2013.03.18 :  Team Presentation #1 ¹ßÇ¥ ³»¿ë º¯°æ
                - °¢ ÆÀÀº ¸ðµç ³»¿ëÀ» ¹ßÇ¥ÇÏ´Â ¿ø¾ÈÀ¸·Î º¯°æÇÕ´Ï´Ù.
2013.03.29 :  SMA/SV ÇÕµ¿¼ö¾÷/½Ç½À
                ÀϽÃ: 05.03(±Ý) 09:00 ~ 14:00
                ³»¿ë: SMA/SV ÆÀº°·Î ¸¸³ª, SVN, Mantis °øÀ¯ ¹× CTIP ȯ°æ ¼³Ä¡¿¡ ´ëÇÑ ³íÀÇ
2013.04.01 :  04.08(¿ù) ¼ö¾÷Àº ¿¹ºñ±º ÈÆ·Ã °ü°è·Î ÈÞ°­ ÇÕ´Ï´Ù.
2013.04.17 :  Áß°£°í»ç
                04.22(¿ù) 09:00~10:00 502È£, ½ÃÇè¹üÀ§: ~5Àå + ½Ç½À³»¿ë
2013.04.22 :  Áß°£°í»ç ¼ºÀû È®ÀÎÇϼ¼¿ä.
                04.23(È­) 10:00 ~ 16:00 È®ÀÎÇÏ·¯ ¿À¼¼¿ä.
2013.04.29 :  º¸°­ °ø°í
                ÀϽÃ: 05.06(¿ù) 18:00 ~ 20:00 402È£
2013.04.29 :  °­ÀÇÀÏÁ¤ ÀϺΠº¯°æµÇ¾ú½À´Ï´Ù. È®ÀÎÇϼ¼¿ä!
2013.05.17 :  Team Presentation #4 °ü·ÃÀÚ·áµéÀº ¸ðµÎ 05.23±îÁö Á¶±³(À̵¿¾Æ)¿¡°Ô Á¦ÃâÇØ ÁÖ¼¼¿ä.
2013.05.31 :  Team Presentation #5 ¿¡¼­´Â Static Analysis µµ±¸¸¦ 2°³ ÀÌ»ó »ç¿ëÇϼż­ ºÐ¼®ÇØ ÁÖ¼¼¿ä.
2013.06.10 :  ±â¸»°í»ç
                06.17(¿ù) 09:00 ~ 10:00 502È£, ½ÃÇè¹üÀ§: Àüü + ½Ç½À³»¿ë
2013.06.10 :  ÃÖÁ¾¹ßÇ¥ (¿µ¾î)
                ³»¿ë: SW V&V + CTIP ¿¡ ´ëÇÑ °æÇè ¹× ´À³¦ (ANT+SVN+Mantis »ç¿ë ½ÇÀû Æ÷ÇÔ)
2013.06.14 :  ¼ºÀûÈ®ÀÎ ¹× Á¤Á¤
                2013.06.24(¿ù) 09:00~12:00 , 06.25(È­) 09:00~12:00  --> ²À ÀÌ ½Ã°£¿¡ ¿À¼¼¿ä. ºÎŹ µå·Á¿ä!!!
2013.06.17 :  ±â¸»°í»ç ¼ºÀû ¹× ÇÐÁ¡ È®ÀÎÇϼ¼¿ä!
2013.06.29 :  Æ÷Å»¿¡¼­ ÃÖÁ¾ÇÐÁ¡ È®ÀÎÇϼ¼¿ä!
                "AÇÐÁ¡ÀÌ 40% ÀÌÇÏÀÎ Àý´ëÆò°¡"¶ó´Â ÀÌ»óÇÑ »ó´ëÆò°¡ ±âÁØÀ» ¸ÂÃß±â À§Çؼ­ Æ÷Å»¿¡´Â 'ȯ»êÁ¡¼ö'·Î ÀԷµ˴ϴÙ.

      

Ãâ¼®ºÎ

¡¡

Schedule

WEEKS

DATE

Monday (09:00~11:00)

Friday (12:00~14:00)

1

03.04 / 03.08 Course Introduction Introduction to CTIP

2

03.11 / 03.15
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

¡¡

Team Practice #1

3

03.18 / 03.22 Team Presentation #1 (unit , Eclipse , Clover & JDepend)

4

03.25 / 03.29 Team Practice #2 

5

04.01 / 04.05 Team Presentation #2 (Ant & CruiseControl)

6

04.08 / 04.12 Team Practice #3 

7

04.15 / 04.19 Team Presentation #3  (Mantis , SVN & CTIP)

8

04.22 / 04.26 Midterm Exam.

9

04.29 / 05.03 Chapter 9. Test Case Selection and Adequacy
Chapter 10. Functional Testing
Chapter 11. Combinatorial Testing
Chapter 12. Structural Testing
Chapter 13. Data Flow Testing
SMA/SV ÇÕµ¿ ½Ç½À

10

05.06 / 05.10 ¡ç

11

05.13 / 05.17 °øÈÞÀÏ

12

05.20 / 05.24 Team Practice #4  ÈÞ°­ (ICSE 2013 Âü°¡)

13

05.27 / 05.31 Team Presentation #4 (1st System Testing) - 05.23 Á¦Ãâ Chapter 14. Model based Testing
Chapter 16. Fault based Testing

14

06.03 / 06.07 Team Practice #5  Team Presentation #5 (2nd System Testing & Static Analysis)
(06.06 24:00 ±îÁö Á¦Ãâ)

15

06.10 / 06.14 Chapter 17. Test Execution 
Chapter 19. Program Analysis
Team Presentation #6 (Final Presentation) 

16

06.17 / 06.21 Final Exam.