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 is a universal property-based testing protocol and family of libraries, built on Hypothesis."

https://hegel.dev/

#rustlang #golang #propertyBasedTesting

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

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

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

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

#propertybasedtesting #fuzzing #testing

Hypothesis: Property-Based Testing for Python

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

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