¼öµ¿ Å×½ºÆ® ÀÛ¼º
ÀÌ ÁÖÁ¦¿¡¼´Â ¼öµ¿ Å×½ºÆ® ½ºÀ§Æ®¸¦ ÀÛ¼ºÇÏ´Â ¹æ¹ýÀ» ¼³¸íÇÕ´Ï´Ù.
- ÀÏ¹Ý ÇÁ·ÎÁ§Æ®¸¦ ÀÛ¼ºÇϽʽÿÀ.
- Å×½ºÆ® Perspective â> Perspective ¿±â > ±âŸ... > Å×½ºÆ®¸¦ ¿©½Ê½Ã¿À.
- ÆÄÀÏ > »õ·Î ÀÛ¼º > ±âŸ¸¦ Ŭ¸¯ÇϽʽÿÀ. »õ·Î ÀÛ¼º ´ëÈ »óÀÚ°¡ ³ªÅ¸³³´Ï´Ù.
- Å×½ºÆ® Æú´õ¸¦ ÆîÄ£ ÈÄ TPTP ¼öµ¿ Å×½ºÆ®¸¦ ¼±ÅÃÇϽʽÿÀ.
- ´ÙÀ½À» Ŭ¸¯Çϰí À§Ä¡(1´Ü°è¿¡¼ ÀÛ¼ºµÈ ÇÁ·ÎÁ§Æ®), À̸§ ¹× ¼öµ¿ Å×½ºÆ® ½ºÀ§Æ®(¿¹: exampleManualTest)¸¦ ¼±ÅÃÇϽʽÿÀ.
- ´ÙÀ½À» Ŭ¸¯ÇÏ°í ¿øÇÏ´Â °æ¿ì ¼öµ¿ Å×½ºÆ® ½ºÀ§Æ®¿¡ ´ëÇÑ ¼³¸íÀ» ÀÔ·ÂÇϽʽÿÀ. ¿Ï·á¸¦ Ŭ¸¯ÇϽʽÿÀ.
- ¼öµ¿ Å×½ºÆ® ½ºÀ§Æ® ÆÄÀÏ(exampleManualTest.testsuite)ÀÌ ÀÛ¼ºµÇ°í Å×½ºÆ® ³×ºñ°ÔÀÌÅÍ¿¡ Ç¥½ÃµÇ¾î ¼öµ¿ Å×½ºÆ® ÆíÁý±â¿¡¼ ¿¸³´Ï´Ù.
°ü·Ã Ÿ½ºÅ©
ÇÁ·ÎÁ§Æ® ÀÛ¼º
¼öµ¿ Å×½ºÆ® ÆíÁý
¼öµ¿ Å×½ºÆ® ½ÇÇà