Propwise
Analitzador de candidats a proves basades en propietats per a Elixir mitjançant AST.
analitza els Arbres de Sintaxi Abstracta d'Elixir per identificar funcions ideals per a proves basades en propietats i generar generadors StreamData automàticament.
La Proposta
Les proves basades en propietats (PBT) són inigualables per trobar casos límit en la lògica de programari, però començar a utilitzar-les requereix identificar funcions me les candidates, escriure generadors complexos i definir propietats algebraicament de forma manual.
Propwise elimina la barrera d'entrada a PBT a Elixir. Analitzant signatures de funcions, coincidències de patrons, especificacions de tipus i flux de control de l'AST, Propwise descobreix funcions candidates i genera plantilles de generadors StreamData—permetent als equips desbloquejar PBT amb un esforç mínim.
Per què Propwise?
Detecció de Candidats en AST
Escaneja mòduls per localitzar funcions pures i branques me les me les me les complexes aptes per a validació de propietats.
Anàlisi d'Especificacions de Tipus
Extrau restriccions de tipus d'anotacions
@spec
i guardes per inferir generadors automàticament.
Generació de Plantilles StreamData
Emet plantilles de proves de propietats ExUnit integrades directament amb
StreamData
.
Adopció Incremental
Executa escanejos AST en mòduls llegats per expandir gradualment la cobertura de PBT.
La Tecnologia
| Llenguatge | Elixir |
| Llibreria PBT | StreamData |
| Nell d'Anàlisi | AST i Tipus Specs |
| Paquet Hex |
propwise
|
Per a Qui És
- Desenvolupadors Elixir que volen adoptar proves basades en propietats sense escriure codi repetitiu.
- Especialistes en QA i Proves que expandeixen la cobertura en canalitzacions funcionals pures.
- Mantenidors de Llibreries que garanteixen invariants sòlides en APIs públiques.
En Resum
Automatitza la selecció de candidats i la configuració de generadors per a PBT a Elixir amb Propwise.