Propwise
Analizador de candidatos a pruebas basadas en propiedades para Elixir mediante AST.
analiza los 脕rboles de Sintaxis Abstracta de Elixir para identificar funciones ideales para pruebas basadas en propiedades y generar generadores StreamData autom谩ticamente.
La Propuesta
Las pruebas basadas en propiedades (PBT) son inigualables para encontrar casos l铆mite en la l贸gica de software, pero comenzar a utilizarlas requiere identificar funciones candidatas, escribir generadores complejos y definir propiedades algebraicas manualmente.
Propwise elimina la barrera de entrada a PBT en Elixir. Analizando firmas de funciones, coincidencias de patrones, especificaciones de tipos y flujo de control del AST, Propwise descubre funciones candidatas y genera plantillas de generadores StreamData鈥攑ermitiendo a las empresas desbloquear PBT con un esfuerzo m铆nimo.
驴Por qu茅 Propwise?
Detecci贸n de Candidatos en AST
Escanea m贸dulos para localizar funciones puras y ramas complejas aptas para validaci贸n de propiedades.
An谩lisis de Especificaciones de Tipo
Extrae restricciones de tipos de anotaciones
@spec
y guardas para inferir generadores autom谩ticamente.
Generaci贸n de Plantillas StreamData
Emite plantillas de pruebas de propiedades ExUnit integradas directamente con
StreamData
.
Adopci贸n Incremental
Ejecuta escaneos AST en m贸dulos legados para expandir gradualmente la cobertura de PBT.
La Tecnolog铆a
| Lenguaje | Elixir |
| Librer铆a PBT | StreamData |
| Nivel de An谩lisis | AST y Tipos Specs |
| Paquete Hex |
propwise
|
Para Qui茅n Es
- Desarrolladores Elixir que desean adoptar pruebas basadas en propiedades sin escribir c贸digo repetitivo.
- Especialistas en QA y Pruebas que expanden la cobertura en canalizaciones funcionales puras.
- Mantenedores de Librer铆as que garantizan invariantes s贸lidas en APIs p煤blicas.
En Resumen
Automatiza la selecci贸n de candidatos y la configuraci贸n de generadores para PBT en Elixir con Propwise.