Workbench À§Ä¡ ÀÛ¼º
Workbench À§Ä¡¸¦ »ç¿ëÇÏ¿© TPTP JUnit Ç÷¯±×ÀÎ Å×½ºÆ®°¡ ½ÇÇàµÉ À§Ä¡¸¦ ÁöÁ¤ÇÕ´Ï´Ù.
-
ÆÄÀÏ > »õ·Î ÀÛ¼º > ±âŸ > Workbench À§Ä¡
> Å×½ºÆ® > Å×½ºÆ® ÀÚ»êÀ» ¼±ÅÃÇϽʽÿÀ. ´ÙÀ½À» Ŭ¸¯ÇϽʽÿÀ.
-
"»óÀ§ Æú´õ ÀÔ·Â ¶Ç´Â ¼±ÅÃ" Çʵ忡 pluginProj/src¸¦
ÀÔ·ÂÇϽʽÿÀ. À̸§ Çʵ忡 workLOC¸¦ ÀÔ·ÂÇϽʽÿÀ.
-
´ÙÀ½À» Ŭ¸¯ÇÏ¿© Workbench ¼¼ºÎ»çÇ× ´ëÈ »óÀÚ¸¦ ½ÇÇàÇϽʽÿÀ.
-
·ÎÄà ¹èÄ¡°¡ ÇÊ¿äÇÑ °æ¿ì '·ÎÄà Workbench¿¡¼'¸¦ ¼±ÅÃÇϽʽÿÀ.
±×·¸Áö ¾ÊÀº °æ¿ì '´Ù¸¥ Workbench¿¡¼'¸¦ ¼±ÅÃÇϰí È£½ºÆ®
À̸§, ÁÖ¼Ò ¹× °ü·Ã Eclipse ¼³Ä¡ µð·ºÅ丮¸¦ ÀÔ·ÂÇϽʽÿÀ.
-
µ¿ÀÏÇÑ Eclipse ÀνºÅϽº¸¦ ´Ù½Ã »ç¿ëÇÏ·Á¸é(Áï,
½Ã½ºÅÛ Á¾·áÇÏÁö ¾Ê°í Å×½ºÆ® ½ÇÇà °£¿¡ ´Ù½Ã ½ÃÀÛÇÏ·Á¸é)
'µ¿ÀÏÇÑ ÀνºÅϽº ´Ù½Ã »ç¿ë Çã¿ë' ¼±ÅöõÀ» ¼±ÅÃÇϽʽÿÀ.
¸¶Âù°¡Áö·Î, headless Workbench°¡ ÇÊ¿äÇϰųª
UI ½º·¹µå¿¡¼ Å×½ºÆ®¸¦ ½ÇÇàÇÏ·Á¸é
´ëÈ »óÀÚ¿¡¼ ÇØ´ç ¼±ÅöõÀ» ¼±ÅÃÇϽʽÿÀ.
-
´ÙÀ½À» Ŭ¸¯Çϰí ÇÊ¿äÇÑ °æ¿ì
Workbench À§Ä¡¿¡ ´ëÇÑ ¼³¸íÀ» ÀÔ·ÂÇϽʽÿÀ.
-
¿Ï·á¸¦ Ŭ¸¯ÇϽʽÿÀ. °³¿ä ÅÇÀÌ ¿¸° »óÅ·Î
Workbench À§Ä¡ ÆíÁý±â°¡ ¿¸³´Ï´Ù. ÅÇÀÌ ¿¸®Áö
¾ÊÀ¸¸é workLOC À§Ä¡ ÆÄÀÏÀ» µÎ ¹ø Ŭ¸¯ÇϽʽÿÀ.