HOL

HOL 7

HOL从短高阶逻辑是其中的定理可以证明和防爆工具实现的编程环境。内置的决策程序和定理证明能自动建立很多简单的定理。一个oracle的机制可以访问外部程序，如SAT和BDD引擎。HOL 4特别适合作为实现的扣除，执行和检查物业组合的平台 什么在此版本中是新的： 在HolSmtLib现在还支持Z3证明重建目标涉及固定宽度的文字和翻译HOL进入SMT-LIB 2格式。在HolQbfLib支持检查既有效性和证书Squolem 2.02的无效。...

20 Feb 15 在 开发者工具, 质量保证和软件测试
Linux
阅读更多
openstack.nose_plugin

openstack.nose_plugin 0.11

openstack.nose_plugin是鼻子的插件提供nosetests输出模仿开栈的run_tests.py的输出。安装＆NBSP; PIP安装openstack.nose_plugin用法下列选项菱：＆NBSP; - 与-的OpenStack＆nbsp;启用插件的OpenStack：新星风格输出发电机[NOSE_WITH_OPENSTACK]＆NBSP; - OpenStack的红色= OPENSTACK_RED＆NBSP;着色运行时间大于值红色。...

20 Feb 15 在 开发者工具, 质量保证和软件测试
Linux
阅读更多
expecter

expecter 0.2.2

expecter帮助你写断言。你再也不会忘记预计，哪些是实际的！基本期望很简单：＆NBSP;从>>>进口expecter期待＆NBSP; >>>预期（'一些'+'的东西'）=='东西'＆NBSP;希望（'东西'）＆NBSP; >>>预期（1）> 100＆NBSP;回溯（最近通话最后一个）：＆NBSP; ...＆NBSP; AssertionError的：预期的东西大于100，但拿到1只是读起来就像一个句子的期望。 “预期（2）== 1 +...

20 Feb 15 在 开发者工具, 质量保证和软件测试
Linux
阅读更多
proboscis

proboscis 1.2.5.3

长鼻是鼻子的扩展，有利于更高级别的测试。它们在如何变化的测试类被发现通过迫使它们通过含有有用的元数据装饰登记诸如什么基团，不管它们是否有其他的测试相关性，并且如果它们应该被忽略。长鼻各种各样的所有已注册的测试到所需的运行顺序，然后构建一个测试套件，它传递给鼻子。它也可以过滤列表，以便它可以指定您希望在不传递准确的测试类运行的测试组。在运行时，如忽略这取决于有没有其他的测试测试自动标记。大部分功能是通过TestNG的“灵感”。如果你从这个框架内来，主要特点目前长鼻报价依赖测试顺序（目前仅限于类级别），并安排你...

20 Feb 15 在 开发者工具, 质量保证和软件测试
Linux
阅读更多
Pulse

Pulse 2.5.7

脉冲项目是一个自动化的构建（或连续集成）服务器设计的与您合作，以确保代码的完整性。脉冲定期检查你的源代码，从你的供应链管理，构建项目，并通知您结果 特点： 生成任何项目：运行任意命令或使用支持蚂蚁，制作或行家在捕获打造神器：文件，目录，HTML报告。使用通配符过滤器收集的文件。在提取信息：发现错误和警告使用正则表达式或内置了蚂蚁的支持，使和Maven...

20 Feb 15 在 开发者工具, 质量保证和软件测试
Linux
阅读更多
Testify

Testify 0.5.3

作证是一种替代Python的unittest模块和鼻子。单元测试证明是仿照，并测试用于编写单元测试将根据运行作证用最少的调整，但它具有超越单元测试功能：＆NBSP; *这是一个整套的测试方法运行一次每类级别的安装和拆卸夹具的方法。＆NBSP; *为夹具的方法，省去了超A的装饰为基础的方法（）调用。＆NBSP; *更Python，Java的少＆NBSP; *增强的测试发现 - 证明可以深入到包找到测试用例（类似的鼻子）。＆NBSP; *收集和收集模块，类或方法到测试套件运行测试的支持。＆NBSP;...

20 Feb 15 在 开发者工具, 质量保证和软件测试
Linux
阅读更多
pytest-marker-bugzilla

pytest-marker-bugzilla 0.06

pytest-标记的Bugzilla是一个py.test插件Bugzilla的集成和NBSP;该插件目前承担以下工作流程：bug_status在['新'，'分配'，'ON_DEV']表示是已知的bug，并正在研发中，因此测试应该跳过会。bug_status不是['新'，'分配'，'ON_DEV']指的是错误的状态准备QE和测试将运行和报告。请随时通过分叉并提交拉的请求或通过提交功能要求或问题，以问题作出贡献。安装...

20 Feb 15 在 开发者工具, 质量保证和软件测试
Linux
阅读更多
Marathon GUI Test Tool

Marathon GUI Test Tool 3.3.8.2

马拉松是一个框架，它提供支持所有Java / Swing组件，包括标准的脚本语言＆ndash的; Ruby和Python。马拉松还可以用来记录和测试脚本和记录上的组件，而不是原始的操作语义动作 特点： 灵活在智能脚本记录在探索性测试在标准的脚本语言在灵活，功能强大的对象识别在半自动测试 什么在此版本中是新的： 在此版本包含重大的功能改进和错误修正 什么在2.0.1版本新： 在发生了NPE当一个表头返回NULL是固定的。 什么版本的新 2.0 Beta版5： ...

20 Feb 15 在 开发者工具, 质量保证和软件测试
Linux
阅读更多
TestLink

TestLink 1.9.9

TestLink的是使用PHP，MySQL和其他一些开源技术的基于Web的测试用例管理和执行跟踪系统创建一个开源。TestLink的使Q＆A＆NBSP;（质量保证）团队轻松管理和创建自己的测试案例，以及将它们组织成测试计划，允许团队成员执行测试用例，并动态地跟踪测试结果。它的特点，我们可以提需求管理，测试规范，测试执行任务，测试执行，测试报告，度量，图表，测试执行监控，集中用户管理，角色管理，高度可定制的，XML-RPC API，以及更多。 什么在此版本中是新的： ...

20 Feb 15 在 开发者工具, 质量保证和软件测试
Linux
阅读更多
按类别搜索
热门软件