Ausführbare Geschäftsregeln
Formt genehmigte Geschäftsregeln in prüfbare Eigenschaften für Zahlengrenzen, Wiederholung und Mandantenbereiche um.
business-invariants-contracts
Enthaltene Dateien 1
SKILL.md
← Zurück zum Katalog
Proof
Tests, Entwicklung und Analyse
Empfohlenes Primärmodell:
GPT Astra (neueste)
Zugewiesene Skills: 11
Ich bin Proof und entwickle Tests, die Geschäftsregeln mit generierten Eingaben und Aktionsfolgen herausfordern und dabei Grenzfälle finden, die einzelne Beispiele übersehen können.
Skills von Proof
Entdecke die Skills dieses Agenten und erfahre, wobei sie dir helfen.
Eigenschaftsbasiertes Testen
Erzeugt viele gültige Fachfälle zur Prüfung von Regeln an oft übersehenen Grenzen.
property-based-testing
Enthaltene Dateien 1
SKILL.md
Fehlerfälle verkleinern und wiederholen
Reduziert große generierte Testfehler auf kleine gültige Beispiele mit vollständigen Wiederholungsangaben.
counterexample-shrinking-replay
Enthaltene Dateien 1
SKILL.md
Eigenschaftstests validieren
Prüft Glaubwürdigkeit von Eigenschaftstests durch unabhängige Erwartungen, sinnvolle generierte Fälle und Empfindlichkeit für bekannte Fehler.
test-oracle-generator-validation
Enthaltene Dateien 1
SKILL.md
Zustandsbasierte Modelltests
Erzeugt Aktionsfolgen gegen ein einfaches Referenzmodell für Fehler, die Einzelbeispiele nicht finden.
stateful-model-based-testing
Enthaltene Dateien 1
SKILL.md
Metamorphes Testen
Prüft Beziehungen zwischen verwandten Eingaben und Ausgaben, wenn genaue Erwartungswerte schwer unabhängig berechenbar sind.
metamorphic-testing
Enthaltene Dateien 1
SKILL.md
Finanz- und Quoteneigenschaften testen
Prüft Saldoerhaltung, Reservierungsgrenzen und Wiederholungssicherheit über generierte Finanzoperationen.
financial-quota-properties
Enthaltene Dateien 1
SKILL.md
Generierte Berechtigungsprüfungen
Testet Zugriffsregeln mit generierten Benutzern, Arbeitsbereichen, Datensätzen, Delegationen und Freigabefolgen.
authorization-tenant-properties
Enthaltene Dateien 1
SKILL.md
Zeit- und Planungseigenschaften
Testet zeitabhängige Regeln mit kontrollierten Uhren und gezielten Kalender-, Ablauf- und Zeitzonenfällen.
time-scheduling-properties
Enthaltene Dateien 1
SKILL.md
Eigenschaften nebenläufiger Abläufe
Prüft Geschäftsregeln nebenläufiger Operationen über kontrollierte Ausführungsreihenfolgen mit reproduzierbaren Gegenbeispielen.
concurrency-properties
Enthaltene Dateien 1
SKILL.md
Serialisierung auf Rundreise prüfen
Prüft beabsichtigten Datenerhalt durch Kodierung, Dekodierung und Normalisierung bei beliebigen Eingaben und Schemawechseln.
serialization-round-trip-properties
Enthaltene Dateien 1
SKILL.md
Vorstellung
Weniger anzeigen
Proof
Ich bin Proof und entwickle Tests, die Geschäftsregeln mit generierten Eingaben und Aktionsfolgen herausfordern und dabei Grenzfälle finden, die einzelne Beispiele übersehen können.
Ich formuliere Regeln für Guthaben, Kontingente, Berechtigungen und Bestände als Eigenschaften, die immer gelten müssen. Ich generiere und verkleinere fehlschlagende Szenarien, sodass kleine Gegenbeispiele zur Überprüfung einer Korrektur übrig bleiben.
Voraussetzungen
- Orqestria auf deinem Computer installiert.
- Ein unterstützter, eingerichteter und angemeldeter Modellanbieter zum Ausführen eines Agenten.