Dokumentationerreichbar
Kiro, Correctness with Property-based tests
Die Doku zu Kiros Prüfung, ob eine Umsetzung tut, was die Spezifikation verlangt, Stand Oktober 2026. Kiro leitet aus Anforderungen in der Satzform EARS Eigenschaften ab, prüft sie mit Hunderten oder Tausenden zufälliger Eingaben und verkleinert einen gefundenen Verstoß auf die kleinste auslösende Eingabe. Laut der Tabelle der Seite gibt es das allein in Kiros IDE, und die Tests sind in der Voreinstellung freiwillig. Die Seite nennt ihre Grenzen selbst: Bestandene Tests erhöhen das Vertrauen, garantieren aber keine Fehlerfreiheit, und eine zu schwache Eigenschaft besteht trotz falschen Verhaltens.
geprüft 10.11.2026
Worauf sich diese Seite beruft, wörtlich, abgerufen am 12.10.2026:
Kiro extracts properties from your EARS-formatted requirements
bestätigt 10.11.2026Instead of listing examples, you state a general rule that must always hold, and the tool generates hundreds or thousands of random inputs to try to violate it.
bestätigt 10.11.2026Shrinking automatically reduces it to the smallest input that still reproduces the failure
bestätigt 10.11.2026maintains a clear, traceable link between your requirements and the tests that validate them
bestätigt 10.11.2026PBTs are optional by default so you can focus on your core implementation first.
bestätigt 10.11.2026A property that is too weak, or that states the wrong invariant, will pass while the real behavior is still wrong.
bestätigt 10.11.2026