ÀÌÁß Á¡°Ë

QuickCheck ½ºÅ¸ÀÏÀÇ ¹«ÀÛÀ§ Å×½ºÆ® ¹× Smallcheck ½ºÅ¸ÀÏÀÇ Ã¶ÀúÇÑ Å×½ºÆ®¸¦À§ÇÑ Pythonic ¶óÀ̺귯¸® ...
Áö±Ý ´Ù¿î·Îµå

ÀÌÁß Á¡°Ë ¼øÀ§ ¹× ¿ä¾à

±¤°í

  • Rating:
  • ƯÇã:
  • The Apache License 2.0
  • °¡°Ý:
  • FREE
  • °Ô½ÃÀÚ À̸§:
  • Kenn Knowles
  • °Ô½ÃÀÚ À¥»çÀÌÆ®:
  • http://kenn.frap.net/wakkabox

ÀÌÁß Á¡°Ë ű×


ÀÌÁß Á¡°Ë ¼³¸í

DoubleCheckÀº ´ÙÀ½°ú °°Àº µÎ °¡Áö ¹æ¹ýÀ¸·Î ¼Ó¼º ±â¹Ý Å×½ºÆ®¸¦À§ÇÑ Python ¶óÀ̺귯¸®ÀÔ´Ï´Ù. - "QuickCheck"- ¹«ÀÛÀ§·Î »ý¼º µÈ ÀÔ·Â - "SmallCheck"- ShipeLively Enumerated Inputsthe Testing Á¢±Ù¹ýÀº °³Ã´ÀÚÀÇ Haskell ¶óÀ̺귯¸®¿¡ ´ëÇÑ À̸§ÀÌ ÁöÁ¤µË´Ï´Ù. µÎ °¡Áö Á¢±Ù¹ýÀº ÇÔ²² »ç¿ëµÉ ¶§ ÁøÁ¤À¸·Î ºûÀ»³À´Ï´Ù - Àç»êÀÌ ¾Æ¸¶ °Å´ëÇÏ°í ¹ÌÄ£ ¹«ÀÛÀ§ ÀԷ¿¡ ÀÇÇØ ºÐ´ÜµÇ´Â °ÍÀ¸·Î ÆǸíµÇ¸é, _smallest_ counterexampleÀ» ã±â À§ÇØ CPU ½Ã°£À» ÅõÀÚ ÇÒ °¡Ä¡°¡ ÀÖ½À´Ï´Ù.ÀÌ ¶óÀ̺귯¸®´Â ¾ÆÁÖ »õ·Î¿î ÀÛ¾÷ÀÔ´Ï´Ù. - ¾Ë·ÁÁø ¹®Á¦Á¡À» °¡Áø ÁøÇà·ü (³¯Â¥¿¡ ´ëÇÑ Ä¿¹Ô ·Î±× ÂüÁ¶) - ¾ÆÁ÷ ¹«ÀÛÀ§·Î »ý¼º µÈ ¹®ÀÚ¿­ÀÌ ¾ÆÁ÷ ¾ø½À´Ï´Ù. ±×·¯³ª ¾ÆÁ÷ ½ÇÁ¸ ÇÑ Á¤·®È­°¡ ¾øÁö¸¸ Smallcheck´Â ±×°ÍÀ» Çã¿ëÇÕ´Ï´Ù! - öÀúÇÑ Å×½ºÆ®°¡ ÇÊ¿äÇÕ´Ï´Ù .- Å×½ºÆ® ÇÒ ¼ö ÀÖ¾î¾ßÇÕ´Ï´Ù .- Å×½ºÆ® ÇÒ ¼ö ÀÖ¾î¾ßÇÕ´Ï´Ù. ¼Ó¼ºÀº Ç×»ó ¿¹¿Ü¸¦ ´øÁ³½À´Ï´Ù .- ¸¹Àº Á¶ÇÕ ÀÚ°¡ ÇÊ¿äÇÕ´Ï´Ù. : i> 0, posints ()). QuickCheck (100000) .status 'ƯÁ¤'Á¦Ç°ÀÇ È¨ÆäÀÌÁö


ÀÌÁß Á¡°Ë °ü·Ã ¼ÒÇÁÆ®¿þ¾î

gensafepime.

openssl (prime p = 2 * q + 1, qµµ prime)À» »ç¿ëÇÏ¿© ¾ÈÀüÇÑ ÇÁ¸® ¾Æ¿ôÀ» »ý¼ºÇÕ´Ï´Ù. ...

134

´Ù¿î·Îµå