ภาพหน้าจอของซอฟแวร์:
รายละเอียดซอฟแวร์:
รุ่น: 1.7.0
วันที่อัพโหลด: 20 Feb 15
ผู้พัฒนา: Achim D. Brucker and Burkhart Wolff
การอนุญาต: ฟรี
ความนิยม: 15
HOL-TestGen ช่วยให้หนึ่งในการเขียนรายละเอียดการทดสอบในตรรกะที่สูงขึ้นตามคำสั่ง (HOL) มันสามารถ (กึ่ง) โดยอัตโนมัติพาร์ทิชันพื้นที่การป้อนข้อมูลที่เกิดขึ้นในกรณีทดสอบนามธรรมโดยอัตโนมัติและเลือกข้อมูลการทดสอบคอนกรีต
รุ่นอัตโนมัติของสายรัดทดสอบ (ใน SML) ได้รับการสนับสนุนและการใช้อินเตอร์เฟซภาษาต่างประเทศ, การใช้งานในภาษาโดยพลการ (เช่น C) สามารถทดสอบได้
HOL-OCL เป็นซอฟต์แวร์เสรี คุณสามารถแจกจ่ายและ / หรือแก้ไขได้ภายใต้เงื่อนไขของ GPL โครงการ HOL-TestGen จะถูกพัฒนาโดย Achim D. Brucker และ Burkhart วูลฟ์
คุณสมบัติ .
- การเขียนข้อกำหนดในการทดสอบสูงขึ้น ตรรกะการสั่งซื้อ (HOL)
- (กึ่ง) โดยอัตโนมัติพาร์ทิชันพื้นที่การป้อนข้อมูลที่เกิดขึ้นในกรณีทดสอบนามธรรม
- เลือกโดยอัตโนมัติข้อมูลการทดสอบคอนกรีต
- โดยอัตโนมัติสร้างสคริปต์ทดสอบ (ใน SML)
- ใช้อินเตอร์เฟซภาษาต่างประเทศ, การใช้งานในภาษาโดยพลการ (เช่น C) สามารถผ่านการทดสอบ.
มีอะไรใหม่ ในข่าวประชาสัมพันธ์นี้:
- รุ่นนี้ได้รับการแจ้งความกับอิสซาเบล / HOL 2011-1
- ตัวอย่างใหม่ถูกเพิ่ม.
- ส่วนติดต่อผู้ใช้ jEdit ตามถูกนำมาใช้ในขณะนี้โดยเริ่มต้น.
ความคิดเห็นที่ไม่พบ