Programmierbares eigenschaftsbasiertes Testen: Eine neue Sprache für Eigenschaften
Programmable Property-Based Testing
Eigenschaftsbasiertes Testen (PBT) ist eine beliebte Technik, um Vertrauen in Software zu gewinnen. In modernen PBT-Frameworks sind Eigenschaften jedoch eng an die Art und Weise gekoppelt, wie sie getestet werden. Wir schlagen eine neue, tiefere Sprache für Eigenschaften vor, die auf einer gemischten Einbettung basiert, die wir als „deferred binding abstract syntax“ bezeichnen. Diese reifiziert Eigenschaften als Datenstruktur und entkoppelt sie von den Testausführern. Wir implementieren diese Sprache in Rocq und Racket und demonstrieren ihre Flexibilität durch die schnelle Prototypisierung verschiedener Testausführer, was domänenspezifische Verbesserungen ermöglicht.
In modernen PBT-Frameworks sind Eigenschaften in der Regel in flach eingebetteten domänenspezifischen Sprachen geschrieben, und ihre Definition ist eng mit der Art und Weise gekoppelt, wie sie getestet werden.