HOL-TestGen - Phần mềm miễn phí tải về Cho Linux Trong đảm bảo chất lượng và kiểm thử phần mềm

HOL-TestGen 1.7.0

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...