HOL-TestGen

HOL-TestGen cho phép một để viết chi tiết kỹ thuật thử nghiệm trong logic bậc cao (HOL). Nó có thể (bán) tự động phân vùng không gian đầu vào, kết quả trong trường hợp thử nghiệm trừu tượng, và tự động chọn dữ liệu kiểm tra bê tông.
Tự động thế hệ của harnesses thử nghiệm (trong SML) được hỗ trợ, và sử dụng một giao diện ngôn ngữ nước ngoài, triển khai thực hiện trong ngôn ngữ tùy ý (ví dụ: C) có thể được kiểm tra.
HOL-OCL là phần mềm miễn phí; bạn có thể phát hành lại nó và / hoặc sửa đổi nó với điều kiện của GPL. Dự án HOL-TestGen được phát triển bởi Achim D. Brucker và Burkhart Wolff

Tính năng .

• thông số kỹ thuật ghi trong thử nghiệm còn cao logic trật tự (HOL)
• (bán) tự động phân vùng không gian đầu vào, kết quả trong trường hợp thử nghiệm trừu tượng
• tự động chọn dữ liệu kiểm tra bê tông
• tự động tạo ra các kịch bản thử nghiệm (trong SML)
• sử dụng một giao diện ngôn ngữ nước ngoài, triển khai thực hiện trong ngôn ngữ tùy ý (ví dụ: C) có thể được kiểm tra.

là gì mới trong phiên bản này:

• Phiên bản này đã được chuyển đến Isabelle / HOL 2011-1.
• ví dụ mới được thêm vào.
• Giao diện người dùng jEdit dựa trên hiện đang được sử dụng bởi mặc định.