HOL-TestGen

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

이 특징 :.

이 높은 순서 논리에서 테스트 사양 (HOL)를 쓰기
반 - 자동 추상 테스트 케이스 결과 입력 공간 분할
자동 콘크리트 테스트 데이터를 선택
자동 (SML)에서 테스트 스크립트를 생성
외국어 인터페이스를 사용하여, 임의의 언어 (예를 들면 C)의 구현은 테스트 될 수있다.

이 릴리스의 새로운 기능 :

이 버전은 이자벨 / HOL 2011-1에 이식했다.
새로운로서는 첨가 하였다.
jEdit과 기반 사용자 인터페이스는 기본으로 사용됩니다.