#propertybased β Public Fediverse posts
Live and recent posts from across the Fediverse tagged #propertybased, aggregated by home.social.
-
After the summer break π΄, it's time to go back to #OpenSource and spend some time onto the maintenance of fast-check π€«
Lots of upcoming #features 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 @vitest and start to pile stuff for a new major version of the library (without huge breaking changes).
-
Why is #PropertyBased #Testing key in development cycles? Because it can detect nasty #bugs or #regressions happening only under certain circumstances.
The technique just revealed a regression in fast-check 3.6.x, now patched in 3.6.3.
Release note: https://github.com/dubzzz/fast-check/releases/tag/v3.6.3
-
CW: How to Property Based against 'designing data structures'?
Just started to extend my set of examples showing how to leverage #PropertyBased to #JavaScript algorithms on "stacks and queues". On this topic, most of my tests adopt #model #based #testing as it mostly deals with designing new #data #structure, so it fits well.
See https://github.com/dubzzz/cracking-pbt/tree/main/stacks-and-queues π
-
People often wonder if #PropertyBased #Testing is really applicable. I started a demo example showing how to leverage #FastCheck against exercises coming from Cracking the Coding Interview in #JavaScript at https://github.com/dubzzz/cracking-pbt
More demos to come (race conditions..)
-
CW: Advent of PBT β Day 4
#AdventOfPBT #Day4 π π
Let's try to #test cyclde detection in #LinkedLists via #PropertyBased. Here is a link to an up-and-running #dev environment running a #JavaScript version of the code https://codesandbox.io/s/advent-of-pbt-day-4-g0jdy?file=/src/index.spec.ts&previewwindow=tests
π Today's topic: detectCycleInLinkedList
π₯ Answer tonight!More details: https://dev.to/dubzzz/advent-of-pbt-2021-day-4-3m6g
-
CW: Advent of PBT β Day 4
#AdventOfPBT #Day4 π π
Let's try to #test cyclde detection in #LinkedLists via #PropertyBased. Here is a link to an up-and-running #dev environment running a #JavaScript version of the code https://codesandbox.io/s/advent-of-pbt-day-4-g0jdy?file=/src/index.spec.ts&previewwindow=tests
π Today's topic: detectCycleInLinkedList
π₯ Answer tonight!More details: https://dev.to/dubzzz/advent-of-pbt-2021-day-4-3m6g
-
CW: Advent of PBT β Day 4
#AdventOfPBT #Day4 π π
Let's try to #test cyclde detection in #LinkedLists via #PropertyBased. Here is a link to an up-and-running #dev environment running a #JavaScript version of the code https://codesandbox.io/s/advent-of-pbt-day-4-g0jdy?file=/src/index.spec.ts&previewwindow=tests
π Today's topic: detectCycleInLinkedList
π₯ Answer tonight!More details: https://dev.to/dubzzz/advent-of-pbt-2021-day-4-3m6g
-
CW: Advent of PBT β Day 4
#AdventOfPBT #Day4 π π
Let's try to #test cyclde detection in #LinkedLists via #PropertyBased. Here is a link to an up-and-running #dev environment running a #JavaScript version of the code https://codesandbox.io/s/advent-of-pbt-day-4-g0jdy?file=/src/index.spec.ts&previewwindow=tests
π Today's topic: detectCycleInLinkedList
π₯ Answer tonight!More details: https://dev.to/dubzzz/advent-of-pbt-2021-day-4-3m6g
-
CW: Advent of PBT β Day 3
#AdventOfPBT #Day3 π π
Let's try to #test #fizzbuzz via #PropertyBased. Here is a link to an up-and-running #dev environment running a #JavaScript version of the code https://codesandbox.io/s/advent-of-pbt-day-3-vt4j2?file=/src/index.spec.ts&previewwindow=tests π
π Today's topic: fizzbuzz
π₯ Answer tonight!More details: https://dev.to/dubzzz/advent-of-pbt-2021-day-3-4mac
-
CW: Advent of PBT β Day 3
#AdventOfPBT #Day3 π π
Let's try to #test #fizzbuzz via #PropertyBased. Here is a link to an up-and-running #dev environment running a #JavaScript version of the code https://codesandbox.io/s/advent-of-pbt-day-3-vt4j2?file=/src/index.spec.ts&previewwindow=tests π
π Today's topic: fizzbuzz
π₯ Answer tonight!More details: https://dev.to/dubzzz/advent-of-pbt-2021-day-3-4mac
-
CW: Advent of PBT β Day 3
#AdventOfPBT #Day3 π π
Let's try to #test #fizzbuzz via #PropertyBased. Here is a link to an up-and-running #dev environment running a #JavaScript version of the code https://codesandbox.io/s/advent-of-pbt-day-3-vt4j2?file=/src/index.spec.ts&previewwindow=tests π
π Today's topic: fizzbuzz
π₯ Answer tonight!More details: https://dev.to/dubzzz/advent-of-pbt-2021-day-3-4mac
-
CW: Advent of PBT β Day 3
#AdventOfPBT #Day3 π π
Let's try to #test #fizzbuzz via #PropertyBased. Here is a link to an up-and-running #dev environment running a #JavaScript version of the code https://codesandbox.io/s/advent-of-pbt-day-3-vt4j2?file=/src/index.spec.ts&previewwindow=tests π
π Today's topic: fizzbuzz
π₯ Answer tonight!More details: https://dev.to/dubzzz/advent-of-pbt-2021-day-3-4mac
-
CW: Advent of PBT β Day 2
#AdventOfPBT #Day2 π π
Let's try to #test via #PropertyBased a function decomposing a number into primes. Here is a link to an up-and-running #dev environment running a #JavaScript version of the code https://codesandbox.io/s/advent-of-pbt-day-2-pjpqx?file=/src/index.spec.ts&previewwindow=tests π
π Today's topic: decomposeIntoPrimes
π₯ Answer tonight!More details: https://dev.to/dubzzz/advent-of-pbt-2021-day-2-4gmg
-
CW: Advent of PBT β Day 2
#AdventOfPBT #Day2 π π
Let's try to #test via #PropertyBased a function decomposing a number into primes. Here is a link to an up-and-running #dev environment running a #JavaScript version of the code https://codesandbox.io/s/advent-of-pbt-day-2-pjpqx?file=/src/index.spec.ts&previewwindow=tests π
π Today's topic: decomposeIntoPrimes
π₯ Answer tonight!More details: https://dev.to/dubzzz/advent-of-pbt-2021-day-2-4gmg
-
CW: Advent of PBT β Day 2
#AdventOfPBT #Day2 π π
Let's try to #test via #PropertyBased a function decomposing a number into primes. Here is a link to an up-and-running #dev environment running a #JavaScript version of the code https://codesandbox.io/s/advent-of-pbt-day-2-pjpqx?file=/src/index.spec.ts&previewwindow=tests π
π Today's topic: decomposeIntoPrimes
π₯ Answer tonight!More details: https://dev.to/dubzzz/advent-of-pbt-2021-day-2-4gmg
-
CW: Advent of PBT β Day 2
#AdventOfPBT #Day2 π π
Let's try to #test via #PropertyBased a function decomposing a number into primes. Here is a link to an up-and-running #dev environment running a #JavaScript version of the code https://codesandbox.io/s/advent-of-pbt-day-2-pjpqx?file=/src/index.spec.ts&previewwindow=tests π
π Today's topic: decomposeIntoPrimes
π₯ Answer tonight!More details: https://dev.to/dubzzz/advent-of-pbt-2021-day-2-4gmg
-
CW: Advent of PBT β Day 2
#AdventOfPBT #Day2 π π
Let's try to #test via #PropertyBased a function decomposing a number into primes. Here is a link to an up-and-running #dev environment running a #JavaScript version of the code https://codesandbox.io/s/advent-of-pbt-day-2-pjpqx?file=/src/index.spec.ts&previewwindow=tests π
π Today's topic: decomposeIntoPrimes
π₯ Answer tonight!More details: https://dev.to/dubzzz/advent-of-pbt-2021-day-2-4gmg
-
CW: Advent of PBT β Day 1
#AdventOfPBT #Day1 π π
Have you ever heard about #PropertyBased #Testing? Give it a try with this #advent! Everything is ready for you at https://codesandbox.io/s/advent-of-pbt-day-1-3ewqs?file=/src/index.spec.ts&previewwindow=tests, we just need you for the tests π πͺ
π Today's topic: lastIndexOf
π₯ Answer tonight!More details: https://dev.to/dubzzz/advent-of-pbt-2021-day-1-3jnm
-
CW: Advent of PBT β Day 1
#AdventOfPBT #Day1 π π
Have you ever heard about #PropertyBased #Testing? Give it a try with this #advent! Everything is ready for you at https://codesandbox.io/s/advent-of-pbt-day-1-3ewqs?file=/src/index.spec.ts&previewwindow=tests, we just need you for the tests π πͺ
π Today's topic: lastIndexOf
π₯ Answer tonight!More details: https://dev.to/dubzzz/advent-of-pbt-2021-day-1-3jnm
-
CW: Advent of PBT β Day 1
#AdventOfPBT #Day1 π π
Have you ever heard about #PropertyBased #Testing? Give it a try with this #advent! Everything is ready for you at https://codesandbox.io/s/advent-of-pbt-day-1-3ewqs?file=/src/index.spec.ts&previewwindow=tests, we just need you for the tests π πͺ
π Today's topic: lastIndexOf
π₯ Answer tonight!More details: https://dev.to/dubzzz/advent-of-pbt-2021-day-1-3jnm
-
CW: Advent of PBT β Day 1
#AdventOfPBT #Day1 π π
Have you ever heard about #PropertyBased #Testing? Give it a try with this #advent! Everything is ready for you at https://codesandbox.io/s/advent-of-pbt-day-1-3ewqs?file=/src/index.spec.ts&previewwindow=tests, we just need you for the tests π πͺ
π Today's topic: lastIndexOf
π₯ Answer tonight!More details: https://dev.to/dubzzz/advent-of-pbt-2021-day-1-3jnm
-
CW: Advent of PBT β Day 1
#AdventOfPBT #Day1 π π
Have you ever heard about #PropertyBased #Testing? Give it a try with this #advent! Everything is ready for you at https://codesandbox.io/s/advent-of-pbt-day-1-3ewqs?file=/src/index.spec.ts&previewwindow=tests, we just need you for the tests π πͺ
π Today's topic: lastIndexOf
π₯ Answer tonight!More details: https://dev.to/dubzzz/advent-of-pbt-2021-day-1-3jnm