#propertybasedtesting — Public Fediverse posts

Spent a couple hours today working with a colleague on a property test using #eris. We found one bug in the implementation of our oracle, which proved that our production code was actually doing the right thing, though it's unclear if that was deliberate or accidental. After that we increased the number of samples to 1000 which actually seems to have uncovered another bug.

Really cool to finally have a good use case for property based testing.

#php #propertybasedtesting #pbt #phpunit

Spent a couple hours today working with a colleague on a property test using #eris. We found one bug in the implementation of our oracle, which proved that our production code was actually doing the right thing, though it's unclear if that was deliberate or accidental. After that we increased the number of samples to 1000 which actually seems to have uncovered another bug.

Really cool to finally have a good use case for property based testing.

#php #propertybasedtesting #pbt #phpunit

Spent a couple hours today working with a colleague on a property test using #eris. We found one bug in the implementation of our oracle, which proved that our production code was actually doing the right thing, though it's unclear if that was deliberate or accidental. After that we increased the number of samples to 1000 which actually seems to have uncovered another bug.

Really cool to finally have a good use case for property based testing.

#php #propertybasedtesting #pbt #phpunit

Mysteries of Dropbox: Property-Based Testing of a Distributed Sync Service [pdf]

https://www.cis.upenn.edu/~bcpierce/papers/mysteriesofdropbox.pdf

#HackerNews #Dropbox #PropertyBasedTesting #DistributedSync #ServiceMysteries #PDF

Hegel, a universal property-based testing protocol and family of PBT libraries

https://hegel.dev

#HackerNews #Hegel #PBT #propertybasedtesting #softwaredevelopment #testinglibraries

Hegel, a universal property-based testing protocol and family of PBT libraries

https://hegel.dev

#HackerNews #Hegel #PBT #propertybasedtesting #softwaredevelopment #testinglibraries

Hegel, a universal property-based testing protocol and family of PBT libraries

https://hegel.dev

#HackerNews #Hegel #PBT #propertybasedtesting #softwaredevelopment #testinglibraries

Hegel, a universal property-based testing protocol and family of PBT libraries

https://hegel.dev

#HackerNews #Hegel #PBT #propertybasedtesting #softwaredevelopment #testinglibraries

Hegel, a universal property-based testing protocol and family of PBT libraries

https://hegel.dev

#HackerNews #Hegel #PBT #propertybasedtesting #softwaredevelopment #testinglibraries

Bombadil: Property-based testing for web UIs by Antithesis

https://github.com/antithesishq/bombadil

#HackerNews #Bombadil #PropertyBasedTesting #WebUIs #Antithesis #GitHub

Надежный код: как писать тесты, чтобы запускать фичи в продакшен одним днем

Писать или не писать тесты — выбор очевидный. Конечно, писать. Но если проект масштабный, одних unit‑тестов будет недостаточно: они бессильны на границах модулей, в интеграциях и пользовательских сценариях, а значит в этих местах будут пролезать баги. Такой код будет сложно поддерживать, вносить в него изменения и получать ожидаемый результат. В статье поговорим про разные стратегии тестирования под разные риски и кейсы. Поднимемся над привычными unit‑тестами и заглянем, что там есть еще. Спойлер: а еще там workflow‑, integration‑, property‑based‑ и resilience‑тесты.

https://habr.com/ru/companies/mindbox/articles/1000090/

#C# #unittesting #integration_testing #propertybasedtesting #pure_functions #clean_architecture

Надежный код: как писать тесты, чтобы запускать фичи в продакшен одним днем

Писать или не писать тесты — выбор очевидный. Конечно, писать. Но если проект масштабный, одних unit‑тестов будет недостаточно: они бессильны на границах модулей, в интеграциях и пользовательских сценариях, а значит в этих местах будут пролезать баги. Такой код будет сложно поддерживать, вносить в него изменения и получать ожидаемый результат. В статье поговорим про разные стратегии тестирования под разные риски и кейсы. Поднимемся над привычными unit‑тестами и заглянем, что там есть еще. Спойлер: а еще там workflow‑, integration‑, property‑based‑ и resilience‑тесты.

https://habr.com/ru/companies/mindbox/articles/1000090/

#C# #unittesting #integration_testing #propertybasedtesting #pure_functions #clean_architecture

Надежный код: как писать тесты, чтобы запускать фичи в продакшен одним днем

Писать или не писать тесты — выбор очевидный. Конечно, писать. Но если проект масштабный, одних unit‑тестов будет недостаточно: они бессильны на границах модулей, в интеграциях и пользовательских сценариях, а значит в этих местах будут пролезать баги. Такой код будет сложно поддерживать, вносить в него изменения и получать ожидаемый результат. В статье поговорим про разные стратегии тестирования под разные риски и кейсы. Поднимемся над привычными unit‑тестами и заглянем, что там есть еще. Спойлер: а еще там workflow‑, integration‑, property‑based‑ и resilience‑тесты.

https://habr.com/ru/companies/mindbox/articles/1000090/

#C# #unittesting #integration_testing #propertybasedtesting #pure_functions #clean_architecture

Надежный код: как писать тесты, чтобы запускать фичи в продакшен одним днем

Писать или не писать тесты — выбор очевидный. Конечно, писать. Но если проект масштабный, одних unit‑тестов будет недостаточно: они бессильны на границах модулей, в интеграциях и пользовательских сценариях, а значит в этих местах будут пролезать баги. Такой код будет сложно поддерживать, вносить в него изменения и получать ожидаемый результат. В статье поговорим про разные стратегии тестирования под разные риски и кейсы. Поднимемся над привычными unit‑тестами и заглянем, что там есть еще. Спойлер: а еще там workflow‑, integration‑, property‑based‑ и resilience‑тесты.

https://habr.com/ru/companies/mindbox/articles/1000090/

#C# #unittesting #integration_testing #propertybasedtesting #pure_functions #clean_architecture

Нечёткое тестирование свойств

Есть две категории программистов. Первая пишет тесты, вторая работает. Шутейка, конечно, на троечку, но в каждой байке, застрявшей в пабликах мёртвых заархивированных форумов, под пылью и нафталином, — можно нащупать слой гранита настоящей правды. Модное ныне «покрытие кода тестами» напоминает попытку оклеить айсберг новогодней мишурой — вроде и весело, но Титаник все равно пойдет на дно. Я собираюсь рассказать о том, как правильно тестировать код в изоляции (интеграционные тесты — зверь из соседнего вольера, и о нем — в другой раз). Для этого нам потребуется пара определений. Фаззинг (от английского fuzzing ) — это способ тестирования, при котором программе скармливают огромные объемы случайных, полуслучайных или вообще намеренно испорченных данных, с надеждой выявить уязвимости или баги. Изначально этот метод применялся в академической среде для поиска дыр в безопасности, но быстро перекочевал в руки здравомыслящих разработчиков. Property-based testing , в свою очередь, представляет собой подход к тестированию, где вместо проверки конкретных примеров типа «дважды два — четыре» мы формулируем общие свойства системы. Например: «если функция принимает список и возвращает список, то длина результата не должна превышать длину входа». А дальше уже инструмент генерирует тысячи, миллионы вариантов входных данных и проверяет, соблюдается ли это условие. Taste it!

https://habr.com/ru/articles/983538/

#propertybasedtesting #fuzzing #testing

So what have you been up to lately, Jan?
Meh, some renaming 🐫🎄🎅
https://discuss.ocaml.org/t/ann-qcheck-0-90-the-great-renaming/17613
#ocaml #quickcheck #pbt #propertybasedtesting

So what have you been up to lately, Jan?
Meh, some renaming 🐫🎄🎅
https://discuss.ocaml.org/t/ann-qcheck-0-90-the-great-renaming/17613
#ocaml #quickcheck #pbt #propertybasedtesting

So what have you been up to lately, Jan?
Meh, some renaming 🐫🎄🎅
https://discuss.ocaml.org/t/ann-qcheck-0-90-the-great-renaming/17613
#ocaml #quickcheck #pbt #propertybasedtesting

So what have you been up to lately, Jan?
Meh, some renaming 🐫🎄🎅
https://discuss.ocaml.org/t/ann-qcheck-0-90-the-great-renaming/17613
#ocaml #quickcheck #pbt #propertybasedtesting

So what have you been up to lately, Jan?
Meh, some renaming 🐫🎄🎅
https://discuss.ocaml.org/t/ann-qcheck-0-90-the-great-renaming/17613
#ocaml #quickcheck #pbt #propertybasedtesting

Ah, the riveting world of property-based testing for Python—because who wouldn't want to spend their day configuring test settings and suppressing health checks? 🤦‍♂️ Apparently, the key to a fulfilling life is exploring the endless menus of #Hypothesis documentation while debating if Auto lightdark mode is really the pinnacle of UI innovation. 🚀
https://hypothesis.readthedocs.io/en/latest/ #propertybasedtesting #Python #UIinnovation #softwaretesting #HackerNews #ngated

Hypothesis: Property-Based Testing for Python

https://hypothesis.readthedocs.io/en/latest/

#HackerNews #PropertyBasedTesting #Python #Hypothesis #SoftwareTesting #TestingTools

Hypothesis: Property-Based Testing for Python

https://hypothesis.readthedocs.io/en/latest/

#HackerNews #PropertyBasedTesting #Python #Hypothesis #SoftwareTesting #TestingTools

Hypothesis: Property-Based Testing for Python

https://hypothesis.readthedocs.io/en/latest/

#HackerNews #PropertyBasedTesting #Python #Hypothesis #SoftwareTesting #TestingTools

Hypothesis: Property-Based Testing for Python

https://hypothesis.readthedocs.io/en/latest/

#HackerNews #PropertyBasedTesting #Python #Hypothesis #SoftwareTesting #TestingTools

Hypothesis: Property-Based Testing for Python

https://hypothesis.readthedocs.io/en/latest/

#HackerNews #PropertyBasedTesting #Python #Hypothesis #SoftwareTesting #TestingTools

About the efficacy of Property Based Testing. According to the study it's better than I (as a supporter) would have guessed.
https://dl.acm.org/doi/10.1145/3764068

#propertyBasedTesting #pbt

About the efficacy of Property Based Testing. According to the study it's better than I (as a supporter) would have guessed.
https://dl.acm.org/doi/10.1145/3764068

#propertyBasedTesting #pbt

About the efficacy of Property Based Testing. According to the study it's better than I (as a supporter) would have guessed.
https://dl.acm.org/doi/10.1145/3764068

#propertyBasedTesting #pbt

About the efficacy of Property Based Testing. According to the study it's better than I (as a supporter) would have guessed.
https://dl.acm.org/doi/10.1145/3764068

#propertyBasedTesting #pbt

About the efficacy of Property Based Testing. According to the study it's better than I (as a supporter) would have guessed.
https://dl.acm.org/doi/10.1145/3764068

#propertyBasedTesting #pbt

Property-Based Testing of OCaml 5's Runtime System [pdf]

https://janmidtgaard.dk/papers/Midtgaard%3AOLIVIERFEST25.pdf

#HackerNews #PropertyBasedTesting #OCaml5 #RuntimeSystem #SoftwareTesting #FunctionalProgramming

thanks to all participants of my session on #propertybasedtesting at the Advanced Developer Conference (ADC) in Regensburg!

You can find the presentation here:

https://draptik.github.io/2025-05-adc-property-based-testing/1

[Перевод] Исследуем монады в Rust через тестирование на основе свойств

В педагогике программирования монады занимают место мистического объекта из мира функционального программирования, который трудно понять и еще труднее объяснить. Стереотип о сложности объяснения монад заключается в том, что они делятся на две категории: либо сравнение с каким-то продуктом питания , либо написание сложного математического жаргона, в чем проблема?

https://habr.com/ru/articles/887234/

#Rust #quickcheck #monad #propertybasedtesting

@IAmSteveLove mind sharing your slides/storyline/code for other people wanting to spread the joy of #PropertyBasedTesting ?

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

Maybe somebody can help me with this...

#dotNET #propertybasedtesting #FSharp #CsCheck

https://github.com/draptik/dotnet-property-based-testing/blob/main/tests/PBTDemosFsharp.Tests/TestsXunitCsCheck.fs

Curious: Is anybody using #CsCheck with #FSharp #propertybasedtesting
I'd love to see some example code!

https://github.com/AnthonyLloyd/CsCheck
#dotNET

step-by-step learning #propertybasedtesting in #dotNET
https://github.com/draptik/dotnet-property-based-testing/blob/main/tests/PBTDemosFsharp.Tests/Tests_xunit.fs

so is this ok for learning #propertybasedtesting ?
https://github.com/draptik/dotnet-property-based-testing/
#dotNET #FSharp
Any pointers?

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

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 #FsCheck #xunit

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

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

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

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

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

Okay, Hypothesis, this is pretty cool

https://github.com/meejah/fowl/pull/35/commits/3258de16043b37c800e49215e868595e20201d6a

#python #hypothesis #propertyBasedTesting