fosstodon.org is one of the many independent Mastodon servers you can use to participate in the fediverse.
Fosstodon is an invite only Mastodon instance that is open to those who are interested in technology; particularly free & open source software. If you wish to join, contact us for an invite.

Administered by:

Server stats:

8.5K
active users

#PropertyBased

0 posts0 participants0 posts today
ndubien<p>After the summer break 🌴, it&#39;s time to go back to <a href="https://fosstodon.org/tags/OpenSource" class="mention hashtag" rel="tag">#<span>OpenSource</span></a> and spend some time onto the maintenance of fast-check 🤫</p><p>Lots of upcoming <a href="https://fosstodon.org/tags/features" class="mention hashtag" rel="tag">#<span>features</span></a> in the pipe: new arbitrary for strings able to base its generated values onto examples provided by the user, support for non-serializable values on our worker-based extension, better integration with <span class="h-card" translate="no"><a href="https://m.webtoo.ls/@vitest" class="u-url mention">@<span>vitest</span></a></span> and start to pile stuff for a new major version of the library (without huge breaking changes).</p><p><a href="https://fosstodon.org/tags/propertybased" class="mention hashtag" rel="tag">#<span>propertybased</span></a> <a href="https://fosstodon.org/tags/javascript" class="mention hashtag" rel="tag">#<span>javascript</span></a></p>
ndubien<p>Why is <a href="https://fosstodon.org/tags/PropertyBased" class="mention hashtag" rel="tag">#<span>PropertyBased</span></a> <a href="https://fosstodon.org/tags/Testing" class="mention hashtag" rel="tag">#<span>Testing</span></a> key in development cycles? Because it can detect nasty <a href="https://fosstodon.org/tags/bugs" class="mention hashtag" rel="tag">#<span>bugs</span></a> or <a href="https://fosstodon.org/tags/regressions" class="mention hashtag" rel="tag">#<span>regressions</span></a> happening only under certain circumstances.</p><p>The technique just revealed a regression in fast-check 3.6.x, now patched in 3.6.3.</p><p>Release note: <a href="https://github.com/dubzzz/fast-check/releases/tag/v3.6.3" target="_blank" rel="nofollow noopener" translate="no"><span class="invisible">https://</span><span class="ellipsis">github.com/dubzzz/fast-check/r</span><span class="invisible">eleases/tag/v3.6.3</span></a></p>
ndubienHow to Property Based against 'designing data structures'?
ndubien<p>People often wonder if <a href="https://fosstodon.org/tags/PropertyBased" class="mention hashtag" rel="tag">#<span>PropertyBased</span></a> <a href="https://fosstodon.org/tags/Testing" class="mention hashtag" rel="tag">#<span>Testing</span></a> is really applicable. I started a demo example showing how to leverage <a href="https://fosstodon.org/tags/FastCheck" class="mention hashtag" rel="tag">#<span>FastCheck</span></a> against exercises coming from Cracking the Coding Interview in <a href="https://fosstodon.org/tags/JavaScript" class="mention hashtag" rel="tag">#<span>JavaScript</span></a> at <a href="https://github.com/dubzzz/cracking-pbt" target="_blank" rel="nofollow noopener" translate="no"><span class="invisible">https://</span><span class="">github.com/dubzzz/cracking-pbt</span><span class="invisible"></span></a></p><p>More demos to come (race conditions..)</p>
ndubienAdvent of PBT — Day 4
ndubienAdvent of PBT — Day 3
ndubienAdvent of PBT — Day 2
ndubienAdvent of PBT — Day 1