ส่งซอฟต์แวร์
  1. บ้าน
  2. Windows
  3. อื่นๆ
  4. QuickCheck for Java
  5. Download

QuickCheck for Java 4j

ใบ อนุญาต: ฟรี ‎ขนาดแฟ้ม: N/A
‎คะแนนจากผู้ใช้: 4.0/5 - ‎1 ‎โหวต

เกี่ยวกับ QuickCheck for Java

QC4J เป็นกรอบการทดสอบอัตโนมัติตามข้อกําหนดตาม QuickCheck สําหรับ Haskell มันทําให้ง่ายต่อการทดสอบรหัสโปร่งใสอ้างอิงโดยการสร้างข้อมูลการทดสอบโดยอัตโนมัติผ่านเครื่องกําเนิดไฟฟ้าที่ผู้ใช้กําหนด

หลักสูตรที่เกี่ยวข้อง

  • Invisible Protector II Pro ฟรี

    ตัวป้องกันที่มองไม่เห็นปกป้องแอปพลิเคชันส่วนตัวของคุณด้วยข้อผิดพลาดปลอม&#39ตัวป้องกันแอปที่ดีที่สุดคืออะไร รหัสผ่านที่ยากต่อการคาดเดา? แน่นอนไม่ proector ที่ดีที่สุดจะช่วยให้ prier ไม่ตระหนักถึงการป้องกันใด ๆ และมันยังส

  • BDB Developer Edition ทดลองใช้ฟรี

    BDB เป็นซอฟต์แวร์การออกแบบฐานข้อมูลที่มีคุณสมบัติเต็มรูปแบบรองรับ Oracle, SQL Server, MySQL, การเข้าถึง, SQLAnywhere และ Sybaseนอกจากนี้ BDB ยังเป็นเครื่องมือ Intellisense แบบสอบถาม SQL ที่ยอดเยี่ยมคุณสมบัติ BDB หลัก:

  • Supermount removable media support ฟรี

    Supermount เป็นระบบไฟล์หลอกที่จัดการระบบไฟล์บนสื่อแบบถอดได้เช่นฟลอปปีดิสก์และซีดีรอม มันช่วยให้คุณอิสระจากความจําเป็นในการติดตั้งและยกเลิกการต่อเชื่อมสื่อด้วยตนเอง

  • Smart Lock Lite(App Protector) ฟรี

    ล็อคแอพใด ๆ ในโทรศัพท์ของคุณไม่ต้องกังวลอีกต่อไปเมื่อแสดงโทรศัพท์ของคุณให้เพื่อนคุณต้องการความเป็นส่วนตัวเล็กน้อยสําหรับอุปกรณ์ Android ของคุณหรือไม่?คุณเกลียดคนที่จะเล่นกับข้อความที่ละเอียดอ่อนภาพถ่าย ฯลฯ บนอุปกรณ์ของค

  • Airpush Finder ทดลองใช้ฟรี

    คุณถูกรบกวนจากการแจ้งเตือนของโฆษณาหรือไม่ Airpush Finder สามารถช่วยคุณค้นหาและลบแอพด้วยการแจ้งเตือน Airpush ได้อย่างง่ายดายความเร็วในการค้นหาของ Airpush Finder นั้นเร็วมากใช้เวลาเพียงไม่กี่วินาที และ Airpush Finder สามารถ

  • Tamil Tools ฟรี

    เป้าหมายของโครงการเครื่องมือทมิฬคือการรวมซอฟต์แวร์โอเพ่นซอร์สที่สําคัญที่เกี่ยวข้องกับภาษาทมิฬในที่เดียว เป้าหมายทันทีคือการพัฒนาตัวแปลงการเข้ารหัสมาตรฐานระหว่าง TSCII, TAB และ Unicode ตามที่ INFITT มองเห็นในการประชุม TI2001

  • Petri-LLD ฟรี

    Petri-LLD เป็นสภาพแวดล้อมการพัฒนากราฟิกสําหรับการควบคุมอัตโนมัติแบบเรียลไทม์และเขียนใน Java มันขึ้นอยู่กับรูปแบบของ Petri net และรวบรวมไปยังภาษาตัวควบคุมตรรกะที่ตั้งโปรแกรมได้ (PLC) จํานวนมากรวมถึง Java และ Visual Basic

  • Advanced Message ทดลองใช้ฟรี

    ข้อความขั้นสูงเป็นแอพข้อความ Android ขั้นสูงและขั้นสูงคุณสามารถส่งและรับอิโมจิและข้อความกลุ่มกับเพื่อน ๆ คุณสามารถปรับแต่งคุณสมบัติเพิ่มเติมในแอพนี้เพียงแค่ดูคุณสมบัติต่อไปนี้:คุณลักษณะ:- รองรับธีมฟองสไตล์แบน-ง่ายต่อก

  • Hoepsch JSON ฟรี

    Hoepsch JSON เป็นห้องสมุด Java สําหรับการสร้างและอ่านวัตถุ JSON ห้องสมุดมุ่งเน้นไปที่ความสะดวกในการใช้งานความเรียบง่ายและความสอดคล้อง การสร้างวัตถุผ่านการเพิ่ม/รับได้รับการสนับสนุนเช่นเดียวกับการจัดเรียงวัตถุ กรณีทดสอบมีให้สํ

  • mspgcc4 ฟรี

    นี่คือพอร์ตของสาขา GCC 4.x ไปยังแกนไมโครคอนโทรลเลอร์ MSP430 ของเท็กซัส มันขึ้นอยู่กับโครงการ MSPGCC ที่ติดอยู่กับ GCC 3.2.3