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

(2015 Spring)

Course Syllabus

Team Projects
¡¡

2015.01.23 :  ȨÆäÀÌÁö ±¸Ãà Áß ÀÔ´Ï´Ù.
                + È¿°úÀûÀÎ ½Ç½À°ú ¹ßÇ¥¸¦ À§Çؼ­ ¼ö°­ÀοøÀ» Á¦ÇÑÇÕ´Ï´Ù. (25¸í)
                + "ºÎºÐ¿µ¾î" , "Àý´ëÆò°¡" ¼ö¾÷ÀÔ´Ï´Ù.
                + 6ȸÀÇ ÆÀ ¹ßÇ¥ µî ·Îµå°¡ ¸Å¿ì Å« ¼ö¾÷ÀÌ´Ï, ÀڽŠÀÖ´Â Çлýµé¸¸ ½ÅûÇϽñ⠹ٶø´Ï´Ù. (ÁßµµÆ÷±â ºÒ°¡´É)
2015.04.17 :  Áß°£°í»ç
                + ÀϽà : 2015.04.21 (¼ö¾÷½Ã°£)
                + ¹üÀ§ : ¹è¿î³»¿ë Àüü + ÇÁ·ÎÁ§Æ®
                + ¿ÀǺÏ
2015.04.27 :  CTIP ȯ°æ ¼³Ä¡ ¹× Àü¼ö
                + 05.01(±Ý) ÀÇ SMA SV ¼ö¾÷½Ã°£ Áß °¡¿ëÇÑ ½Ã°£¿¡ ¸ð¿©¼­ ¼³Ä¡ ¹× Àü¼ö ÇÕ´Ï´Ù. (¼ö¾÷ °­Àǽǿ¡¼­)
                + ÆÀº°·Î ¹Ì¸® ÇÕÀÇÇϼż­, µÎ ¼ö¾÷ ½Ã°£ Áß °¡¿ëÇÑ ½Ã°£¿¡ 402È£¿¡ ¸ð¿©¼­, ¼³Ä¡ ¹× Àü¼ö ÀÛ¾÷À» ¼öÇàÇÕ´Ï´Ù.
                + T1ÀÇ ¹ßÇ¥´Â ½Ã°£ »ó »ý·« ÇÏ°Ú½À´Ï´Ù.... ´ë½Å ¹ßÇ¥ÀڷḦ È­¿äÀϱîÁö º¸³» ÁÖ¼¼¿ä. 3Çгâ ÆÀ¿¡¼­ º¸°í °øºÎÇÑ ÈÄ ¹ßÇ¥ÇØ¾ß ÇÕ´Ï´Ù.
2015.04.27 :  Áß°£°í»ç ¼ºÀû È®ÀÎÇϼ¼¿ä.
                ¾ðÁ¦µçÁö ã¾Æ ¿À¼¼¿ä!
                + 05.15(±Ý) °¡ °³±³±â³äÀÏ ÈÞÀÏÀÔ´Ï´Ù. ±Þ ÈÞ°­ÇÕ´Ï´Ù.
2015.05.07 :  º¸°­ °øÁö
                + ¿¬ÀÌÀº ÈÞ°­°ú ÈÞÀÏ·Î ÀÎÇØ ¼ö¾÷ Áøµµ°¡ ¸¹ÀÌ ´Ê¾ú½À´Ï´Ù.
                + 2015.05.15(±Ý) ¼ö¾÷½Ã°£!!
2015.05.26 : ½Ç½À ÀÏÁ¤ÀÌ ÀϺΠº¯°æµÇ¾ú½À´Ï´Ù.
2015.06.02 :  ±â¸»°í»ç
                + ÀϽà : 2015.06.16 (¼ö¾÷½Ã°£)
                + ¹üÀ§ : ¹è¿î³»¿ë Àüü + ÇÁ·ÎÁ§Æ®
                + ¿ÀǺÏ
2015.06.15 :  °øÁö - ¼ºÀûó¸®
                + ¿¹Àü¿¡ ¹Ù²ï ¼ºÀûó¸® ±âÁØÀÌ Á» ÀÌ»óÇÏ´Ù°í ¸»¾¸ µå·È´Âµ¥¿ä, Æ÷ÅÐÀ» º¸´Ï±î, Àý´ëÆò°¡ ¼ö¾÷ÀÌ ¾ø¾îÁö°í, ¸ðµÎ »ó´ëÆò°¡(A 40%)·Î ¹Ù²î¾ú½À´Ï´Ù.
                + A ÇÐÁ¡À» 6¸í¸¸ ¹ÞÀ» ¼ö ÀÖ°Ô µÇ¾ú½À´Ï´Ù...Èå¹Ì.
                + ¼ºÀû È®ÀÎÇϼ¼¿ä!!!



Ãâ¼®ºÎ

¡¡

Schedule

WEEKS

DATE

Tuesday (14:30~16:00) - 402È£

Friday (15:00~16:30) - 402È£

1

03.03 / 03.06 Course Introduction Introduction to CTIP

2

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

3

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

4

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

5

03.31 / 04.03 ÀÌ·Ð °­ÀÇ Team Presentation #2 (Mantis , SVN & CTIP)

6

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

7

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

8

04.21 / 04.24 Midterm Exam.

9

04.28 / 05.01 3Çгâ ÆÀ°úÀÇ ¼ö¾÷ Á¶Á¤À» À§ÇÑ ÈÞ°­ Team Practice #4 
  - °¢ ÆÀº°·Î SMA¿¡°Ô CTIP ȯ°æ Àü¼ö

10

05.05 / 05.08 ¾î¸°À̳¯ (ÈÞ°­) ÀÌ·Ð °­ÀÇ

11

05.12 / 05.15 ÀÌ·Ð °­ÀÇ °³±³±â³äÀÏ (ÈÞ°­)

12

05.19 / 05.22 Team Practice #5  Team Presentation #4 (1st System Testing)
   - Á¦Ãâ±âÇÑ : 05.22 10:00

13

05.26 / 05.29 ÀÌ·Ð °­ÀÇ + "½Ç¸®Äܹ븮 ÃÊû°­¿¬"

14

06.02 / 06.05 Team Presentation #5 (2nd System Testing & Static Analysis)
   - Á¦Ãâ±âÇÑ : 06.02 10:00
ÈÞ°­

15

06.09 / 06.12 À̷а­ÀÇ Team Presentation #6 (Final Presentation - English)

16

06.16 / 06.19 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
¡¡


¡¡

¡¡