CrossHair
v0.0.80
เครื่องมือวิเคราะห์สำหรับ Python ที่เบลอเส้นแบ่งระหว่างการทดสอบและระบบประเภท
ข่าวล่าสุด: สมมติฐานการทดสอบอสังหาริมทรัพย์ที่ได้รับความนิยมมากที่สุดของ Python ซึ่งปัจจุบันรองรับการทำงานของ Crosshair เป็นแบ็กเอนด์เสริม!
หากคุณมีฟังก์ชั่นที่มีคำอธิบายประกอบประเภทและเพิ่มสัญญาในไวยากรณ์ที่รองรับ Crosshair จะพยายามค้นหาตัวอย่างสำหรับคุณ:
Crosshair ทำงานโดยเรียกฟังก์ชั่นของคุณซ้ำ ๆ ด้วยอินพุตสัญลักษณ์ มันใช้ SMT Solver (สุภาษิตทฤษฎีบท) เพื่อสำรวจเส้นทางการดำเนินการที่มีศักยภาพและค้นหาตัวอย่างสำหรับคุณ นี่ไม่ใช่ความคิดใหม่ วิธีการหลามได้อธิบายไว้เป็นครั้งแรกในบทความนี้ อย่างไรก็ตามสำหรับความรู้ของฉัน Crosshair เป็นการนำไปใช้ที่สมบูรณ์ที่สุด: สามารถใช้การใช้เหตุผลเชิงสัญลักษณ์สำหรับประเภทในตัวคลาสที่ผู้ใช้กำหนดและห้องสมุดมาตรฐานส่วนใหญ่
ลอง Crosshair ตอนนี้ในเบราว์เซอร์ของคุณที่ Crosshair-web.org!
Crosshair มีการบูรณาการ IDE สำหรับรหัส VS, Pycharm และอื่น ๆ
ในที่สุด Crosshair สามารถทำมากกว่าการตรวจสอบสัญญา นอกจากนี้ยังสามารถสร้างการทดสอบหน่วยและค้นหาความแตกต่างของพฤติกรรมระหว่างฟังก์ชั่น
ต้องการความช่วยเหลือ? ลงทะเบียนสำหรับการอัปเดตอีเมลหรือ RSS ดาว️ที่เก็บ มีวิธีอื่นที่จะช่วยด้วย
