Yet Another QuickCheck for Java 0.0.1
您将能够在 5 秒内下载。
您也可以点击以下外部下载链接进行下载:
http://sourceforge.net/projects/yaqc4j/files/0.0.1-Alpha2/yaqc4j-0.0.1-Alpha2-javadoc.jar/download
关于 Yet Another QuickCheck for Java
Yaqc4j 是一个基于规范的测试框架,基于约翰·休斯对哈斯克尔的快速检查。它通过用户定义的和内置的生成器自动创建测试数据。该项目得到国家基尔姆斯大学的支持。
相关软件
-
ds-Lucas 免费
项目 ds-Lucas 是简单的 PHP 脚本,它分离您的 PHP 脚本和 HTML 模板。包括函数到多行输出,处理与外部文件输出,多设置输出。
-
HInput 免费
HInput 是一个输入抽象层,旨在将游戏代码与输入实现分离。系统完全由数据驱动,可以在运行时进行修改和/或配置。
-
P3: The Portable Unix Programming System 免费
PUPS/P3 通过提供模拟恒平生物群落的工具,促进多过程多宿主计算的发展。它允许持久计算、恒态资源保护和异时进程间通信。
-
Brainiac Artificial Intelligence 免费
Brainiac, 是 C / C++ 库、程序和 Python, 以及用于神经网络和基因编程的 Lua 脚本, 试图创建一个 "合力" 和 "一起" 的项目, 努力实现一般人工智能
-
PeiAsm 免费
用于 x86 Windows 的 PeiAsm 多处理器组装器/仿真器。-由M.基顿编码(聚酯方法)
-
Proton Voltage Control 免费
请在离开 1 星之前验证您是否在 Nexus S 或 Nexus S 4g 上运行受支持的内核。我们可以通过下面的"访问开发者网站"链接修复错误。质子电压控制是由XDA论坛的乔纳森·格里格创建的,我作为合作伙伴来。质子电压控制*仅*与Netarchy的内核为Nexus S 4G和Nexus S。如果其他内核添加功能,我们将更新应用程序以适应。质子电压控制是一个易于使用的应用程序,允许您设置自定义电压的Nexus S手机运行一个支持的
-
syncSQL 免费
syncSQL 是一个 perl 服务器端 CVS 脚本,它向 mySQL 数据库发送提交信息,因此可以通过简单的网页或任何 mySQL 客户端查看、跟踪和筛选提交。
-
GLipKit 免费
GLipKit (GL 图像处理套件) 是图像处理和计算机视觉算法的集合,在当前可编程的 3D 图形硬件上执行,以加快执行速度。目前的主要焦点是计算立体声。
-
RoboCup MSL refbox 免费
RoboCup MSL 参考盒用于帮助裁判控制机器人足球比赛(由 RoboCup 中型联赛使用)。
-
Dataflow processing parallelization-Cell 免费
这是一个用于在 Cell 处理器上并行化流数据计算的库。