最好的 质量保证和软件测试 为 Linux

AceUnit（高级C和嵌入式设备）：一个舒适的C代码单元测试框架。 AceUnit是JUnit的4.x的风格，简单，模块化和灵活。这个项目可以在资源约束的环境中，例如可以使用嵌入式软件开发 什么在此版本中是新的： 在此版本实现了自动套房。这意味着你现在可以用一个简单的递归运行一整套：runSuite（suite1）;...

gprof2dot.py脚本可以转换gprof的输出到一个点图。它可以正确解析C ++模板函数名，让你修剪低于某一阈值节点和边，可以解析特殊的符号gprof的用来相互递归函数，使用颜色有效地提请注意热点，并适用于所有平台， GNU gprof的，Graphviz的，和Python是可用的，即几乎任何地方。这里是“gprof2dot PY”的一些主要特点：·能正确解析C...

隆鼻包含各种实验扩展到鼻子。根据设想，这些最终会被合并到主鼻代码（如果他们变成真正有用） 要求： ...

DREAM工具是一个通用的框架，它的目的是提供能表达几个（实时，功率消耗，资源）约束的共同的语义域。语义域有一个可执行的C ++模型已语义锚定在混合自动形式主义。虽然计算的模型对应的混合自动机，到目前为止，我们已经成功地使用时间自动机上大小适中系统由保守近似分析模型。为了应对大规模的例子用户实施系统之前使用的模拟/测试界面上可执行的C...

SAHI公司是一个自动化和测试工具，网络应用程序，与该设施来记录和回放脚本。在Java和JavaScript开发的，这个工具使用简单的JavaScript在浏览器中执行的事件。SAHI的功能包括，在浏览器的控制，基于文本的脚本，用于播放测试套件的蚂蚁的支持，以及多线程播放。 SAHI支持HTTP和HTTPS。 SAHI运行作为代理服务器和浏览器需要使用SAHI服务器作为其代理。 SAHI然后注入的JavaScript，以便它可以访问在网页中的元素。这使得网站/ Web应用程序的工具独立 特点： ...

Hamcrest是一个Python框架编写匹配的对象，让您以声明方式定义“匹配”的规则＆NBSP;还有一些情况下的匹配是非常宝贵的，比如用户界面的验证，或者数据过滤，但它是在区写入了匹配器是最常用的柔性测试。本教程介绍了如何使用Hamcrest进行单元测试。在编写测试时，有时难以得到overspecifying测试（并使其变脆的变化），并且不指定足够（使测试少有价值，因为它继续通过即使当被测试的东西被破坏）之间的平衡。有一个工具，它可以让你挑选出精确的角度测试，并描述它应有的价值，以精确控制的水平，有助于大...

databene benerator是创造现实和有效的大容量测试数据，用于测试（单位/集成/负载），并展示建立了一个框架。元的约束是由系统和/或配置文件导入。数据可以从导入和导出到文件和系统，匿名的，或者从头开始产生。域的软件包提供可重复使用的发电机，用于创建特定领域的数据作为国际化的语言和地区名称和地址。强烈定制与插件和配置选项。该软件发布以双重许可 - GPL和商业。 什么是此版本中的新： 在该版本修复了几个主要的缺陷，并增加了从一个特定的检索数据的功能在Excel文档标签。 ...

AutobahnTestSuite是一个扭曲型的WebSocket / WAMP协议实现的测试​​套件。AutobahnTestSuite提供了一个完全自动化的测试套件来验证WebSocket协议的客户端和服务器实现。测试套件会做基本的WebSocket对话，广泛的协议符合性验证和性能测试极限检查的实现。包含约300测试用例覆盖 - 帧 - 坪/ Pongs - 保留位 - 操作码 - 碎片 - UTF-8处理 - 限制/性能 - 关闭握手 - 打开握手（开发中）更多信息： - ...

ContiPerf是一个轻量级测试工具，使得用户能够方便地利用JUnit 4测试例如性能测试如。连续性能测试＆NBSP;它的灵感来自JUnit...

ESC / Java2的是扩展的静态检查为Java。它会自动，静态和模块化检测常见的编程错误。有关已（可选）注释写在JML Java程序ESC / Java2的原因 什么在此版本中是新的： ...