QuickCheckの検索結果1 - 3 件 / 3件

• あとで読む

  Erlang QuickCheck | QuviQ

  • 6 users
  • www.quviq.com
  • テクノロジー
  • 2023/03/22

  Tired of writing and maintaining thousands of automated tests? Did you know that repeating tests finds only 15% of your bugs anyway? Let QuickCheck generate new tests for you daily, saving you effort and nailing your bugs earlier! QuickCheck takes you quickly from specification to identified bug. Three steps to QuickCheck Write a QuickCheck specification instead of test cases— general properties y

  • test
• あとで読む

  lambda is not a four letter word - Fuzzing me wrong — How QuickCheck destroyed my favourite theory

  • 4 users
  • thma.github.io
  • テクノロジー
  • 2021/02/02

  Fuzzing me wrong — How QuickCheck destroyed my favourite theory Introduction Quite a while back I wrote a larger article on the algebraic foundation of software patterns which also covered the MapReduce algorithm. During the research digged out a paper on algebraic properties of distributed big data analytics, which explained that a MapReduce will always work correctly when the intermediate data s

  • QuickCheck
  • Haskell
  • HotEntry
  • プログラミング
• あとで読む

  Lysxia - Testing higher-order properties with QuickCheck

  • 4 users
  • blog.poisson.chat
  • テクノロジー
  • 2020/02/24

  I have just released two libraries to enhance QuickCheck for testing higher-order properties: quickcheck-higherorder and test-fun. This is a summary of their purpose and main features. For more details, refer to the README and the implementations of the respective packages. Context This project started from experiments to design laws for the mtl library. What makes a good law? I still don’t know t

  • QuickCheck
  • Haskell
  • プログラミング