HOL-TestGen

소프트웨어 스크린 샷:
HOL-TestGen
소프트웨어 정보:
버전: 1.7.0
업로드 날짜: 20 Feb 15
라이센스: 무료
인기: 80

Rating: 4.0/5 (Total Votes: 2)

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

이 특징 :.

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

이 릴리스의 새로운 기능 :

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

유사한 소프트웨어

PyHamcrest
PyHamcrest

11 May 15

fakeldap
fakeldap

11 May 15

crpcut
crpcut

20 Feb 15

qtsourceview
qtsourceview

11 May 15

코멘트 HOL-TestGen

댓글을 찾을 수 없습니다
코멘트를 추가
이미지를 켜십시오!