Property-Based Testing
Seguridad · Profundo
Una metodologia de pruebas en la que los desarrolladores definen propiedades (invariantes) que deben cumplirse para todas las entradas validas, y un marco de pruebas genera entradas aleatorias para intentar falsificar esas propiedades. A diferencia de las pruebas unitarias que verifican ejemplos especificos, las pruebas basadas en propiedades exploran el espacio de entradas de forma estocastica. Para programas de Solana, las propiedades podrian incluir 'el suministro total de tokens nunca cambia durante las transferencias' o 'sólo la autoridad puede modificar la cuenta de configuración'. Herramientas como Trident y proptest soportan este enfoque.