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

(2011 Spring)

Course Syllabus

Team Projects
¡¡

2010.02.19 :  ù ¼ö¾÷Àº 03.03(¸ñ) 17:00~19:00 »õõ³â°ü 502È£ ÀÔ´Ï´Ù.
2010.03.03 :  ù ¼ö¾÷Àº 03.03(¸ñ) 15:00~17:00 »õõ³â°ü 502È£ ÀÔ´Ï´Ù.
2011.03.23 :  03.31/04.01 ¼ö¾÷Àº ±¹Á¦ÇÐȸ(ISORC 2011) Âü¼® °ü°è·Î ÈÞ°­ÇÕ´Ï´Ù.
                04.07(¸ñ) ¼ö¾÷¿¡ ÆÀ¹ßÇ¥#2 (¿µ¾î) ÁøÇàÇÕ´Ï´Ù.
                ÃßÈÄ º¸°­ÀÏÁ¤ °øÁöÇÏ°Ú½À´Ï´Ù.
2011.04.07 :  04.08(±Ý) ¼ö¾÷Àº ±³ÀçÀÇ 9ÀåÀÔ´Ï´Ù.
2011.04.14 :  Áß°£°í»ç´Â 04.22 (±Ý) 10:00 ~ 11:00, 502È£ ÀÔ´Ï´Ù.
                - ½ÃÇè¹üÀ§ : ~ 11Àå
2011.04.25 :  Áß°£°í»ç ¼ºÀû È®ÀÎÇϼ¼¿ä.
                - È®ÀÎÇÏ½Ç ºÐÀº ¼ö¿äÀÏ(27ÀÏ) ±îÁö ¿À¼¼¿ä.
2011.05.08 :  ÃàÁ¦±â°£ µ¿¾È Á¤»ó¼ö¾÷ ÇÕ´Ï´Ù.
2011.06.10 :  ±â¸»°í»ç´Â 06.17 (±Ý) 10:00 ~ 11:00, 502È£ ÀÔ´Ï´Ù.
                - ½ÃÇè¹üÀ§: Áß°£°í»ç ÀÌÈÄ
2011.06.15 :  Ãß°¡ °­ÀÇÆò°¡ (06.20 ~ 06.22)
                ÇöÀç±îÁö ÃÑ 4¸íÀÌ °­ÀÇÆò°¡¿¡ Âü¼® Çϼ̽À´Ï´Ù. -_-;
                °¡²û Á¦°¡ ÀÔ·ÂÀ» ½Ç¼öÇؼ­, ȨÆäÀÌÁö Ãâ¼®ºÎ Á¡¼ö¿Í ½ÇÁ¦ ÇÐÁ¡Àº ´Ù¸¦ ¼ö ÀÖ½À´Ï´Ù....°­ÀÇÆò°¡ ÇϽðí Á¤Á¤±â°£ ³»¿¡ ²À ÇÐÁ¡ È®ÀÎÇϼ¼¿ä. ^^
2011.06.21 :  ¼ºÀû È®ÀÎÇϼ¼¿ä.
                ÇÑ Çб⠵¿¾È ¼ö°í ¸¹À¸¼Ì½À´Ï´Ù.


Ãâ¼®ºÎ

¡¡

Schedule

WEEKS

DATE

Thursday

Friday

1

03.03 / 03.04

Course Introduction Introduction to Team Project

2

03.10 / 03.11


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

¡¡

¡¡

3

03.17 / 03.18

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

4

03.24 / 03.25 ¡¡

5

03.31 / 04.01 ¡¡

6

04.07 / 04.08 Team Presentation #2 - English
(Eclipse , http://eclipse.org)
(Subclipse , http://www.collab.net)
(WinCVS , http://cvsgui.sourceforge.net)

7

04.14 / 04.15 ¡¡

8

04.21 / 04.22 Áß°£°í»ç

9

04.28 / 04.29 Team Project Tutorial (by TA) Team Presentation #3
(JFeature , http://www.technobuff.net)
(OSRMT ,  http://sourceforge.net/projects/osrmt/)

10

05.05 / 05.06 ¾î¸°À̳¯ Team Presentation #4

11

05.12 / 05.13 Chapter 9. Test Case Selection and Adequacy
Chapter 10. Functional Testing
Chapter 11. Combinatorial Testing
Chapter 12. Structural Testing
Chapter 13. Data Flow Testing
¡¡

12

05.19 / 05.20 Team Presentation #5

13

05.26 / 05.27 ÈÞ°­: ICSE 2011 Âü°¡

14

06.02 / 06.03 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
Team Presentation #6 - English

15

06.09 / 06.10 Team Presentation #7

16

06.16 / 06.17 ±â¸»°í»ç