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應用程式保護?強密碼?當然不是。最好的監考器會讓Prier不知道任何保護,它也可以盡可能隱藏自己。隱形保護器就是這樣一個保護程式來保護你的私人應用程式。啟動受保護的應用時,它會引發假崩潰錯誤,可能會誤導來賓用戶認為你的應用有故障或什麼的。因此,它可以阻止訪客以自然的方式使用受保護的應用。但擁有者可以通過幾種秘密方式清除它。它還提供密碼保護程式以及秘密輸入法。** 如何啟動 **
-
BDB Developer Edition 免費試用
BDB 是一個功能齊全的資料庫設計軟體。它支援 Oracle、SQL Server、MySQL、訪問、SQLAnywhere 和 Sybase。此外,BDB 也是一個偉大的 SQL 查詢智慧工具。BDB 的主要功能:• 資料庫設計。通過BDB構建資料庫模型,支援前瞻工程和逆向工程,支持資料庫模型與實體資料庫的比較更新和雙向同步。• 資料庫自動更新。在不影響原始表的數據的情況下執行資料庫自動更新。此外,您可以快速
-
Supermount removable media support 免費
Supermount 是一個偽檔案系統,它管理可移動介質(如軟盤和CD-ROM)上的檔案系統。它可使您無需手動裝載和卸載介質。
-
Smart Lock Lite(App Protector) 免費
鎖定手機上的任何應用。向朋友展示手機時不再擔心。你需要一點點的隱私,你的Android設備?您是否討厭有人在您的設備上玩敏感消息、照片等?如果您想保護您有價值的、具有經濟性的私人數據,如短信、電子郵件、攝影和日程安排,您需要"智能鎖定"您的資料和應用程式將受到密碼或模式保護!支援的語言:英語、日語、韓語【 主要功能 】- 套用鎖定(套用鎖定)- 密碼/模式認證支援,密碼位(4 或 6 位元)
-
Airpush Finder 免費試用
您是否被廣告通知困擾?空氣推普查找器可以説明您輕鬆查找和刪除具有 Airpush 通知的應用程式。Airpush 搜尋器的搜尋速度非常快,只需幾秒鐘。和空氣推查找器可以檢測最新的空氣推/AdLocus 應用程式。它很容易使用空氣推普查找器, 只需打開 Airpush 查找器, 然後你可以看到什麼應用程式, 使用空氣推一個通知。如果找到任何應用,只需點擊它即可刪除應用。如果你發現任何應用程式與通知廣告, 但 Airpush 查找
-
Tamil Tools 免費
泰米爾工具項目的目標是將主要與泰米爾語相關的開源軟體整合到一個地方。 直接目標是按照 INFITT 在 TI2001 會議上的設想,在 TSCII、TAB 和 Unicode 之間開發標準編碼轉換器。
-
Petri-LLD 免費
Petri-LLD 是一個用於即時自動化控制的圖形開發環境,使用 Java 編寫。它基於 Petri net 的一種形式,並編譯為許多可程式設計邏輯控制器 (PLC) 語言以及 JAVA 和 Visual Basic。
-
Advanced Message 免費試用
高級消息是一個增強和先進的Android消息應用程式,你可以發送和接收表情符號和組消息與朋友,你可以自定義更多的功能在這個應用程式,只需看到以下功能:特徵:- 平面樣式氣泡主題支援。- 使用簡單,速度快。- 方便管理訊息。- 每個聯繫人的自定義通知,如前燈/聲音/彈出/振動/簽名。- 組消息支援。- 所有表情符號消息支援。- 自定義對話圖像背景。- 增強通知,直接回復通知。- 增強的傳入消息的彈出對話框
-
Hoepsch JSON 免費
Hoepsch JSON 是一個用於創建和讀取 JSON 物件的 Java 庫。該庫側重於易用性、簡單性和一致性。支援透過添加/get創建物件以及物件封送。所有類都提供了測試用例。
-
mspgcc4 免費
這是海灣合作委員會 4.x 分支到德州儀器 MC430 微控制器內核的埠。它基於與 GCC 3.2.3 粘在一起的 MSPGCC 專案。