À utiliser lors de l'écriture de tests pour la sérialisation, la validation, la normalisation ou les fonctions pures : fournit un catalogue de propriétés, une détection de modèles et une référence de bibliothèque pour les tests basés sur les propriétés.
Installez rapidement le skill IA property-based-testing dans votre environnement de développement via la ligne de commande
Source : ed3dai/ed3d-plugins.
Property-based testing (PBT) generates random inputs and verifies that properties hold for all of them. Instead of testing specific examples, you test invariants.
| Roundtrip | decode(encode(x)) == x | Serialization, conversion pairs | | Idempotence | f(f(x)) == f(x) | Normalization, formatting, sorting | | Invariant | Property holds before/after | Any transformation | | Commutativity | f(a, b) == f(b, a) | Binary/set operations | | Associativity | f(f(a,b), c) == f(a, f(b,c)) | Combining operations |
| Identity | f(x, identity) == x | Operations with neutral element | | Inverse | f(g(x)) == x | encrypt/decrypt, compress/decompress | | Oracle | newimpl(x) == reference(x) | Optimization, refactoring | | Easy to Verify | issorted(sort(x)) | Complex algorithms | | No Exception | No crash on valid input | Baseline (weakest) |
Champs et commandes stables pour les citations IA/recherche.
npx skills add https://github.com/ed3dai/ed3d-plugins --skill property-based-testingÀ utiliser lors de l'écriture de tests pour la sérialisation, la validation, la normalisation ou les fonctions pures : fournit un catalogue de propriétés, une détection de modèles et une référence de bibliothèque pour les tests basés sur les propriétés. Source : ed3dai/ed3d-plugins.
Ouvrez votre terminal ou outil de ligne de commande (Terminal, iTerm, Windows Terminal, etc.) Copiez et exécutez cette commande : npx skills add https://github.com/ed3dai/ed3d-plugins --skill property-based-testing Une fois installé, le skill sera automatiquement configuré dans votre environnement de programmation IA et prêt à être utilisé dans Claude Code, Cursor ou OpenClaw
https://github.com/ed3dai/ed3d-plugins