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

(2010 Spring)

Course Syllabus

Team Project
¡¡

2010.02.12 :  ù ¼ö¾÷Àº 03.02(¿ù) 15:00~17:00 »õõ³â°ü 602È£ ÀÔ´Ï´Ù.
2010.03.09 :  ÇÁ·ÎÁ§Æ® ÆÀ ±¸¼ºÇØ ÁÖ¼¼¿ä.
2010.03.12 :  °øÇÐÀÎÁõ »çÀü¼³¹® ºÎŹ µå¸³´Ï´Ù.
2010.03.16 :  ÆÀÇÁ·ÎÁ§Æ®¿¡ »ç¿ëÇÏ½Ç µµ±¸µéÀº http://www.setool.or.kr ¿¡¼­ È®ÀÎÇϽñ⠹ٶø´Ï´Ù.
                ÆÀÇÁ·ÎÁ§Æ®ÀÇ ¸ñÀû¿¡ ºÎÇÕÇÏ¸é ¾î¶² µµ±¸¸¦ »ç¿ëÇϼŵµ ¹«¹æÇÕ´Ï´Ù.
2010.03.16 :  ¼ºÀû»êÃâ ±âÁØÀ» ¼öÁ¤ÇÏ¿´½À´Ï´Ù. (Ãâ¼®:5. Áß°£°í»ç:20, ±â¸»°í»ç:25, ¹ßÇ¥5ȸ:5,5,5,15,20) Ãâ¼®ºÎ È®ÀÎ ºÎŹ µå¸³´Ï´Ù.
2010.03.17 :  ÆÀÇÁ·ÎÁ§Æ® Âü°íÀÚ·á µå¸³´Ï´Ù. ²Ä²ÄÈ÷ Àо½Ã±â ¹Ù¶ø´Ï´Ù.
                http://martinfowler.com/articles/continuousIntegration.html#PracticesOfContinuousIntegration 
                http://www.sereform.com/?m=20090302 , http://www.sereform.com/?m=20090303 , http://www.sereform.com/?m=20090402

2010.04.05 :  2010.04.12(¿ù) ¼ö¾÷Àº 2010.04.09(±Ý) 15:00~17:00 ¿À¸í ÃÑÀå Ư°­À¸·Î ´ëüÇÏ°Ú½À´Ï´Ù. (Æ÷½ºÅÍ)
2010.04.12 :  Áß°£°í»ç´Â 04.19(¿ù) ¼ö¾÷½Ã°£ ÀÔ´Ï´Ù.
                ¹üÀ§: 1~6Àå, 7¹®Á¦, 1½Ã°£, Open-Book/Note
2010.04.16 :  Áß°£°í»ç ÀÌÈÄÀÇ °­ÀÇÀÚ·á Update ¿¹Á¤ÀÔ´Ï´Ù.
2010.04.17 :  »õ °­ÀÇÀÚ·á Update µÇ¾ú½À´Ï´Ù.
2010.04.20 :  Áß°£°í»ç ¼ºÀû È®ÀÎÇϼ¼¿ä.
                °øÇÐÀÎÁõ Áß°£¼³¹® ºÎŹ µå¸³´Ï´Ù.
2010.04.21 :  ÇöÀç±îÁö ¼ö¾÷¿¡ Âü¿©ÇÏÁö ¾ÊÀº µÎ ÇлýÀº D- ÇÐÁ¡ÀÔ´Ï´Ù.
2010.05.20 :  05.25(È­) Á¤ºÎ°úÁ¦±âȹȸÀÇ °ÇÀ¸·Î ÈÞ°­ÇÕ´Ï´Ù. Á˼ÛÇÕ´Ï´Ù.
                °­ÀÇÆò°¡ ºÎŹ µå¸³´Ï´Ù.
2010.05.26 :  Á¤ºÎ°úÁ¦±âȹȸÀÇ °ÇÀ¸·Î 05.31(¿ù), 06.07(¿ù) ¼ö¾÷ ÈÞ°­ÇÕ´Ï´Ù.
                ÆÀÇÁ·ÎÁ§Æ® ÃÖÁ¾¹ßÇ¥´Â 06.08(È­) ·Î ¿¬±âÇÕ´Ï´Ù.
                'º¸Ãæ¼ö¾÷' ½Ç½ÃÇÕ´Ï´Ù. ´ÙÀ½ ÁÖ È­¿äÀÏ 06.01 ¼ö¾÷½Ã°£¿¡ °áÁ¤ÇÏ°Ú½À´Ï´Ù.
                Áö³­ ¹ø ¹ßÇ¥ÀÚ·á PPT ÆÄÀÏ Á¦Ãâ ºÎŹ µå¸³´Ï´Ù.
2010.05.29 :  Pairwise testing µµ±¸(
http://www.pairwise.org/) »ç¿ëÇϼż­, CTIP ¸¶¹«¸® ¹ßÇ¥ ÇϽøé ÁÁ°Ú½À´Ï´Ù. ^^
2010.06.01 :  1Â÷º¸°­: 06.04(±Ý) 602È£ 19:00~21:00
2010.06.08 :  ±â¸»°í»ç ±â°£¿¡´Â Á¤»ó¼ö¾÷ ÁøÇàÇÕ´Ï´Ù. ±â¸»°í»ç: 06.19(Åä) 10:00~ 11:00 , 602È£ ÀÔ´Ï´Ù.
                ¿À´Ã ¹ßÇ¥ÀÚ·á (+ test casesµé Á¤¸® TP Ãß°¡) ¸ÞÀÏ·Î ºÎŹ µå¸³´Ï´Ù.
2010.06.21 :  ÃÖÁ¾¼ºÀû È®ÀÎÇϼ¼¿ä. (È­/¼ö ¾çÀÏ°£ È®ÀÎÇÏ½Ç ºÐ 904È£·Î ¿À¼¼¿ä)



Ãâ¼®ºÎ

¡¡

Schedule

WEEKS

DATE

LABORATORY (Monday)

LECTURE (Tuesday)

1

03.01 / 03.02

3.1Àý Course Introduction

2

03.08 / 03.09

¡¡

Chapter 1. Software Test and Analysis in a Nutshell (fig)
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

(¿ì¸®¸» º¹½À)

3

03.15 / 03.16

Team Presentation #1
(JUnit , http://www.junit.org)

4

03.22 / 03.23 (¿ì¸®¸» º¹½À)

5

03.29 / 03.30 Team Presentation #2
(Eclipse , http://eclipse.org)
(Subclipse , http://www.collab.net)
(WinCVS , http://cvsgui.sourceforge.net)

6

04.05 / 04.06 (¿ì¸®¸» º¹½À)

7

04.12 / 04.13 ¿À¸í ÃÑÀå Ư°­ ("ÀÌÁ¦´Â ¼±Áø±¹ Áغñ¸¦ ÇÏÀÚ") Team Presentation #3
(JFeature , http://www.technobuff.net)
(OSRMT ,  http://sourceforge.net/projects/osrmt/)

8

04.19 / 04.20 Áß°£°í»ç (04.190

9

04.26 / 04.27 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 15. Testing Object-Oriented Software
Chapter 16. Fault based Testing
Chapter 17. Test Execution 
Chapter 18. Inspection
Chapter 19. Program Analysis
Chapter 21. Integration and Component-based Software Testing
Chapter 22. System, Acceptance, and Regression Testing
Chapter 23 Automating Analysis and Test

< New lecture notes >

¡¡

Introduction to Team Project (Test target)

10

05.03 / 05.04 ¡ç

11

05.10 / 05.11 ¡ç

12

05.17 / 05.18 Team Presentation #4

13

05.24 / 05.25 ÈÞ°­

14

05.31 / 06.01 ¡ç

15

06.07 / 06.08 Team Presentation #5

16

06.14 / 06.15 Á¤»ó¼ö¾÷ + ±â¸»°í»ç (06.19 Åä)