HOL-TestGen 1.7.0

HOL-TestGen은 (HOL) 하나가 높은 순서 논리의 테스트 사양을 작성할 수 있습니다. 이는 반 - 자동 추상 테스트 케이스 결과 입력 공간을 분할하고, 자동 콘크리트 테스트 데이터를 선택할 수있다.(SML)에서 테스트 하니스의 자동 생성을 지원하고, 외국어 인터페이스를 사용하고, 임의의 언어 (예를 들면 C)의 구현은 테스트 될 수있다.HOL-OCL은​​ 자유 소프트웨어입니다 당신은 그것을 재배포 및 / 또는 GPL의 규정에 따라 수정할 수...