ModelJunit.

ModelJUnitÀº Model ±â¹Ý Å×½ºÆ®¸¦ Áö¿øÇϱâ À§ÇØ JUnitÀ» È®ÀåÇÏ´Â Java ¶óÀ̺귯¸®ÀÔ´Ï´Ù.
Áö±Ý ´Ù¿î·Îµå

ModelJunit. ¼øÀ§ ¹× ¿ä¾à

±¤°í

  • Rating:
  • ƯÇã:
  • GPL
  • °¡°Ý:
  • FREE
  • °Ô½ÃÀÚ À̸§:
  • Mark Utting
  • °Ô½ÃÀÚ À¥»çÀÌÆ®:
  • 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. °ü·Ã ¼ÒÇÁÆ®¿þ¾î

½ºÆÄÀÌÅ© phpCoverage

SPIKE PHPCOVERAGE´Â PHP ¾ÛÀÇ Å×½ºÆ® Á¦Ç°±ºÀÌ Á¦°øÇÏ´Â ÄÚµå Ä¿¹ö¸®Áö¸¦ ÃøÁ¤ ¹×º¸°íÇϱâÀ§ÇÑ ¿ÀÇ ¼Ò½º µµ±¸ÀÔ´Ï´Ù. ...

193

´Ù¿î·Îµå

°ð Å×½ºÆ®

Test Soen Project´Â Å×½ºÆ® ÇÁ·¹ÀÓ ¿öÅ©°¡ Å×½ºÆ®¸¦ ½Å¼ÓÇÏ°Ô ÀÛ¼ºÇÒ ¼ö ÀÖµµ·Ï ³ë·ÂÇÕ´Ï´Ù. ...

216

´Ù¿î·Îµå

¾ÆÇÁ·Î

AEPRO´Â PRORES4GL·Î ÀÛ¼ºµÈ ÇÁ·Î±×·¥¿¡ ´ëÇÑ ÄÄÆÄÀÏ °ü¸®ÀÚ¸¦ Á¦°øÇÕ´Ï´Ù. ...

413

´Ù¿î·Îµå

vitalsigns.

VITALSIGNS´Â ½Ã°£ÀÌ Áö³²¿¡ µû¶ó º¸°í¼­ µ¥ÀÌÅ͸¦ ±â·ÏÇϱ⠽¬¿î ÀÀ¿ë ÇÁ·Î±×·¥À» ½±°Ô »ç¿ëÇÒ ¼ö ÀÖ½À´Ï´Ù. ...

210

´Ù¿î·Îµå