HOL-TestGen 1.7.0
HOL-TestGen ช่วยให้หนึ่งในการเขียนรายละเอียดการทดสอบในตรรกะที่สูงขึ้นตามคำสั่ง (HOL) มันสามารถ (กึ่ง) โดยอัตโนมัติพาร์ทิชันพื้นที่การป้อนข้อมูลที่เกิดขึ้นในกรณีทดสอบนามธรรมโดยอัตโนมัติและเลือกข้อมูลการทดสอบคอนกรีตรุ่นอัตโนมัติของสายรัดทดสอบ (ใน SML)...