CrossHair

Ein Analysetool für Python, das die Grenze zwischen Test- und Typsystemen verwischt.

Die neuesten Nachrichten: Pythons beliebtestes testungsbezogenes Testwerkzeug, Hypothese, unterstützt jetzt das Laufen von Crosshair als optionales Backend!

Wenn Sie eine Funktion mit Typanmerkungen haben und einen Vertrag in eine unterstützte Syntax hinzufügen, versucht Crosshair, Gegenbeispiele für Sie zu finden:

Crosshair arbeitet, indem Sie Ihre Funktionen wiederholt mit symbolischen Eingaben aufrufen. Es verwendet einen SMT -Löser (eine Art Theorem -Prover), um praktikable Ausführungspfade zu untersuchen und Gegenbeispiele für Sie zu finden. Dies ist keine neue Idee; Ein Python -Ansatz wurde erstmals in diesem Artikel beschrieben. Meines Wissens ist Crosshair jedoch die vollständigste Implementierung: Es kann symbolische Argumentation für die integrierten Typen, benutzerdefinierten Klassen und einen Großteil der Standardbibliothek verwenden.

Versuchen Sie jetzt Crodhair in Ihrem Browser auf Crosshair-Web.org!

Crosshair hat IDE -Integrationen für VS -Code, Pycharm und mehr.

Schließlich kann Crosshair mehr als überprüft. Es kann auch Unit -Tests erzeugen und Verhaltensunterschiede zwischen Funktionen finden.

Willst du helfen? Melden Sie sich für E -Mail- oder RSS -Updates an. Stern ️ das Repository. Es gibt auch andere Möglichkeiten, um zu helfen.

Dokumentation

• Einführung
• Fangen an
• Die Details: Verträge
• Die Details: Cover
• Die Details: Diffbehavior
• Arten von Verträgen
• Hinweise für Ihre Klassen
• IDE -Integrationen
• Fallstudien
• Einschränkungen
• Plugins
• Wie funktioniert es?
• Wie kann ich helfen?
• Verwandte Arbeit
• Beitragen
• Changelog