Recent searches

No recent searches

Search options

Only available when logged in.
sigmoid.social is one of the many independent Mastodon servers you can use to participate in the fediverse.
A social space for people researching, working with, or just interested in AI!

Administered by:

Server stats:

578
active users

sigmoid.social: AboutProfiles directoryPrivacy policy

Mastodon: AboutGet the appKeyboard shortcutsView source codev4.4.3

#propertybasedtesting

0 posts0 participants0 posts today
jqwik.net<p>Interesting talk by <a href="https://mourjo.me/about" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="">mourjo.me/about</span><span class="invisible"></span></a> property-based testing using jqwik for the examples: <a href="https://www.youtube.com/watch?v=5tCzdkPPX_s" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="ellipsis">youtube.com/watch?v=5tCzdkPPX_</span><span class="invisible">s</span></a><br><a href="https://fosstodon.org/tags/PropertyBasedTesting" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>PropertyBasedTesting</span></a> <a href="https://fosstodon.org/tags/pbt" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>pbt</span></a></p>
Patrick Drechsler<p>looking for simple, but realistic use-cases for <a href="https://floss.social/tags/PropertyBasedTesting" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>PropertyBasedTesting</span></a> for <a href="https://floss.social/tags/teaching" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>teaching</span></a> <span class="h-card" translate="no"><a href="https://det.social/@jlink" class="u-url mention" rel="nofollow noopener" target="_blank">@<span>jlink</span></a></span><br>my learnings so far:<br><a href="https://github.com/draptik/dotnet-property-based-testing/blob/main/tests/PBTDemosFsharp.Tests/Tests_xunit.fs" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">github.com/draptik/dotnet-prop</span><span class="invisible">erty-based-testing/blob/main/tests/PBTDemosFsharp.Tests/Tests_xunit.fs</span></a></p>
Johannes Link<p>This PhD thesis about <a href="https://det.social/tags/PropertyBasedTesting" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>PropertyBasedTesting</span></a> is not only relevant for the future of the field, but also well written and entertaining - if you are interested in the subject.<br><a href="https://repository.upenn.edu/entities/publication/72ca3499-c5f6-4fc1-b5a3-9d66d8dd534e" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">repository.upenn.edu/entities/</span><span class="invisible">publication/72ca3499-c5f6-4fc1-b5a3-9d66d8dd534e</span></a></p>
Patrick Drechsler<p>Maybe somebody can help me with this...</p><p><a href="https://floss.social/tags/dotNET" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>dotNET</span></a> <a href="https://floss.social/tags/propertybasedtesting" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>propertybasedtesting</span></a> <a href="https://floss.social/tags/FSharp" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>FSharp</span></a> <a href="https://floss.social/tags/CsCheck" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>CsCheck</span></a> </p><p><a href="https://github.com/draptik/dotnet-property-based-testing/blob/main/tests/PBTDemosFsharp.Tests/TestsXunitCsCheck.fs" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">github.com/draptik/dotnet-prop</span><span class="invisible">erty-based-testing/blob/main/tests/PBTDemosFsharp.Tests/TestsXunitCsCheck.fs</span></a></p>
Patrick Drechsler<p>Curious: Is anybody using <a href="https://floss.social/tags/CsCheck" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>CsCheck</span></a> with <a href="https://floss.social/tags/FSharp" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>FSharp</span></a> <a href="https://floss.social/tags/propertybasedtesting" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>propertybasedtesting</span></a> <br>I'd love to see some example code!</p><p><a href="https://github.com/AnthonyLloyd/CsCheck" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">github.com/AnthonyLloyd/CsChec</span><span class="invisible">k</span></a><br><a href="https://floss.social/tags/dotNET" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>dotNET</span></a></p>
Patrick Drechsler<p>step-by-step learning <a href="https://floss.social/tags/propertybasedtesting" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>propertybasedtesting</span></a> in <a href="https://floss.social/tags/dotNET" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>dotNET</span></a> <br><a href="https://github.com/draptik/dotnet-property-based-testing/blob/main/tests/PBTDemosFsharp.Tests/Tests_xunit.fs" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">github.com/draptik/dotnet-prop</span><span class="invisible">erty-based-testing/blob/main/tests/PBTDemosFsharp.Tests/Tests_xunit.fs</span></a></p>
Patrick Drechsler<p>so is this ok for learning <a href="https://floss.social/tags/propertybasedtesting" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>propertybasedtesting</span></a> ?<br><a href="https://github.com/draptik/dotnet-property-based-testing/" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">github.com/draptik/dotnet-prop</span><span class="invisible">erty-based-testing/</span></a><br><a href="https://floss.social/tags/dotNET" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>dotNET</span></a> <a href="https://floss.social/tags/FSharp" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>FSharp</span></a> <br>Any pointers?</p>
Cass Alexandru<p>so today I realized that <span class="h-card" translate="no"><a href="https://types.pl/@pigworker" class="u-url mention" rel="nofollow noopener" target="_blank">@<span>pigworker</span></a></span> 's insight "Why Measure When You Can Require?" from "How to keep your Neighbours in Order" gives an <u>excellent</u> and concise way to write a generator (à la <a href="https://types.pl/tags/propertybasedtesting" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>propertybasedtesting</span></a> ) for Binary Search Trees!<br>Here's a gist (in <a href="https://types.pl/tags/fsharp" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>fsharp</span></a> ) <a href="https://gist.github.com/cxandru/c9bf9165ab753d2c57e00e8c3b97d947" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">gist.github.com/cxandru/c9bf91</span><span class="invisible">65ab753d2c57e00e8c3b97d947</span></a></p>
Patrick Drechsler<p>curious: which 'properties' do you test for in production code? <a href="https://floss.social/tags/propertybasedtesting" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>propertybasedtesting</span></a> <a href="https://floss.social/tags/dotNET" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>dotNET</span></a> <a href="https://floss.social/tags/java" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>java</span></a> <a href="https://floss.social/tags/JavaScript" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>JavaScript</span></a> <a href="https://floss.social/tags/TypeScript" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>TypeScript</span></a></p>
Patrick Drechsler<p>I am slowly getting the hang of this <a href="https://floss.social/tags/propertybasedtesting" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>propertybasedtesting</span></a> thing ;-)<br><a href="https://floss.social/tags/FSharp" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>FSharp</span></a> <a href="https://floss.social/tags/dotnet" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>dotnet</span></a></p>
Jan Midtgaard<p>This description from a crash fix PR yesterday by Stephen Dolan put a smile on my face: 😀 <br>"With the old code, the following sequence of unfortunate events can occur, if you are very, very unlucky (or you are <span class="h-card" translate="no"><a href="https://types.pl/@jmid" class="u-url mention" rel="nofollow noopener" target="_blank">@<span>jmid</span></a></span> with multicoretests, manufacturing bad luck on an industrial scale):"<br><a href="https://github.com/ocaml/ocaml/pull/13549" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">github.com/ocaml/ocaml/pull/13</span><span class="invisible">549</span></a><br><a href="https://types.pl/tags/quickcheck" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>quickcheck</span></a> <a href="https://types.pl/tags/pbt" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>pbt</span></a> <a href="https://types.pl/tags/propertybasedtesting" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>propertybasedtesting</span></a></p>
meejah<p>Okay, Hypothesis, this is pretty cool</p><p><a href="https://github.com/meejah/fowl/pull/35/commits/3258de16043b37c800e49215e868595e20201d6a" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">github.com/meejah/fowl/pull/35</span><span class="invisible">/commits/3258de16043b37c800e49215e868595e20201d6a</span></a></p><p><a href="https://mastodon.social/tags/python" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>python</span></a> <a href="https://mastodon.social/tags/hypothesis" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>hypothesis</span></a> <a href="https://mastodon.social/tags/propertyBasedTesting" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>propertyBasedTesting</span></a></p>
Vouch.io<p>🎉 Announcing fugato: Open-Source Data-Oriented Stateful Test-Check Generator for Clojure &amp; ClojureScript 🚀</p><p>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!</p><p>Check it out here: <a href="https://vouch.io/fugato-open-source-announcement/" rel="nofollow noopener" target="_blank"><span class="invisible">https://</span><span class="ellipsis">vouch.io/fugato-open-source-an</span><span class="invisible">nouncement/</span></a></p><p><a href="https://noc.social/tags/OpenSource" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>OpenSource</span></a> <a href="https://noc.social/tags/Clojure" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Clojure</span></a> <a href="https://noc.social/tags/ClojureScript" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ClojureScript</span></a> <a href="https://noc.social/tags/Testing" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Testing</span></a> <a href="https://noc.social/tags/PropertyBasedTesting" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>PropertyBasedTesting</span></a> <a href="https://noc.social/tags/StatefulTesting" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>StatefulTesting</span></a> <a href="https://noc.social/tags/fugato" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>fugato</span></a></p>
dwardoric<p>Just blogged about automatically providing ScalaCheck generators for data types from the Cats library:</p><p><a href="https://www.jan0sch.de/post/scalacheck-generators-for-cats-data-types/" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="ellipsis">jan0sch.de/post/scalacheck-gen</span><span class="invisible">erators-for-cats-data-types/</span></a></p><p><a href="https://chaos.social/tags/Scala" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Scala</span></a> <a href="https://chaos.social/tags/ScalaCheck" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ScalaCheck</span></a> <a href="https://chaos.social/tags/PropertyBasedTesting" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>PropertyBasedTesting</span></a></p>
sumanthvepa<p>Based off of a <a href="https://mastodon.social/tags/hackernews" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>hackernews</span></a> post, I discovered <a href="https://mastodon.social/tags/Hypothesis" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Hypothesis</span></a> a <a href="https://mastodon.social/tags/Python" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Python</span></a> 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. </p><p><a href="https://mastodon.social/tags/programming" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>programming</span></a> <a href="https://mastodon.social/tags/testing" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>testing</span></a> <a href="https://mastodon.social/tags/unittesting" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>unittesting</span></a> <a href="https://mastodon.social/tags/propertybasedtesting" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>propertybasedtesting</span></a> </p><p><a href="https://hypothesis.readthedocs.io/en/latest/" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">hypothesis.readthedocs.io/en/l</span><span class="invisible">atest/</span></a></p>
Kodsnack<p>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.</p><p>(Vill du testa? De 100 första som använder kupongkoden&nbsp;KODSNACK24&nbsp;får en månad gratis!)</p><p>Allt detta och mer i veckans Kodsnack! Lyssna där poddar finns, eller på <a href="https://kodsnack.se/568/" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="">kodsnack.se/568/</span><span class="invisible"></span></a> <a href="https://social.podsnack.se/tags/testing" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>testing</span></a> <a href="https://social.podsnack.se/tags/propertybasedtesting" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>propertybasedtesting</span></a> <a href="https://social.podsnack.se/tags/quickstrom" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>quickstrom</span></a> <a href="https://social.podsnack.se/tags/squidler" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>squidler</span></a></p>
Michael Rees<p>Can anyone recommend some projects that actually use <a href="https://fosstodon.org/tags/PropertyBasedTesting" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>PropertyBasedTesting</span></a> 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")?</p><p>I'm familiar with Scott Wlaschin's series, which is great, but I'd really like to see some production examples. </p><p><a href="https://fosstodon.org/tags/quickcheck" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>quickcheck</span></a> <a href="https://fosstodon.org/tags/Haskell" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Haskell</span></a></p>
TrendingLive feeds
About