±âÁ¸ JUnit Å×½ºÆ® °¡Á®¿À±â
JUnit Å×½ºÆ®°¡ TPTP ¿ÜºÎ¿¡ ÀÖ´Â °æ¿ì,
TPTP JUnit Å×½ºÆ®·Î °¡Á®¿Ã ¼ö ÀÖ½À´Ï´Ù.
´Ü°è 1
Å×½ºÆ®°¡ ±âÁ¸ Eclipse Java ÇÁ·ÎÁ§Æ® ³»ºÎ¿¡
ÀÌ¹Ì ÀÖ´Â °æ¿ì, ´Ü°è 2·Î À̵¿ÇϽʽÿÀ.
-
±×·¸Áö ¾ÊÀº °æ¿ì, ÆÄÀÏ >
°¡Á®¿À±â > ÆÄÀÏ ½Ã½ºÅÛÀ» Ŭ¸¯ÇÏ¿© ¸ÕÀú ÆÄÀÏ
½Ã½ºÅÛÀÇ Java ¼Ò½º ¹× Ŭ·¡½º ÆÄÀÏÀ» Java ÇÁ·ÎÁ§Æ®·Î °¡Á®¿À½Ê½Ã¿À.
-
´ÙÀ½À» Ŭ¸¯ÇϽʽÿÀ. ÆÄÀÏ ½Ã½ºÅÛ °¡Á®¿À±â ´ëÈ »óÀÚ°¡ ½ÇÇàµË´Ï´Ù.
-
Çʼö µð·ºÅ丮¸¦ ã¾Æº» ÈÄ °ü·Ã ÆÄÀÏÀ»
Ž»öÇÏ¿© ¼±ÅÃÇϽʽÿÀ. ¿Ï·á¸¦ Ŭ¸¯ÇϽʽÿÀ.
´Ü°è 2
-
ÆÄÀÏÀÌ Eclipse Workbench¿¡ ÀÖ´Â °æ¿ì,
ÆÄÀÏ > °¡Á®¿À±â > JUnit Å×½ºÆ®¸¦ TPTP·Î¸¦
Ŭ¸¯ÇÏ¿© Java ÇÁ·ÎÁ§Æ®ÀÇ °ü·Ã Java Ŭ·¡½º ÆÄÀÏÀ» °¡Á®¿À½Ê½Ã¿À.
-
´ÙÀ½À» Ŭ¸¯ÇÏ¿© JUnit Å×½ºÆ® ¼±ÅÃ
´ëÈ »óÀÚ¸¦ Ç¥½ÃÇϽʽÿÀ.
-
Çʼö ÆÄÀÏÀ» Ž»öÇÑ ÈÄ ¿Ï·á¸¦ Ŭ¸¯ÇϽʽÿÀ.
-
°¡Á®¿À±â Á¶ÀÛÀÌ ¼º°øÇϸé TPTP JUnit Å×½ºÆ®
ÆÄÀÏÀÌ °¡Á®¿Â ÆÐŰÁö ¶Ç´Â Ŭ·¡½º¿Í ¿¬°üµË´Ï´Ù.
°¡Á®¿À±â ¸¶¹ý»ç¿¡´Â ¾ÆÁ÷ TPTP·Î °¡Á®¿ÀÁö ¾ÊÀº ÀÛ¾÷°ø°£ÀÇ ¸ðµç ±âÁ¸ JUnit Å×½ºÆ® ÄÉÀ̽º°¡ Ç¥½ÃµË´Ï´Ù. ÀÌ ¸ñ·ÏÀÌ ºñ¾îÀÖ´Â °æ¿ì
ÀÛ¾÷°ø°£¿¡¼ JUnit Å×½ºÆ®°¡ ¾ø¾ú°Å³ª ¸ðµç ±âÁ¸ JUnit Å×½ºÆ® Ŭ·¡½º¸¦ ÀÌ¹Ì TPTP·Î °¡Á®¿ÔÀ½À» ÀǹÌÇÕ´Ï´Ù.