CrossHair

Python的分析工具，該工具模糊了測試和類型系統之間的界限。

最新消息： Python最受歡迎的基於物業的測試工具假設現在支持Crosshair作為可選的後端！

如果您具有帶有類型註釋的功能並在受支持的語法中添加合同，Crosshair將嘗試為您找到反示例：

Crosshair用符號輸入反複調用您的功能來起作用。它使用SMT求解器（一種定理供體）來探索可行的執行路徑並為您找到反例。這不是一個新想法；本文首先描述了Python方法。但是，據我所知，Crosshair是最完整的實現：它可以為內置類型，用戶定義的類和大部分標準庫使用符號推理。

在您的瀏覽器中，在Crosshair-web.org上嘗試Crosshair！

Crosshair具有VS代碼，Pycharm等的IDE集成。

最後，Crosshair可以做的不僅僅是檢查合同。它還可以生成單位測試並發現功能之​​間的行為差​​異。

想幫助嗎？註冊電子郵件或RSS更新。星級存儲庫。還有其他方法可以提供幫助。

文件

• 介紹
• 開始
• 詳細信息：合同
• 詳細信息：封面
• 詳細信息：差異
• 合同的種類
• 為您的課堂提示
• IDE集成
• 案例研究
• 限制
• 插件
• 它如何工作？
• 我該如何幫助？
• 相關工作
• 貢獻
• ChangElog