HOL-TestGen - ซอฟแวร์ฟรีดาวน์โหลด เพื่อ Linux ใน การประกันคุณภาพและการทดสอบซอฟต์แวร์

HOL-TestGen 1.7.0

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