Interesting talk by https://mourjo.me/about property-based testing using jqwik for the examples: https://www.youtube.com/watch?v=5tCzdkPPX_s
#PropertyBasedTesting #pbt
#propertybasedtesting
0 posts0 participants0 posts today
looking for simple, but realistic use-cases for #PropertyBasedTesting for #teaching @jlink
my learnings so far:
https://github.com/draptik/dotnet-property-based-testing/blob/main/tests/PBTDemosFsharp.Tests/Tests_xunit.fs
This PhD thesis about #PropertyBasedTesting is not only relevant for the future of the field, but also well written and entertaining - if you are interested in the subject.
https://repository.upenn.edu/entities/publication/72ca3499-c5f6-4fc1-b5a3-9d66d8dd534e
repository.upenn.eduProperty-Based Testing for the PeopleSoftware errors are expensive and dangerous. Best practices around testinghelp to improve software quality, but not all testing tools are created equal.
In recent years, automated testing, which helps to save time and avoid
developers' blind-spots, has begun to improve this state of affairs. In particular, property-based testing is a powerful automated testingtechnique that gives developers some of the power of formal methods without
the high cost. PBT is incredibly effective at finding
important bugs in real systems, and it has been established as a go-to
technique for testing in some localized developer communities. To bring the power of PBT to a larger demographic, I shift focus to PBTusers. My work is motivated by conversations with real PBT users,
accentuating the benefits that they get from PBT and reducing the drawbacks.
My work begins with Property-Based Testing in Practice. This in-depth
user study establishes a rich set of observations about PBT's use in practice,
along with a wide array of ideas for future research that are motivated by the
needs of real PBT users. The rest of the work in the dissertation is informed
by these results.
One critical observation is that PBT users struggle with the random data
generation that is a key aspect of PBT's operation. To address this problem, I
establish a new foundation for random data generators in Parsing
Randomness and extend that foundation to be more flexible and powerful in
Reflecting on Randomness. These projects contribute new algorithms that
increase developers' leverage during testing while decreasing developer
effort.
I also observed that PBT users are not always good at evaluating whether their
testing was effective. In Understanding Randomness, I establish a new
PBT paradigm that gives developers critical insights into their tests'
performance and enables new ways of interacting with a PBT system. The Tyche
interface developed in that project is now an open source tool with real-world
users. By blending tools from programming languages, human-computer interaction, andsoftware engineering, my work increases the reach and impact of PBT and builds
a foundation for a future with better software assurance.
Curious: Is anybody using #CsCheck with #FSharp #propertybasedtesting
I'd love to see some example code!
GitHubGitHub - AnthonyLloyd/CsCheck: Random testing library for C#Random testing library for C#. Contribute to AnthonyLloyd/CsCheck development by creating an account on GitHub.
so is this ok for learning #propertybasedtesting ?
https://github.com/draptik/dotnet-property-based-testing/
#dotNET #FSharp
Any pointers?
GitHubGitHub - draptik/dotnet-property-based-testing: Experimanting with PBT & dotnetExperimanting with PBT & dotnet. Contribute to draptik/dotnet-property-based-testing development by creating an account on GitHub.
so today I realized that @pigworker 's insight "Why Measure When You Can Require?" from "How to keep your Neighbours in Order" gives an excellent and concise way to write a generator (à la #propertybasedtesting ) for Binary Search Trees!
Here's a gist (in #fsharp ) https://gist.github.com/cxandru/c9bf9165ab753d2c57e00e8c3b97d947
GistGenerator for valid Binary Search Trees (BSTs) for property-based testing using FSharp's FsCheck frameworkGenerator for valid Binary Search Trees (BSTs) for property-based testing using FSharp's FsCheck framework - GenerateYourNeighbors.fs
curious: which 'properties' do you test for in production code? #propertybasedtesting #dotNET #java #JavaScript #TypeScript
I am slowly getting the hang of this #propertybasedtesting thing ;-)
#FSharp #dotnet
This description from a crash fix PR yesterday by Stephen Dolan put a smile on my face: 
"With the old code, the following sequence of unfortunate events can occur, if you are very, very unlucky (or you are @jmid with multicoretests, manufacturing bad luck on an industrial scale):"
https://github.com/ocaml/ocaml/pull/13549
#quickcheck #pbt #propertybasedtesting
GitHubFix a nasty bug in the bytecode VM initialisation by stedolan · Pull Request #13549 · ocaml/ocaml
Okay, Hypothesis, this is pretty cool
https://github.com/meejah/fowl/pull/35/commits/3258de16043b37c800e49215e868595e20201d6a
GitHubEnforce policy by meejah · Pull Request #35 · meejah/fowlForward over Wormhole: streams over magic-wormhole Dilation connections - Enforce policy by meejah · Pull Request #35 · meejah/fowl
Announcing fugato: Open-Source Data-Oriented Stateful Test-Check Generator for Clojure & ClojureScript 
We’re excited to introduce fugato, a powerful new tool for stateful property-based testing in Clojure and ClojureScript, now available as an open-source project on GitHub!
Check it out here: https://vouch.io/fugato-open-source-announcement/
Vouch.ioAnnouncing Fugato, Open-Source Data-Oriented Stateful Test-Check Generator for Clojure & ClojureScriptOpen-Source Data-Oriented Stateful Test-Check Generator for Clojure & ClojureScript
Just blogged about automatically providing ScalaCheck generators for data types from the Cats library:
https://www.jan0sch.de/post/scalacheck-generators-for-cats-data-types/
www.jan0sch.deScalaCheck generators for Cats data types. · jan0sch.de
Based off of a #hackernews post, I discovered #Hypothesis a #Python property based testing framework. Looks really interesting. I'm just about starting to dive into setting up tests/test frameworks for my project and maybe this is a something worth exploring.
hypothesis.readthedocs.ioWelcome to Hypothesis! — Hypothesis 6.129.3 documentation
Oskar Wickström och Mattias Ask bygger tester för webben. Tester som bara behöver en URL. Tester för användare som inte har tid att lära sig komplicerade ramverk. Tester mycket bredare än vad Fredrik först förstod. Tester byggda på egenskapsbaserad testning.
(Vill du testa? De 100 första som använder kupongkoden KODSNACK24 får en månad gratis!)
Allt detta och mer i veckans Kodsnack! Lyssna där poddar finns, eller på https://kodsnack.se/568/ #testing #propertybasedtesting #quickstrom #squidler
Can anyone recommend some projects that actually use #PropertyBasedTesting in the wild (specifically, I'm looking for more realistic usage than the countless tutorials that go as far as "here are some properties that test if a list is sorted")?
I'm familiar with Scott Wlaschin's series, which is great, but I'd really like to see some production examples.