![](/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 は、Haskell のクイックチェックに基づく、自動化された仕様ベースのテストフレームワークです。これにより、ユーザー定義のジェネレーターを使用してテスト データを自動的に作成することで、透過的なコードを簡単にテストできます。
関連プログラム
-
Invisible Protector II Pro 無料
目に見えないプロテクターは偽のエラーであなたのプライベートアプリケーションを保護します最高のアプリプロテクターは何と#39?s強力なパスワード?もちろんそうじゃないです。最高のプロエクターは、prierが任意の保護を認識しないようにし、それはまた、可能な限り自分自身を隠すことができます。目に見えないプロテクターは、あなたのプライベートアプリを保護するために、そのようなプロテクターの一つです。保護されたアプリを起動すると、偽のクラッシュ エ
-
BDB Developer Edition 無料トライアル
BDBは、フル機能のデータベース設計ソフトウェアです。これは、オラクル、SQLサーバー、MySQL、アクセス、SQLAnywhereおよびシベースをサポートしています。さらに、BDB は優れた SQL クエリ インテリセンス ツールでもあります。主なBDB機能:• データベース設計。BDB によるデータベース モデルの構築、フォワード エンジニアリングとリバース エンジニアリングのサポート、およびデータベース モデルとエ
-
Supermount removable media support 無料
スーパーマウントは、フロッピーディスクやCD-ROMなどのリムーバブルメディア上のファイルシステムを管理する擬似ファイルシステムです。メディアを手動でマウントおよびアンマウントする必要がなくなります。
-
Smart Lock Lite(App Protector) 無料
お使いの携帯電話上の任意のアプリをロックします。友人にあなたの携帯電話を表示するときこれ以上の心配はありません。あなたのAndroidデバイスのためのプライバシーの少しが必要ですか?あなたのデバイス上で機密性の高いメッセージ、写真などで遊ぶ人が嫌いですか?テキストメッセージ、電子メール、写真、スケジュールなどの貴重で魅惑的なプライベートデータを保護するには、"Smart Lock"が必要です。あなたのデータ
-
Airpush Finder 無料トライアル
あなたは広告の通知に悩まされていますか?エアプッシュファインダーは、簡単にエアプッシュ通知を持つアプリを見つけて削除するのに役立ちます。エアプッシュファインダーの検索速度は非常に高速で、数秒しか必要とされません。そして、エアプッシュファインダーは、最新のエアプッシュ/AdLocusアプリを検出することができます。Airpush Finderを使用するのは非常に簡単で、エアプッシュファインダーを開いただけで、Airpush通知を使用し
-
Tamil Tools 無料
タミルツールプロジェクトの目標は、タミル語に関連する主要なオープンソースソフトウェアを1か所に統合することです。 当面の目標は、TI2001会議でINFITTが想定するTSCII、TAB、ユニコード間の標準エンコーディング変換器を開発することです。
-
Petri-LLD 無料
Petri-LLD は、リアルタイムオートメーション制御のためのグラフィカル開発環境であり、Java で記述されています。これは、ペトリネットの形式に基づいており、JavaとVisual Basicだけでなく、プログラマブルロジックコントローラ(PLC)言語の数にコンパイルされます。
-
Advanced Message 無料トライアル
高度なメッセージは、強化され、高度なAndroidメッセージアプリです、あなたは友人と絵文字やグループメッセージを送受信することができ、あなたはこのアプリでより多くの機能をカスタムすることができ、ちょうど次の機能を参照してください。機能:- フラットスタイルのバブルテーマのサポート。- 簡単で迅速に使用できます。- メッセージを便利に管理します。- LED/サウンド/ポップアップ/バイブレーション/署名など、各連絡先のカス
-
Hoepsch JSON 無料
HOEPSCH JSON は、JSON オブジェクトを作成および読み取るための Java ライブラリです。ライブラリは使いやすさ、シンプルさ、一貫性に焦点を当てています。add/get によるオブジェクトの作成は、オブジェクトマーシャリングだけでなくサポートされています。すべてのクラスに対してテスト ケースが提供されます。
-
mspgcc4 無料
これは、テキサスインスツルメンツMSP430マイクロコントローラコアへのGCC 4.xブランチのポートです。これは、GCC 3.2.3で立ち往生しているMSPGCCプロジェクトに基づいています。