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

(2016 Spring)

Course Syllabus

Team Projects
¡¡

2016.01.18 :  ȨÆäÀÌÁö ±¸Ãà Áß ÀÔ´Ï´Ù.
                + È¿°úÀûÀÎ ½Ç½À°ú ¹ßÇ¥¸¦ À§Çؼ­ ¼ö°­ÀοøÀ» Á¦ÇÑÇÕ´Ï´Ù. (25¸í)
                + "ºÎºÐ¿µ¾î" , "»ó´ëÆò°¡" ¼ö¾÷ÀÔ´Ï´Ù.
2016.04.23 :  Áß°£°í»ç ¼ºÀû È®ÀÎÇϼ¼¿ä. Á¡¼ö È®ÀÎÇÏ·¯ ¼ö½Ã·Î ¿À¼¼¿ä.
2016.05.19 :  Clone Checking ¿¹Á¦´Â 05.22 ±îÁö ¿Ã¸®°Ú½À´Ï´Ù.
2016.06.17 :  ¼ºÀû È®ÀÎÇϼ¼¿ä.

                + ¿ù¿äÀϺÎÅÍ ¼ºÀû È®ÀÎÇÏ·¯ ¿À¼¼¿ä.
                + ÇÑ Çб⠵¿¾È ¼ö°í ¸¹À¸¼Ì½À´Ï´Ù!!!


Ãâ¼®ºÎ

¡¡

Schedule

WEEKS

DATE

Thursday (15:30~17:00) - 402È£

Friday (11:30~13:00) - 402È£

1

03.03 / 03.04 Course Introduction Introduction to CTIP

2

03.10 / 03.11 ÀÌ·Ð °­ÀÇ Team Practice #1

3

03.17 / 03.18 ÀÌ·Ð °­ÀÇ Team Presentation #1 (Junit , Eclipse ¹× ºôµå ȯ°æ)

4

03.24 / 03.25 ÀÌ·Ð °­ÀÇ Team Practice #2 

5

03.31 / 04.01 ÀÌ·Ð °­ÀÇ Team Presentation #2 (Mantis , SVN , JFeature ¹× CTIP)

6

04.05 / 04.07 ÀÌ·Ð °­ÀÇ Team Practice #3 

7

04.14 / 04.15 ÀÌ·Ð °­ÀÇ Team Presentation #3
(Á¤ÀûºÐ¼® µµ±¸, Testlink ¹× ½Ã½ºÅÛÅ×½ºÆ® µµ±¸)

8

04.21 / 04.22 Midterm Exam.

9

04.28 / 04.29 ÀÌ·Ð °­ÀÇ Team Practice #4 
  - °¢ ÆÀº°·Î SMA¿¡°Ô CTIP ȯ°æ Àü¼ö

10

05.05 / 05.06 ¾î¸°À̳¯ (ÈÞ°­) ÀӽðøÈÞÀÏ (ÈÞ°­)

11

05.12 / 05.13 ÀÌ·Ð °­ÀÇ ÈÞ°­ - Á¶±³ ±¹Á¦ÇÐȸÂü¼®, ±³¼ö ±¹³»ÇÐȸÂü¼®

12

05.19 / 05.20 ÀÌ·Ð °­ÀÇ Team Practice #5

13

05.26 / 05.27 Team Presentation #4 (1st System Testing)
   - Á¦Ãâ±âÇÑ : 05.26 10:00
ÀÌ·Ð °­ÀÇ

14

06.02 / 06.03 ÀÌ·Ð °­ÀÇ Team Practice #6

15

06.09 / 06.10 Team Presentation #5 (2nd System Testing & Static Analysis)
   - Á¦Ãâ±âÇÑ : 06.09 10:00
Team Presentation #6 (Final Presentation - English)

16

06.16 / 06.17 Final Exam.


¡¡

ÀÌ·Ð °­ÀÇ
(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
  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
¡¡


¡¡

¡¡