JUnit Å×½ºÆ® ½ºÀ§Æ® ÆíÁý±â´Â JUnit Å×½ºÆ®¿¡ ´ëÇÑ ¸Þ¼Òµå¸¦ ÀÛ¼º ¹× Á¦°ÅÇÒ ¼ö ÀÖÀ¸¸ç ÇØ´ç ¸Þ¼Òµå È£Ãâ ¹æ¹ýÀ» Á¦¾îÇÒ ¼ö ÀÖ½À´Ï´Ù. JUnit Å×½ºÆ® ½ºÀ§Æ® ÆÄÀÏÀ» µÎ ¹ø Ŭ¸¯Çϸé TPTP JUnit Å×½ºÆ® ½ºÀ§Æ® ÆíÁý±â°¡ ¿¸³´Ï´Ù. °³¿ä, Å×½ºÆ® ¸Þ¼Òµå ¹× µ¿ÀÛ ÅÇÀÌ Ç¥½ÃµË´Ï´Ù.
°³¿ä(À§ ÂüÁ¶)´Â TPTP JUnit Å×½ºÆ®ÀÇ À̸§(ÀÌ ¿¹Á¦ÀÇ °æ¿ì SimpleTest), ÇØ´ç ¼³¸í(¿¹: '¿¹Á¦ TPTP JUnit Å×½ºÆ®'), ÆÄÀÏ °æ·Î (/javaProject/junit/samples/SimpleTest.testsuite), °ü·Ã Java ÆÐŰÁö À̸§(junit.samples) ¹× Java Ŭ·¡½º À̸§(SimpleTest)°ú °°Àº ´Ù¾çÇÑ Æ¯¼ºÀ» ·¹ÄÚµåÇÕ´Ï´Ù. Java ÆÐŰÁö À̸§Àº Á÷Á¢ ÀÔ·ÂÇϰųª ã¾Æº¸±â ´ÜÃ߸¦ »ç¿ëÇÏ¿© Ž»öÇÒ ¼ö ÀÖ½À´Ï´Ù.
Å×½ºÆ® ¸Þ¼Òµå ÅÇÀÌ ¼±ÅõǴ °æ¿ì, º¸±â°¡ ÆíÁý±âÀÇ Å×½ºÆ® ¸Þ¼Òµå ¼½¼ÇÀ¸·Î ÀüȯÇÕ´Ï´Ù.
Å×½ºÆ® ¸Þ¼Òµå¸¦ ¼±ÅÃÇϸé ÇØ´ç À̸§ ¹× ¼³¸í(ÀÖ´Â °æ¿ì)ÀÌ ¿À¸¥ÂÊ ºÐÇÒâ¿¡ Ç¥½ÃµË´Ï´Ù.
Å×½ºÆ® ¸Þ¼Òµå À̸§À» º¯°æÇÏ·Á¸é ¿ÞÂÊ ºÐÇÒâ¿¡¼ Å×½ºÆ® ¸Þ¼Òµå¸¦ ¼±ÅÃÇÑ ÈÄ À̸§ ÅØ½ºÆ® »óÀÚ¸¦ ÆíÁýÇϽʽÿÀ. Å×½ºÆ® ÄÉÀ̽º ¼³¸íÀ» º¯°æÇÏ·Á¸é ¿ÞÂÊ ºÐÇÒâ¿¡¼ Å×½ºÆ® ¸Þ¼Òµå¸¦ ¼±ÅÃÇÑ ÈÄ ¼³¸í ÅØ½ºÆ® »óÀÚ¸¦ ÆíÁýÇϽʽÿÀ. Ãß°¡ ¹× Á¦°Å ´ÜÃ߸¦ »ç¿ëÇÏ¿© °¢°¢ Å×½ºÆ® ¸Þ¼Òµå¸¦ Ãß°¡ÇÏ°í ¼±ÅÃÇÑ ±âÁ¸ Å×½ºÆ® ¸Þ¼Òµå¸¦ Á¦°ÅÇϽʽÿÀ. À§·Î ¹× ¾Æ·¡·Î ´ÜÃ߸¦ »ç¿ëÇÏ¿© Å×½ºÆ® ¸Þ¼Òµå ¼ø¼¸¦ º¯°æÇϽʽÿÀ.
°³¿ä ÅÇ º¸±â¿¡¼ Å×½ºÆ® µ¿ÀÛÀ» ÄÚµå·Î ±¸Çö ¼±ÅöõÀ» ¼±ÅÃÇϸé ÇØ´ç µ¿ÀÛÀº ¼ø¼öÇÏ°Ô Äڵ带 ±â¹ÝÀ¸·Î ÇÕ´Ï´Ù. Áï, Å×½ºÆ® ¸Þ¼Òµå´Â Á¤È®È÷ Å×½ºÆ® ¸Þ¼Òµå º¸±â¿¡ Ç¥½ÃµÈ ´ë·Î ½ÇÇàµË´Ï´Ù. ÀÌ´Â JUnit Å×½ºÆ®¸¦ TPTP JUnit Å×½ºÆ®·Î °¡Á®¿Â °á°ú·Î ÀÛ¼ºµÈ TPTP JUnit Å×½ºÆ®¿¡ ´ëÇÑ À§Ä¡ÀÔ´Ï´Ù.
Å×½ºÆ® µ¿ÀÛÀ» ÄÚµå·Î ±¸Çö ¼±ÅöõÀ» Áö¿ì¸é Ãß°¡ µ¿ÀÛ ÅÇÀ» »ç¿ëÇÒ ¼ö ÀÖ½À´Ï´Ù. µ¿ÀÛ ±â´ÉÀº ¼öµ¿À¸·Î ÀÛ¼ºµÈ TPTP JUnit Å×½ºÆ®¿¡ ´ëÇØ¼¸¸ »ç¿ëÇØ¾ß ÇÕ´Ï´Ù.
µ¿ÀÛ ÅÇÀ» »ç¿ëÇϸé Å×½ºÆ® ¸Þ¼Òµå°¡ ½ÇÇàµÇ´Â ºóµµ¿Í ¼ø¼¸¦ ÁöÁ¤ÇÒ ¼ö ÀÖ½À´Ï´Ù. ÀÌ ÀÛ¾÷Àº È£Ãâ°ú ·çÇÁ¸¦ ÅëÇØ ¼öÇàµË´Ï´Ù. È£ÃâÀ» »ç¿ëÇÏ¸é ½ÇÇàÇÒ Å×½ºÆ® ¸Þ¼Òµå¿Í ÇØ´ç ¼ø¼¸¦ ÁöÁ¤ÇÒ ¼ö ÀÖÀ¸¸ç ·çÇÁ¸¦ »ç¿ëÇÏ¸é ¼±ÅÃÇÑ Å×½ºÆ® ¸Þ¼Òµå¸¦ ÇÑ ¹ø ¶Ç´Â ¿©·¯ ¹ø ¹Ýº¹ÇÒ ¼ö ÀÖ´Â ·çÇÁ¿¡ ÀÓº£µåÇÒ ¼ö ÀÖ½À´Ï´Ù. µ¿ÀÛ¿¡´Â È£Ãâ°ú ·çÇÁ¸¦ È¥ÇÕÇÏ¿© Æ÷ÇÔÇÒ ¼ö ÀÖ½À´Ï´Ù. ´ÜÀÏ ·çÇÁ¸¦ ¼³Á¤ÇÏ·Á¸é ´ÙÀ½À» ¼öÇàÇϽʽÿÀ.
µ¿ÀÛ ÅÇÀ» ¼±ÅÃÇϰí Ãß°¡... ´ÜÃ߸¦ Ŭ¸¯ÇÑ ÈÄ ·çÇÁ¸¦ ¼±ÅÃÇϽʽÿÀ. ´ÜÀÏ ·çÇÁ Á¦¾îÇÏ¿¡ µ¿ÀÛÀÌ ¼³Á¤µË´Ï´Ù. À̸§ ÀÔ·Â Çʵ忡´Â ±âº»°ª ·çÇÁ 1ÀÌ Ç¥½ÃµÇ°í ¼³¸í Çʵå´Â ºñ¾î ÀÖ½À´Ï´Ù.
±âº»ÀûÀ¸·Î, ·çÇÁ ¹Ýº¹ Ƚ¼ö´Â 1ÀÔ´Ï´Ù. ÀÌ °ªÀº ·çÇÁ ¹Ýº¹ Ƚ¼ö¸¦ ÁöÁ¤ÇÏ´Â ¹Ýº¹ Ƚ¼ö ¼±ÅöõÀ» ÅëÇØ º¯°æÇÒ ¼ö ÀÖ½À´Ï´Ù.
µ¿±â¸¦ ¼±ÅÃÇÏ°í ¿©·¯ ¹Ýº¹À» ÁöÁ¤ÇÏ¸é ·çÇÁ ¹Ýº¹ÀÌ ¼øÂ÷ÀûÀ¸·Î ½ÇÇàµË´Ï´Ù. µ¿±â¸¦ Áö¿ì°í ¿©·¯ ¹Ýº¹À» ÁöÁ¤ÇÏ¸é ·çÇÁ ¹Ýº¹ÀÌ µ¿½Ã¿¡ ½ÇÇàµË´Ï´Ù.
À§·Î ¹× ¾Æ·¡·Î ´ÜÃߴ ȣÃâ ¹× ·çÇÁÀÇ »ó´ë À§Ä¡¸¦ º¯°æÇÏ´Â µ¥ »ç¿ëµË´Ï´Ù. Ãß°¡ ¹× »ðÀÔ ´ÜÃß´Â ¼±ÅÃÇÑ ·çÇÁ ¶Ç´Â È£ÃâÀ» Ãß°¡ÇÏ´Â µ¥ »ç¿ëµÇ¸ç Á¦°Å ´ÜÃß´Â ¼±ÅÃÇÑ ·çÇÁ ¶Ç´Â È£ÃâÀ» »èÁ¦ÇÕ´Ï´Ù.
·çÇÁ´Â ÁßøµÉ ¼ö ÀÖÀ¸¸ç, È£ÃâÀº ·çÇÁ ¹Û¿¡ Á¸ÀçÇÒ ¼ö ÀÖ½À´Ï´Ù.
ALT-k ¶Ç´Â ALT-s¸¦ ÀÔ·ÂÇÏ¸é ÆíÁý±â Ä¿¼°¡ °¢°¢ ÆÐŰÁö À̸§ ¶Ç´Â Ŭ·¡½º À̸§ ÇʵåÀÇ ÅØ½ºÆ® »óÀÚ ½ÃÀÛ À§Ä¡·Î À̵¿µË´Ï´Ù.
°ü·Ã Ÿ½ºÅ©
Å×½ºÆ® ¸Þ¼Òµå Ãß°¡