ÆÄÀÌÇÁ½Ã

ÆÄÀ̽ãÀ»À§ÇÑ QuickCheck-like Å×½ºÆ® ÇÁ·¹ÀÓ ¿öÅ©
Áö±Ý ´Ù¿î·Îµå

ÆÄÀÌÇÁ½Ã ¼øÀ§ ¹× ¿ä¾à

±¤°í

  • Rating:
  • ƯÇã:
  • BSD License
  • °¡°Ý:
  • FREE
  • °Ô½ÃÀÚ À̸§:
  • Karol Kuczmarski
  • °Ô½ÃÀÚ À¥»çÀÌÆ®:
  • http://github.com/Xion/

ÆÄÀÌÇÁ½Ã ű×


ÆÄÀÌÇÁ½Ã ¼³¸í

pyqcy´Â ÆÄÀ̽ãÀ»À§ÇÑ QuickCheck¿Í °°Àº Å×½ºÆ® ÇÁ·¹ÀÓ ¿öÅ©ÀÔ´Ï´Ù. ¶Ç ´Ù¸¥ Å×½ºÆ® À¯Æ¿¸®Æ¼? ÆÄÀ̽ãÀº ƯÈ÷ ´ÜÀ§ Å×½ºÆ®¿¡ °üÇؼ­´Â Å×½ºÆ® µµ±¸°¡ÀÖ´Â Å×½ºÆ® µµ±¸°¡ ÀÖ½À´Ï´Ù. ±×·¸´Ù¸é ´©±º°¡ °¡ÀÌ ³¡¿¡ Àü³äÇÏ´Â ´Ù¸¥ µµ¼­°üÀ» ¿øÇϽʴϱî? ... 1, PYQCY ´Â Haskell ¿ë ºê¸±¸®¾ðÆ® QuickCheck Library¿¡¼­ ¿µ°¨À» ¾òÀº °íÀ¯ ÇÑ Å×½ºÆ® ¸ðµ¨À» Áö¿øÇÕ´Ï´Ù. ¿ÏÀüÇÑ Å×½ºÆ® ÄÉÀ̽º¸¦ ÀÛ¼ºÇÏ´Â ´ë½Å Äڵ尡 ÃæÁ· ÇؾßÇÏ´Â ³í¸®Àû ¼Ó¼ºÀ» Á¤ÀÇÇϸéµË´Ï´Ù. À̸¦ ¹ÙÅÁÀ¸·Î, Pyqcy´Â ½ÇÁ¦·Î ¼ö¹é °³ÀÇ Å×½ºÆ® ÄÉÀ̽º¸¦ ÀÚµ¿À¸·Î »ý¼ºÇÕ´Ï´Ù! ±×·¡¼­ ¾î¶»°Ô º¸ÀÌ´Â °Íó·³ º¸ÀÔ´Ï´Ù. ÀÌ°ÍÀ» ½ÃµµÇϽʽÿÀ : pyqcy °¡Á® ¿À±â qc, int_ main @ qcdef (x = int_ (min = 0), y = int_ (min = 0) : the_sum = x + y the_sum> = x and the_sum> = yif __name__ == '__main__': main ()ÀÌ Àμâ : addine_actule_works : 100 Å×½ºÆ®¸¦ Åë°úÇß½À´Ï´Ù. »ý¼º µÈ ¹é Å×½ºÆ® ÄÉÀ̽º »ý¼º ÀÚµ¿À¸·Î. ÀÌ ¿¹¿¡¼­ int sit´Â ¹°·Ð ¸Å¿ì °£´ÜÇÏÁö¸¸ pyqcy´Â ÀÌ¹Ì ¹®ÀÚ¿­ ¹× ¸ñ·ÏÀ» Æ÷ÇÔÇÏ¿© ´ëºÎºÐÀÇ ÆÄÀ̽ã À¯ÇüÀ» Áö¿øÇÕ´Ï´Ù. ¶ÇÇÑ @arbitary decorator.see tests.py¸¦ »ç¿ëÇÏ¿© ÀÚ½ÅÀÇ ¹ßÀü±â¸¦ @arbitary decorator.see tests.py¸¦ »ç¿ëÇÏ¿© ÀÚ½ÅÀÇ ¹ßÀü±â¸¦ Á¤ÀÇ ÇÒ ¼ö ÀÖ½À´Ï´Ù. ¾ó¸¶³ª ¸Ö¸® ¶³¾îÁ® ÀÖÁö ¾Ê¾Æ¿ä? ²Ï ±â´ÉÀû (Àǵµ µÈ °ÍÀ¸·Î Àǵµ µÈ), ÇÁ·ÎÁ§Æ®´Â ½ÇÇè ´Ü°èÀÔ´Ï´Ù. ¸ñÇ¥´Â ÆÄÀ̽ãÀÇ ¿ªµ¿Àû ÀÎ ¼º°Ý¿¡ ÀÇÇØ Çã¿ëµÇ´Â Á¤µµ·Î HaskellÀÇ QuickCheck¿Í ¸Å¿ì À¯»çÇÏ°Ô ¸¸µå´Â °ÍÀÔ´Ï´Ù .Ideas, Á¦¾È ¹× °øÇåÀº ¸ðµÎ ¸Å¿ì ȯ¿µÇÕ´Ï´Ù. Á¦Ç°ÀÇ È¨ÆäÀÌÁö


ÆÄÀÌÇÁ½Ã °ü·Ã ¼ÒÇÁÆ®¿þ¾î

½Ã°è

´Â WITHS ¹®À» »ç¿ëÇÏ¿© º¹ÀâÇÑ ¿ª ÂüÁ¶¸¦ ´Ü¼øÈ­ÇÕ´Ï´Ù. ÆĽºÄ® ¶Ç´Â ÀÚ¹Ù ½ºÅ©¸³Æ®¿¡¼­´Â ´Ù¼Ò ...

75

´Ù¿î·Îµå