property-based-testing

Property-based testing catches edge cases by generating tests with appropriate strategies and properties. This Skill guides you in detecting PBT opportunities, generating effective tests, and reviewing existing ones to catch edge cases that example-based tests miss.

Use property-based testing when developing serialization libraries, validation logic, or checking invariants. This Skill helps detect patterns suitable for PBT and generates tests ensuring roundtrip integrity and handling various edge cases in data encoding and decoding.

Yes, Echidna is supported for smart contract property-based testing. This Skill provides guidance and strategies for PBT across multiple programming languages and smart contract development, including tools like Echidna.

Yes, property-based testing works across Python, JavaScript, Rust, Go, and Java. This Skill facilitates the detection of PBT opportunities, generation of tests with appropriate strategies, and review of existing PBT tests for quality issues in these languages.

To identify weak assertions or tautological properties in your existing PBT tests, use this Skill to review test quality. It helps detect issues like tautological properties and weak assertions, ensuring your property-based tests are robust and comprehensive.

The best way to generate property-based tests for a serialization library is to define properties ensuring roundtrip integrity. This Skill assists in creating tests with appropriate strategies and properties to handle various edge cases in data encoding and decoding.