![](/statics/img/blank.png)
QuickCheck for Java 4j
5초 만에 다운로드할 수 있습니다.
다음 외부 다운로드 링크를 클릭하여 다운로드를 시작할 수도 있습니다.
http://sourceforge.net/projects/qc4j/files/qc4j-core/qc4j-core-0.1/qc4j-core-0.1.jar/download
에 대해 QuickCheck for Java
QC4J는 하스켈에 대한 QuickCheck를 기반으로 자동화된 사양 기반 테스트 프레임워크입니다. 사용자 정의 생성기를 통해 테스트 데이터를 자동으로 생성하여 참조적으로 투명한 코드를 쉽게 테스트할 수 있습니다.
관련 프로그램
-
Invisible Protector II Pro 무료
보이지 않는 보호자는 가짜 오류로 개인 응용 프로그램을 보호합니다.최고의 앱 프로텍터인 #39 무엇입니까? 강력한 암호? 물론 아니에요. 최고의 프록터는 Prier가 어떤 보호를 인식하지 못하게하고 또한 가능한 한 자신을 숨길 수 있습니다. 보이지 않는 수호자는 개인 앱을 보호하는 보호자 중 하나입니다.보호 된 응용 프로그램을 시작할 때, 그것은 당신의 응용 프로그램이 결함이 나 뭔가가 있다고
-
BDB Developer Edition 무료 평가판
BDB는 전체 기능을 갖춘 데이터베이스 설계 소프트웨어입니다.오라클, SQL 서버, MySQL, 액세스, SQLAnywhere 및 Sybase를 지원합니다.또한 BDB는 훌륭한 SQL 쿼리 인텔리센스 도구이기도 합니다.주요 BDB 기능:• 데이터베이스 디자인.BDB로 데이터베이스 모델을 빌드하고, 미래 엔지니어링 및 역엔지니어링을 지원하며, 데이터베이스 모델과 엔터티 데이터베이
-
Supermount removable media support 무료
Supermount은 플로피 디스크 및 CD-ROM과 같은 이동식 미디어에서 파일 시스템을 관리하는 의사 파일 시스템입니다. 수동으로 마운트 및 마운트 해제 미디어를 필요로하지 않습니다.
-
Smart Lock Lite(App Protector) 무료
휴대 전화에 있는 모든 앱을 잠급합니다.친구에게 휴대 전화를 표시 할 때 더 이상 걱정하지 않습니다.당신은 당신의 안드로이드 장치에 대한 개인 정보 보호의 조금이 필요합니까?기기에서 민감한 메시지, 사진 등을 가지고 놀기를 싫어하는 사람이 있습니까?문자 메시지, 이메일, 사진 및 일정과 같은 귀중하고 현명한 개인 데이터를 보호하려면 스마트 잠금 및 쿼트가 필요합니다.데이터와 앱은 암
-
Airpush Finder 무료 평가판
광고 알림에 신경을 쓰지 셨나요? Airpush 파인더를 사용하면 Airpush 알림으로 앱을 쉽게 찾고 제거하는 데 도움이 될 수 있습니다.에어 푸시 파인더의 검색 속도는 매우 빠르며 몇 초밖에 필요하지 않습니다. 그리고 에어푸시 파인더는 최신 에어푸시/애드로커스 앱을 감지할 수 있습니다.Airpush Finder를 사용하는 것은 매우 쉽습니다. 앱이 발견되면 앱을 탭하기만 하면 됩니다
-
Tamil Tools 무료
Tamil Tools 프로젝트의 목표는 타밀 언어와 관련된 주요 오픈 소스 소프트웨어를 한 곳에서 통합하는 것입니다. 즉각적인 목표는 TI2001 컨퍼런스에서 INFITT가 구상한 대로 TSCII, TAB 및 유니코드 간에 표준 인코딩 컨버터를 개발하는 것입니다.
-
Petri-LLD 무료
Petri-LLD는 실시간 자동화 제어를 위한 그래픽 개발 환경이며 Java에 기록되어 있습니다. 그것은 Petri 그물의 형태를 기반으로하고, 프로그래밍 가능한 논리 컨트롤러 (PLC) 언어뿐만 아니라 자바와 비주얼 베이직의 숫자에 컴파일.
-
Advanced Message 무료 평가판
고급 메시지는 향상된 고급 안드로이드 메시지 응용 프로그램입니다, 당신은 보내고 친구와 이모티콘과 그룹 메시지를받을 수 있습니다, 당신은이 응용 프로그램에서 더 많은 기능을 사용자 정의 할 수 있습니다, 그냥 다음 기능을 참조하십시오 :기능:- 플랫 스타일 버블 테마 지원.- 사용하기 쉽고 빠르게 사용할 수 있습니다.- 편리하게 메시지를 관리할 수 있습니다.- LED / 사운드
-
Hoepsch JSON 무료
Hoepsch JSON은 JSON 개체를 만들고 읽기 위한 Java 라이브러리입니다. 라이브러리는 사용 편의성, 단순성 및 일관성에 중점을 둡니다. 추가/get을 통한 개체 생성과 개체 마샬링이 지원됩니다. 테스트 사례는 모든 클래스에 대해 제공됩니다.
-
mspgcc4 무료
이것은 텍사스 인스트루먼트 MSP430 마이크로 컨트롤러 코어에 GCC 4.x 분기의 포트입니다. GCC 3.2.3에 붙어 있는 MSPGCC 프로젝트를 기반으로 합니다.