| ModelJunit. ModelJUnitÀº Model ±â¹Ý Å×½ºÆ®¸¦ Áö¿øÇϱâ À§ÇØ JUnitÀ» È®ÀåÇÏ´Â Java ¶óÀ̺귯¸®ÀÔ´Ï´Ù. |
Áö±Ý ´Ù¿î·Îµå |
ModelJunit. ¼øÀ§ ¹× ¿ä¾à
- °Ô½ÃÀÚ À¥»çÀÌÆ®:
- http://www.cs.waikato.ac.nz/~marku/mbt/modeljunit/
ModelJunit. ű×
ModelJunit. ¼³¸í
ModelJUnitÀº Model ±â¹Ý Å×½ºÆ®¸¦ Áö¿øÇϱâ À§ÇØ JunitÀ» È®ÀåÇÏ´Â Java ¶óÀ̺귯¸®ÀÔ´Ï´Ù. ModelJUnitÀº Model ±â¹Ý Å×½ºÆ®¸¦ Áö¿øÇϱâ À§ÇØ JunitÀ» È®ÀåÇÏ´Â Java ¶óÀ̺귯¸®ÀÔ´Ï´Ù. ¶óÀ̺귯¸®´Â GNU GPL License.ModelJunit¿¡¼ Ãâ½Ã µÈ ¿ÀÇ ¼Ò½º µµ±¸ÀÔ´Ï´Ù .ModelJunitÀº Java Ŭ·¡½º·Î °£´ÜÇÑ FSM ¶Ç´Â EFSM ¸ðµ¨À» ÀÛ¼ºÇÑ ´ÙÀ½ ÇØ´ç ¸ðµ¨¿¡¼ Å×½ºÆ®¸¦ »ý¼ºÇÏ°í ´Ù¾çÇÑ ¸ðµ¨ Ä¿¹ö¸®Áö ¸ÞÆ®¸¯À» ÃøÁ¤ ÇÒ ¼ö ÀÖ½À´Ï´Ù. ModelJunitÀÇ µÚ¿¡ÀÖ´Â ¿øÄ¢Àº ¿ì¸®ÀÇ Ã¥, ½Ç¿ëÀûÀÎ ¸ðµ¨ ±â¹Ý Å×½ºÆ®ÀÇ ¼½¼Ç 5.2 ¹× 5.3 ¼½¼Ç¿¡ ¼³¸íµÇ¾î ÀÖ½À´Ï´Ù. ModelJunitÀÇ ¸±¸®½º 1.0ÀÔ´Ï´Ù. Java 5.0ÀÇ ÁÖ¼® ±â´ÉÀ» »ç¿ëÇϹǷΠRun 1.5 ÀÌ»óÀÌ ÇÊ¿äÇÕ´Ï´Ù.ÀÌ ¹öÀüÀÇ ModelJunitÀº 2007 ³â 8 ¿ù¿¡ UttingÀÇ Mark UttingÀÇ Google Tech Talk¿¡¼ Á¦½ÃµÇ¾ú½À´Ï´Ù. TalkÀÇ Ã³À½ 30 ºÐÀº ¸ðµ¨ ¼Ò°³ÀÔ´Ï´Ù. -based Å×½ºÆ®, ModelJunitÀº 28:20 ÀÌÈĺÎÅÍ Åä·ÐÇÏ°í,º¸´Ù Á¤±³ÇÑ »ó¾÷ µµ±¸ ÀÎ Leirios Å×½ºÆ® µðÀÚÀ̳ʴ 43:50 Onwords¿¡¼ ¼³¸íÇÕ´Ï´Ù.ÀÌ µµ±¸¸¦ »ç¿ëÇؾßÇÏ´Â ModelJunit.jar ÆÄÀÏ. (ÀÌ´Â JDK 1.6À¸·Î ÄÄÆÄÀϵǾú½À´Ï´Ù. ModelJunitÀÇ ¿Â¶óÀÎ Javadoc ¹®¼ (ModelJunit ÆÐÅ°Áö ¼³¸íÀ» ÀÐÀ½À¸·Î½á ½ÃÀÛ) .a DocumentationÀÇ ModelJunit.zip ¹öÀü. ¼Ò½º ÄÚµå´Â CZT ÇÁ·ÎÁ§Æ®ÀÇ ÀϺÎÀÔ´Ï´Ù. ModelJunitÀÇ °³¹ß ¼Ò½º´Â ´ÙÀ½ µÎ ¸í·ÉÀ» »ç¿ëÇÏ¿© üũ ¾Æ¿ô ÇÒ ¼ö ÀÖ½À´Ï´Ù. svn co modeljunit svn co svnroot / czt / trunk / pom.xml pom.xml ¿ì¸®´Â Java Äڵ带 ½ÇÇà ÇÏ¿©ÀÌ ¸ðµ¨¿¡¼ ÀϺΠÅ×½ºÆ®¸¦ ½±°Ô »ý¼º ÇÒ ¼ö ÀÖ½À´Ï´Ù. Å×½ºÅÍ Å×½ºÅÍ = »õ·Î¿î Randomtester (»õ FSM ()); tester.addlistener ( "Verbose", »õ·Î¿î verboselistener) (tester.getmodel ()); // tests tester¸¦ ÀμâÇÕ´Ï´Ù .Generate (20); // Tests »ý¼º FSM Ŭ·¡½ºÀÇ ÁÖ¿ä ¹æ¹ýÀº »ý¼º µÈ Å×½ºÆ® ½ºÀ§Æ®ÀÇ ¸ðµ¨ Àû¿ë ¸ÞÆ®¸¯À» ÃøÁ¤Çϴº¸´Ù Á¤±³ÇÑ ¹öÀüÀ» º¸¿©ÁÝ´Ï´Ù. ÀÌ Ãâ·ÂÀ» »ý¼ºÇÕ´Ï´Ù. ´ÙÀ½°ú °°ÀÌÀÌ ÁÖ ¸Þ¼µå¸¦ ½ÇÇàÇÒ ¼ö ÀÖ½À´Ï´Ù (Ŭ·¡½º °æ·Î¿¡ modeljunit.jar ¹× junit.jar°¡ ÀÖ¾î¾ßÇϸç Java 1.6À» »ç¿ëÇؾßÇÕ´Ï´Ù.) : Java net.sourceforge.czt.modeljunit.examples.fsm the modelÀÌ ¸ðµ¨ÀÌ ½ÇÇàµÉ ¶§ ¸Þ½ÃÁö¸¦ ÀμâÇÕ´Ï´Ù. »ý¼º µÈ ¸Þ½ÃÁö´Â ÆÄÀÏ¿¡ ÀúÀåµÇ¸ç ³ªÁß¿¡ Å×½ºÆ® ½ÇÇà (¿ÀÇÁ¶óÀÎ Å×½ºÆ®)À» À§ÇØ Å×½ºÆ® ½ºÅ©¸³Æ®·Î »ç¿ëµÉ ¼ö ÀÖ½À´Ï´Ù. ±×·¯³ª ¿ì¸®´Â ÀϹÝÀûÀ¸·Î Å×½ºÆ®°¡ »ý¼ºµÇ´Â ½Ã½ºÅÛ¿¡¼ Å×½ºÆ® (SUT)¸¦ »ý¼ºÇÏ´Â ¿Â¶óÀÎ Å×½ºÆ®¸¦ À§ÇØ ModelJunitÀ» »ç¿ëÇÕ´Ï´Ù. ¿Â¶óÀÎ Å×½ºÆ®¸¦ ¼öÇàÇÏ·Á¸é À§ÀÇ ÁÖ¿ä ¸Þ¼µå ³»ÀÇ Å×½ºÆ® »ý¼º Äڵ尡 testxyz () ¸Þ¼µå ³»¿¡ ±â·ÏµË´Ï´Ù. JUnit Å×½ºÆ® Ŭ·¡½ºÀÇ °æ¿ì JUnit Å×½ºÆ® ½ºÀ§Æ®¸¦ ½ÇÇàÇÒ ¶§¸¶´Ù FSM ¸ðµ¨¿¡¼ Å×½ºÆ® ÇÑ Á¦Ç°±ºÀ» »ý¼ºÇÕ´Ï´Ù. ¶ÇÇÑ @Action ... ¸ðµ¨ Ŭ·¡½ºÀÇ ¸Þ¼µå¿¡´Â SUT ¸Þ¼Òµå¸¦ È£ÃâÇÏ´Â Äڵ尡 Æ÷ÇԵǾî ÀÖÀ¸¸ç ¹Ýȯ °ªÀ» È®ÀÎÇÏ°í SUTÀÇ »óŸ¦ È®ÀÎÇÕ´Ï´Ù. ÀÌ·¯ÇÑ ¹æ½ÄÀ¸·Î JUnit Å×½ºÆ®¸¦ ½ÇÇàÇÒ ¶§¸¶´Ù ¸ðµ¨Àº @ActionAction ... È£ÃâÀ» »ý¼ºÇÏ´Â µ¥ »ç¿ëµË´Ï´Ù ... Àüȸ¦ °É°í Å×½ºÆ®ÇϽʽÿÀ. ModelJUnitÀÇ »õ·Ó°í ½ÇÇèÀû ±â´ÉÀº GUI ÀÎÅÍÆäÀ̽º·Î Å×½ºÆ®¸¦ »ý¼º ÇÒ ¼öÀÖ´Â GUI ÀÎÅÍÆäÀ̽ºÀÔ´Ï´Ù. °¡¸®Å°°Å³ª Ŭ¸¯Çϰųª Å×½ºÆ®¸¦ »ý¼ºÇÏ´Â Äڵ带 »ý¼ºÇÔÀ¸·Î½á GUI¸¦ ½ÇÇàÇÏ·Á¸é CLASSPATH¿¡ modeljunit.jar ¹× junit.jar¸¦ ³ÖÀº ´ÙÀ½ ½ÇÇà : Java net.sourceforge.czt.modeljunit.gui.main
ModelJunit. °ü·Ã ¼ÒÇÁÆ®¿þ¾î