1.½ÇÁ¦Å×½ºÆ®ÀÇ Á¤ÇÕ¼º¿©ºÎÆÇ´Ü ¸ÞÄ¿´ÏÁò °¡.°³³ä - Å×½ºÆ®ÄÉÀ̽º¿¡ ´ëÇÑ ¿¹Ãø ½ÃÇè°á°ú¸¦ »êÁ¤ÇÏ¿© ½ÇÁ¦ Å×½ºÆ® °á°úÀÇ Á¤ÇÕ¼º ¿©ºÎ¸¦ ÆÇ´ÜÇÏ´Â ¸ÞÄ¿´ÏÁòÀ̳ª ÀåÄ¡ ³ª.Çʿ伺 1) Å×½ºÆ® È¿À²¼º(¹Ýº¹Å×½ºÆ®, ȸ±ÍÅ×½ºÆ® µîÀÇ °á°úÈ®ÀÎ ÀýÂ÷ °£¼ÒÈ­) 2) ±âÁؼ³Á¤(Å×½ºÆ® °á°úÀÇ Åë°ú¿©ºÎ ÆÇ´ÜÀ» À§ÇÑ Á¤·®Àû ±âÁØÁ¦°ø) 2. °¡.±¸¼ºµµ: ¿ä±¸¸í¼¼ -> ÀÚµ¿È­µµ±¸ -> TC -> ºñ±³ ->ºÐ¼®/º¸°í¡é -> Å×½ºÅÍ -> Å×½ºÆ®¿À¶óŬ -> ºñ±³(DB ->°³¼±È°µ¿ ³ª.À¯Çü(¼³¸í, Àû¿ë¹üÀ§) 1) True Oracle : ¸ðµçÀԷ°ª¿¡ ´ëÇØ ¿øÇÏ´Â °á°úµéÀ» »ý¼ºÇÏ¿© ¹ß°ßµÈ ¿À·ù¸¦ ³õÄ¡Áö ¾Ê°í °ËÃâ ->ȸ±ÍÅ×½ºÆ®, ÀÓº£µðµå SW 2) Sampling Oracle : ƯÁ¤ ¸î¸î ÀԷ°ªµé¿¡ ´ëÇØ¼­¸¸ ¿øÇÏ´Â °á°ú¸¦ Á¦°ø->Åë°èºÐ¼® ÇÁ·Î±×·¥ 3) Heuristic Oracle : ƯÁ¤ ÀԷ°ªµé¿¡ ´ëÇØ¼­´Â »ùÇøµ ¿À¶óŬ °æ¿ìó·³ ¿Ã¹Ù¸¥ °á°ú¸¦ Á¦°øÇϰí, ³ª¸ÓÁö ÀԷ°ªµé¿¡ ´ëÇØ¼­´Â ÈÞ¸®½ºÆ½À¸·Î ó¸®->¿¬±¸¿ë SW, ÀΰøÁö´É SW 4) Consistent Oracle : »ó¾÷¿ë Å×½ºÆ®µµ±¸¿¡¼­ Áö¿øÇÏ´Â Å×½ºÆ® ¿À¶óŬ ÇüÅ·μ­ Regression Test¿¡¼­ ¼öÁ¤µÇ±âÀüÀÇ ÇÁ·Î±×·¥ ½ÇÇà°á°ú¿Í ¼öÁ¤µÈ ÈÄÀÇ Å×½ºÆ® ½ÇÇà°á°ú¸¦ ºñ±³ÇÏ´Â ¿ªÇÒ ´ã´çÇϸç, ÀÚµ¿È­ÇÒ ¼ö ÀÖÀ½ 3. °¡.ÀÛ¼º½Ã ÁÖÀÇ»çÇ× - Å×½ºÆ® ¿À¶óŬ ÀÛ¼º°ú °³¹ßÀÇ Á¢±Ù¹ýÀÌ µ¿ÀÏÇÑ °æ¿ì ¿À·ùÀÇ ¹ß°ßÀÌ ¾î·ÁÀ²¼öµµ ÀÖÀ½. º°µµÀÇ ÀÚµ¿È­ µµ±¸ Ȱ¿ë°ËÅä ³ª.Ȱ¿ë¹æ¾È - Å×½ºÆ® ¿À¶óŬ °ü¸®¸¦ ÅëÇÏ¿© À¯Áöº¸¼ö, ¾÷±×·¹À̵å, ȸ±ÍÅ×½ºÆ®½Ã ±âÁ¸ÀÇ µ¿ÀÛ»óŸ¦ °ËÁõÇÏ´Â ¹æ¹ýÀ¸·Î Ȱ¿ë ¾Æ³¯·Î±× ½Ã°è°¡ 12½Ã°¡ ³Ñ¾î°¡¸é ¿ÀÈÄÀϰÍÀÌ´Ù Á¤µµ.. »çÀΰªÀÇ ÆÄµ¿ ½ÇÁ¦(Âü)¿À¶ó(Á¤»óÀûÅ×½ºÆ® °á°úÀç»ç¿ë,ȸ±ÍÅ×½ºÆ®¿¡ »ç¿ë) ÃßÁ¤(ÈÞ¸®½ºÆ½)¿À¶ó(½ÇÇè°á°ú,¼öÄ¡µ¥ÀÌÅÍ, »çÀÎÆÄ¿¡¼­ ¾î´ÀÁ¤µµ Å×½ºÆ®ÈÄ ¹æÇ⺸°í ¾ç¼ö°ªÃßÁ¤) »ùÇøµ¿À¶ó(°æ°è/±¸°£º° ÃßÃâ Å×½ºÆ®, Åë°èÀÚ·á½Ã Ȱ¿ë)