Å×½ºÆ® À§Ä¡´Â Å×½ºÆ® ½ºÀ§Æ®¸¦ ½ÇÇàÇÒ ÄÄÇ»Å͸¦ ½Äº°ÇÕ´Ï´Ù.
¹èÄ¡ ÀÛ¼º ´Ü°è¿Í µ¿ÀÏÇÑ ¼ø¼·Î ´Ü°è¸¦ ¹Ýº¹ÇϵÇ, ÀÌ ¿¹Á¦ÀÇ °æ¿ì testLocation À§Ä¡¸¦ ÀÛ¼ºÇϽʽÿÀ.
´Ù¸¥ ÄÄÇ»ÅÍ¿¡¼ Å×½ºÆ®¸¦ ½ÇÇàÇÏ·Á¸é °ü·Ã À§Ä¡ÀÇ È£½ºÆ® À̸§ Çʵ忡 ÇØ´ç ÄÄÇ»ÅÍ À̸§À» ÀÔ·ÂÇØ¾ß ÇÕ´Ï´Ù.
TPTP JUnit Å×½ºÆ®¸¦ ¿ø°ÝÀ¸·Î ¹èÄ¡ÇÏ´Â °æ¿ì, ¿©·¯ °¡Áö »çÇ×À» °í·ÁÇØ¾ß ÇÕ´Ï´Ù. ÀÌ ³»¿ëÀº TPTP JUnit Å×½ºÆ® °ü·Ã ¹®¼¿¡¼ ¼³¸íÇÕ´Ï´Ù.
°ü·Ã °³³ä
¾ÆÆ¼ÆÑÆ® ÆíÁý±â - °³¿ä
¹èÄ¡ ÆíÁý±â - °³¿ä
À§Ä¡ ÆíÁý±â - °³¿ä
°ü·Ã Ÿ½ºÅ©
¹èÄ¡ ÀÛ¼º
¾ÆÆ¼ÆÑÆ® ÀÛ¼º
¾ÆÆ¼ÆÑÆ®-À§Ä¡ ½Ö ÀÛ¼º