Workbench À§Ä¡ ÀÛ¼º

Workbench À§Ä¡¸¦ »ç¿ëÇÏ¿© TPTP JUnit Ç÷¯±×ÀÎ Å×½ºÆ®°¡ ½ÇÇàµÉ À§Ä¡¸¦ ÁöÁ¤ÇÕ´Ï´Ù.

  1. ÆÄÀÏ > »õ·Î ÀÛ¼º > ±âŸ > Workbench À§Ä¡ > Å×½ºÆ® > Å×½ºÆ® ÀÚ»êÀ» ¼±ÅÃÇϽʽÿÀ. ´ÙÀ½À» Ŭ¸¯ÇϽʽÿÀ.
  2. "»óÀ§ Æú´õ ÀÔ·Â ¶Ç´Â ¼±ÅÃ" Çʵ忡 pluginProj/src¸¦ ÀÔ·ÂÇϽʽÿÀ. À̸§ Çʵ忡 workLOC¸¦ ÀÔ·ÂÇϽʽÿÀ.
  3. ´ÙÀ½À» Ŭ¸¯ÇÏ¿© Workbench ¼¼ºÎ»çÇ× ´ëÈ­ »óÀÚ¸¦ ½ÇÇàÇϽʽÿÀ.
  4. ´ÙÀ½À» Ŭ¸¯Çϰí ÇÊ¿äÇÑ °æ¿ì Workbench À§Ä¡¿¡ ´ëÇÑ ¼³¸íÀ» ÀÔ·ÂÇϽʽÿÀ.
  5. ¿Ï·á¸¦ Ŭ¸¯ÇϽʽÿÀ. °³¿ä ÅÇÀÌ ¿­¸° »óÅ·ΠWorkbench À§Ä¡ ÆíÁý±â°¡ ¿­¸³´Ï´Ù. ÅÇÀÌ ¿­¸®Áö ¾ÊÀ¸¸é workLOC À§Ä¡ ÆÄÀÏÀ» µÎ ¹ø Ŭ¸¯ÇϽʽÿÀ.