顶部 质量保证和软件测试 为 Linux

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

TestManager中是一个Trac的插件创建测试用例，组织他们的目录，生成测试计划，并跟踪其执行状态和结果。不同于使用门票作为测试用例持有其他测试管理插件Trac的，这其中使用Wiki页面和一个额外的专有数据模型来存储测试用例。这可以让你不会的东西，是不被开罚单污染你的车票名单，并在同一时间由维基页面Trac的搜索引擎和格式语法供电。一组关于Wiki页面是测试案例和标题装饰页面插件拦截请求，面包屑，树视图，目录，测试用例的状态信号灯和图标和按钮，让您创​​建新的测试用例内提前键入搜索，分目录，复制和粘贴...

EXQUIRES - 评价性和可扩展定量图像再放大套房文档和使用说明请访问：http://exquires.rivetsforbreakfast.com基本安装说明EXQUIRES可以从PyPI上使用PIP进行安装：PIP安装-U exquires或下载一封来自PyPI，解压缩源分布，并运行：蟒蛇setup.py安装详细的安装说明这些指令适用于Debian / Ubuntu Linux操作系统。对于其他平台，设置大致相同，除了安装系统依赖性的。安装ImageMagick的7阿尔法从源代码 -...

Py.Saunter是目前基于鼻子＆NBSP项目;它会根据Py.Test真的很快。安装为了最大限度地利用硒和Python的;并在这里使用的示例代码，您需要＆NBSP;须藤PIP安装鼻子＆NBSP;须藤PIP安装unittest2＆NBSP;须藤PIP安装狮身人面像＆NBSP;须藤点子硒安装注意：在OSX，使用的东西，而不是默认的Python安装等;它不喜欢的easy_install / PIP多少 要求： ...

noseOfYeti是一个插件的鼻子，灵感来自http://github.com/fmeyer/yeti，它使用的编解码器的风格，提供一个RSpec风格BDD DSL为Python测试。 要求： ...

熔岩仪表盘是测试结果的仓库。包文件 要求： ...

鼻插座白名单是一把鼻涕插件补丁socket.getaddrinfo非本地插槽，让您无论是记录所有事件或导致违规测试失败。socketwhitelist.plugins.LoggingSocketWhitelistPlugin＆NBSP;记录测试（S），其中插座被打开，打印summaray报表时，所有的测试都执行完毕在sys.stderrsocketwhitelist.plugins.ErroringSocketWhitelistPlugin＆NBSP;导致违规测试失败了SocketError安装该插件包可从...

eutester是一个测试框架兼容AWS云。包文件 要求： ...

jstestnetlib是一个Python模块用于执行对一个JavaScript TestNet服务器的JavaScript测试。安装使用PIP执行：PIP安装混帐混帐+：//github.com/kumar303/jstestnetlib.git#egg=jstestnetlib运行测试JavaScript的测试，可以用鼻子来执行。例如：nosetests --with-jstests \＆NBSP; - jstests服务器http://0.0.0.0:8000/ \＆NBSP; - 名称 -...

pyfix是一个Python模块特别适用于书写测试功能设计。安装＆NBSP; PIP安装pyfix用法这里有一个重要的例子：从pyfix进口的测试，主要从pyassert进口assert_that@test高清ensure_that_two_plus_two_equals_four（）：＆NBSP; assert_that（2 + 2）.equals（4）@test高清ensure_that_two_plus_three_equals_five（）：＆NBSP; assert_that（2 +...