TPTP JUnit Å×½ºÆ®´Â ¼öµ¿À¸·Î ÀÛ¼ºÇϰųª TPTP ¿ÜºÎ¿¡ ÀÖ´Â ±âÁ¸ JUnit Å×½ºÆ®¸¦ TPTP JUnit Å×½ºÆ®·Î °¡Á®¿Í ÀÛ¼ºÇÒ ¼ö ÀÖ½À´Ï´Ù. ÀÌ Å×½ºÆ®¿¡¼ TPTP JUnit Å×½ºÆ® µ¿ÀÛ ±â´ÉÀ» ÀÌ¿ëÇÏ·Á´Â °æ¿ì Å×½ºÆ®¸¦ ¼öµ¿À¸·Î ÀÛ¼ºÇØ¾ß ÇÕ´Ï´Ù.
JUnit Å×½ºÆ®¸¦ ÀÛ¼ºÇÏ·Á¸é Java ÇÁ·ÎÁ§Æ®°¡ ÇÊ¿äÇÕ´Ï´Ù.
¸¶¹ý»çÀÇ µÎ ¹øÂ° ¹× ¼¼ ¹øÂ° ÆäÀÌÁö´Â ¼±ÅûçÇ×ÀÔ´Ï´Ù. Áï, ù ¹øÂ° ÆäÀÌÁö¿¡¼ ¸¶¹ý»ç¸¦ ¿Ï·áÇÒ ¼ö ÀÖ½À´Ï´Ù. ¶ÇÇÑ ÆäÀÌÁö 1°ú ÆäÀÌÁö 2¿¡¼ ¿äûµÇ´Â Á¤º¸ »çÀÌÀÇ Â÷ÀÌ´Â ´ÙÀ½°ú °°½À´Ï´Ù. ù ¹øÂ° ÆäÀÌÁö¿¡¼´Â ¼Ò½º ÄÚµåÀÇ À̸§°ú À§Ä¡¿¡ ´ëÇØ ¹¯´Â ¹Ý¸é, µÎ ¹øÂ° ÆäÀÌÁö¿¡¼´Â TPTP Å×½ºÆ®(¸ðµ¨)ÀÇ À̸§°ú À§Ä¡¸¦ ¹¯½À´Ï´Ù. ±âº»ÀûÀ¸·Î´Â ¸ðµÎ µ¿ÀÏÇÕ´Ï´Ù.
(C) Copyright IBM Corporation 2000, 2006. All Rights Reserved.