property-based-testing

Umiejętność wspomagająca pisanie testów opartych na właściwościach (property-based testing) w wielu językach programowania i smart contractach. Wykorzystaj ją podczas kodowania, gdy pracujesz z serializacją, walidacją, parsingiem lub normalizacją danych. Narzędzie automatycznie wykrywa wzorce, gdzie testowanie właściwości daje lepsze pokrycie niż tradycyjne testy przykładowe — szczególnie przydatne dla funkcji czystych, par encode/decode i logiki walidacji.

1. Aktywuj umiejętność podczas pracy nad kodem zawierającym typowe wzorce property-based testing: pary serializacji (encode/decode, toJSON/fromJSON), parsery (URL, konfiguracja, protokoły), normalizatory (sanitize, format), walidatory (validate, check_*) lub operacje na strukturach danych (add/remove/get). 2. Umiejętność automatycznie wykryje te wzorce w Twoim kodzie — nie musisz jej ręcznie wywoływać. Skoncentruj się na sekcjach z transformacją danych lub logiką walidacji. 3. Dla par encode/decode zaproś umiejętność do napisania testów roundtrip — sprawdzających, czy dane po zakodowaniu i odkodowaniu wracają do oryginalnej postaci. 4. Dla funkcji czystych (bez efektów ubocznych) poproś o testy wielorakie — testujące idempotencję, porządkowanie i niezmienniki. 5. W smart contractach (Solidity, Vyper) użyj umiejętności do weryfikacji niezmienników stanu, operacji tokenów i kontroli dostępu. 6. Unikaj stosowania tej umiejętności do prostych operacji CRUD bez transformacji, kodu jednorazowego, funkcji z efektami ubocznymi (zapytania sieciowe, zapis do bazy) lub testów, gdzie konkretne przypadki przykładowe w pełni pokrywają wymagania.