¼öµ¿ Å×½ºÆ® ÀÛ¼º

ÀÌ ÁÖÁ¦¿¡¼­´Â ¼öµ¿ Å×½ºÆ® ½ºÀ§Æ®¸¦ ÀÛ¼ºÇÏ´Â ¹æ¹ýÀ» ¼³¸íÇÕ´Ï´Ù.

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

°ü·Ã Ÿ½ºÅ©
ÇÁ·ÎÁ§Æ® ÀÛ¼º
¼öµ¿ Å×½ºÆ® ÆíÁý
¼öµ¿ Å×½ºÆ® ½ÇÇà