Å×½ºÆ® ¸Þ¼Òµå Ãß°¡

ÀÌ ÁÖÁ¦´Â JUnit Å×½ºÆ®¿¡ Å×½ºÆ® ¸Þ¼Òµå¸¦ Ãß°¡ÇÏ´Â ¹æ¹ýÀ» ¿¹¸¦ µé¾î ¼³¸íÇÕ´Ï´Ù. ÀÌ ¿¹Á¦¿¡¼­´Â testAccount, testOrder ¹× testInvoice Å×½ºÆ® ¸Þ¼Òµå·Î TPTP JUnit Å×½ºÆ®¸¦ ÀÛ¼ºÇØ¾ß ÇÕ´Ï´Ù. Å×½ºÆ®¿¡¼­´Â ÇÑ ·çÇÁ¿¡ ÀÖ´Â testAccount ¹× testOrder¸¦ ¼¼ ¹ø ¹Ýº¹ÇÏ¿© ½ÇÇàÇÑ ÈÄ testInvoice¸¦ ½ÇÇàÇØ¾ß ÇÕ´Ï´Ù.

JUnit Å×½ºÆ®¿¡ Å×½ºÆ® ¸Þ¼Òµå Ãß°¡

Å×½ºÆ® ¸Þ¼Òµå ÅÇÀ» ¼±ÅÃÇϽʽÿÀ. Ãß°¡ ´ÜÃ߸¦ Ŭ¸¯Çϰí, À̸§ ÅØ½ºÆ® »óÀÚ¿¡¼­ °ªÀ» ÆíÁýÇÏ¿© ÀÚµ¿À¸·Î ÀÛ¼ºµÈ test1 ¸Þ¼Òµå¸¦ testAccount·Î ¹Ù²Ù½Ê½Ã¿À. JUnit Å×½ºÆ® ÆíÁý±â ÁÖÁ¦¿¡¼­ ÀÌ ÆäÀÌÁöÀÇ ´Ù¸¥ À§ÁöÆ®(widget)¿¡ ´ëÇÑ Á¤º¸¸¦ ÂüÁ¶ÇϽʽÿÀ.

 

 

¹Ýº¹Çؼ­ testOrder ¹× testInvoice¸¦ Ãß°¡ÇϽʽÿÀ.

Å×½ºÆ® ¸Þ¼Òµå¿Í ·çÇÁ ¿¬°ü

Å×½ºÆ® ¸Þ¼Òµå¿Í ÀÌÀü¿¡ ÀÛ¼ºÇÑ ·çÇÁ¸¦ ¿¬°ü½ÃŰ·Á¸é µ¿ÀÛ ÅÇÀ¸·Î ÀüȯÇÏ¿© ·çÇÁ¸¦ ¼±ÅÃÇÑ ÈÄ Ãß°¡... ´ÜÃ߸¦ Ŭ¸¯Çϰí È£ÃâÀ» ¼±ÅÃÇϽʽÿÀ.

ÀÌÁ¦ Å×½ºÆ® È£Ãâ ´ëÈ­ »óÀÚ¿¡¼­ testAccount ¹× testOrder¸¦ ¼±ÅÃÇϽʽÿÀ. <ctrl> ۸¦ Ŭ¸¯ÇÏ¸é µÎ °¡Áö¸¦ ÇÔ²² ¼±ÅÃÇÒ ¼ö ÀÖ½À´Ï´Ù. ÀÛ¾÷°ø°£ÀÇ ´Ù¸¥ ½ºÀ§Æ®¿¡¼­ Å×½ºÆ®¸¦ ¼±ÅÃÇÒ ¼ö ÀÖ½À´Ï´Ù.

È®ÀÎÀ» Ŭ¸¯ÇϽʽÿÀ. testAccount ¹× testOrder°¡ ÀÌÁ¦ ·çÇÁ¿¡ ÀÓº£µåµË´Ï´Ù.

testInvoice Å×½ºÆ® ¸Þ¼Òµå¸¦ Æ÷ÇÔÇÏ·Á¸é ·çÇÁ 1 ¼±ÅÃÀ» ÁßÁöÇϰí Ãß°¡...¸¦ Ŭ¸¯ÇÑ ÈÄ testInvoice¸¦ ¼±ÅÃÇϰí È®ÀÎÀ» Ŭ¸¯ÇϽʽÿÀ. µ¿ÀÛÀº ¾Æ·¡ È­¸é ĸó¿Í °°ÀÌ Ç¥½ÃµÇ¾î¾ß ÇÕ´Ï´Ù. testAccount ¹× testOrder¿¡ ´ëÇÑ È£ÃâÀ» Æ÷ÇÔÇÏ´Â ·çÇÁ¿Í testInvoice¿¡ ´ëÇÑ È£ÃâÀ» Æ÷ÇÔÇÏ´Â ·çÇÁ°¡ Â÷·Ê·Î Ç¥½ÃµË´Ï´Ù.

 

¿¬°üµÈ Java

ÀÌ µ¿ÀÛ ÇÁ·Î¼¼½ºÀÇ °á°ú´Â ½ÇÇàµÉ ¶§ ÁöÁ¤µÈ Å×½ºÆ® µ¿ÀÛÀ» ¿¡¹Ä·¹ÀÌÆ®ÇÏ´Â TPTP ÀÛ¼º Java ¼Ò½º°¡ µË´Ï´Ù. Java ¼Ò½º¿¡´Â TPTP JUnit Å×½ºÆ®¿Í µ¿ÀÏÇÑ À̸§ÀÌ ÁöÁ¤µÇÁö¸¸ À¯ÇüÀº .java(bPUnit.java)ÀÔ´Ï´Ù. ¶ÇÇÑ testAccount, testOrder ¹× testInvoice ¸Þ¼Òµå¿¡ ´ëÇÑ ½ºÅÓÀÌ Æ÷ÇԵ˴ϴÙ. ¿¹¸¦ µé¾î, testAccount ¸Þ¼Òµå´Â ´ÙÀ½°ú ºñ½ÁÇÕ´Ï´Ù.

public void testaccount() throws Exception
{
	// Enter your code here
}

Å×½ºÆ®ÀÇ Çʼö ÄÚµå´Â ÁÖ¼® À§Ä¡(// Enter your code here)¿¡ »ðÀԵǾî¾ß ÇÕ´Ï´Ù.

°ü·Ã °³³ä
JUnit Å×½ºÆ® ÆíÁý±â