| ÆÄÀÌÇÁ½Ã ÆÄÀ̽ãÀ»À§ÇÑ QuickCheck-like Å×½ºÆ® ÇÁ·¹ÀÓ ¿öÅ© |
Áö±Ý ´Ù¿î·Îµå |
ÆÄÀÌÇÁ½Ã ¼øÀ§ ¹× ¿ä¾à
- °Ô½ÃÀÚ À̸§:
- 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, Á¦¾È ¹× °øÇåÀº ¸ðµÎ ¸Å¿ì ȯ¿µÇÕ´Ï´Ù. Á¦Ç°ÀÇ È¨ÆäÀÌÁö
ÆÄÀÌÇÁ½Ã °ü·Ã ¼ÒÇÁÆ®¿þ¾î