![](/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应用程序保护?强密码?当然不是。最好的监考器会让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 项目。