CrossHair
v0.0.80
テストとタイプシステムの間のラインを曖昧にするPythonの分析ツール。
最新のニュース： Pythonで最も人気のあるプロパティベースのテストツールである仮説は、オプションのバックエンドとしてクロスウェアのランニングをサポートしています！
タイプの注釈を備えた関数があり、サポートされている構文に契約を追加する場合、Crosshairはあなたのためのカウンターエクサムプルを見つけようとします。
Crosshairは、象徴的な入力で機能を繰り返し呼び出すことで機能します。 SMTソルバー（一種の定理プロバー）を使用して、実行可能な実行パスを探索し、カウンターエクサムを見つけます。これは新しいアイデアではありません。この論文では、Pythonアプローチが最初に説明されました。ただし、私の知る限り、Crosshairは最も完全な実装です。ビルトインタイプ、ユーザー定義クラス、および標準ライブラリの多くに象徴的な推論を使用できます。
Crosshair-web.orgで、ブラウザで今すぐCrosshairをお試しください！
Crosshairには、VSコード、PycharmなどのIDE統合があります。
最後に、Crosshairは契約をチェックする以上のことを行うことができます。また、単体テストを生成し、関数間の行動の違いを見つけることもできます。
助けたいですか？電子メールまたはRSSの更新にサインアップします。スターピネーションリポジトリ。他にも助ける方法があります。
