À§Ä¡ ÀÛ¼º

Å×½ºÆ® À§Ä¡´Â Å×½ºÆ® ½ºÀ§Æ®¸¦ ½ÇÇàÇÒ ÄÄÇ»Å͸¦ ½Äº°ÇÕ´Ï´Ù.

¹èÄ¡ ÀÛ¼º ´Ü°è¿Í µ¿ÀÏÇÑ ¼ø¼­·Î ´Ü°è¸¦ ¹Ýº¹ÇϵÇ, ÀÌ ¿¹Á¦ÀÇ °æ¿ì testLocation À§Ä¡¸¦ ÀÛ¼ºÇϽʽÿÀ.

  1. Å×½ºÆ® ³×ºñ°ÔÀÌÅÍ¿¡¼­ ¸¶¿ì½º ¿À¸¥ÂÊ ´ÜÃ߸¦ Ŭ¸¯ÇÏ°í »õ·Î ÀÛ¼º > Å×½ºÆ® ¿ä¼Ò...¸¦ ¼±ÅÃÇϽʽÿÀ.
  2. Å×½ºÆ® ÀÚ»êÀ» ¿­°í À§Ä¡¸¦ ¼±ÅÃÇϽʽÿÀ.
  3. ´ÙÀ½À» Ŭ¸¯ÇÏ°í »õ À§Ä¡ ´ëÈ­ »óÀÚ¸¦ ¿©½Ê½Ã¿À.
  4. »óÀ§ Æú´õ¸¦ ¼±ÅÃÇÏ°í ¾ÆÆ¼ÆÑÆ® À̸§(testLocation)À» ÀÔ·ÂÇϽʽÿÀ.
  5. ´ÙÀ½À» Ŭ¸¯ÇÏ°í ¿øÇÏ´Â °æ¿ì À§Ä¡ ¼³¸íÀ» ÀÔ·ÂÇϽʽÿÀ.
  6. ¿Ï·á¸¦ Ŭ¸¯ÇϽʽÿÀ. À§Ä¡ ÆíÁý±â°¡ ¿­¸³´Ï´Ù.

´Ù¸¥ ÄÄÇ»ÅÍ¿¡¼­ Å×½ºÆ®¸¦ ½ÇÇàÇÏ·Á¸é °ü·Ã À§Ä¡ÀǠȣ½ºÆ® À̸§ Çʵ忡 ÇØ´ç ÄÄÇ»ÅÍ À̸§À» ÀÔ·ÂÇØ¾ß ÇÕ´Ï´Ù.

TPTP JUnit Å×½ºÆ®¸¦ ¿ø°ÝÀ¸·Î ¹èÄ¡ÇÏ´Â °æ¿ì, ¿©·¯ °¡Áö »çÇ×À» °í·ÁÇØ¾ß ÇÕ´Ï´Ù. ÀÌ ³»¿ëÀº TPTP JUnit Å×½ºÆ® °ü·Ã ¹®¼­¿¡¼­ ¼³¸íÇÕ´Ï´Ù.

°ü·Ã °³³ä
¾ÆÆ¼ÆÑÆ® ÆíÁý±â - °³¿ä
¹èÄ¡ ÆíÁý±â - °³¿ä
À§Ä¡ ÆíÁý±â - °³¿ä

°ü·Ã Ÿ½ºÅ©
¹èÄ¡ ÀÛ¼º
¾ÆÆ¼ÆÑÆ® ÀÛ¼º
¾ÆÆ¼ÆÑÆ®-À§Ä¡ ½Ö ÀÛ¼º