必须有 质量保证和软件测试 为 Linux

噶尔是鼻子的插件，使上下文特定的测试 要求： ...

鳄鱼检验是一个应用程序，提供测试以检查Linaro的鳄鱼的模块和鳄鱼守护发布 要求： ...

GCViewer是通过可视化的IBM和Sun的Java虚拟机生成详细垃圾收集输出一个基于Swing应用程序（-verbose：GC / -Xloggc：-flags）。该数据还可以与电子表格应用程序导出为CSV为forther处理。可视化的数据可以帮助时，一个是调整垃圾收集器，尤其是代大小和初始堆大小。这里是“GCViewer”的一些主要特点：·太阳JDK 1.4 / 1.5的选项-Xloggc： [-XX：+ PrintGCDetails]·太阳JDK 1.2.2 / 1.3.1 /...

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

奶奶是一套实用程序组合测试。开发者评论我一直在专门测试软件超过五年，现在...目前，我尽量提供竭尽所能的基础支持。您应该解决的论坛如果你有任何问题，错误报告，功能要求等：http://groups.google.com/group/testing-software-org有关艾玛工具包或更多的信息，搭车指南测试自动化，请访问：http://www.testing-software.org/ 要求 < P> ...

GUnit是JUnit的精神是C单元测试框架。 GUnit框架集成了一个易于使用的GUI基于GNOME库，以及支持的Hildon UI（maemo.org）。安装方式：1.`CD“中包含的包的源代码和类型'的./configure的目录”为您的系统配置包。如果你使用`CSH“在旧版本的System...

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

HOL-TestGen允许一个写在高阶逻辑测试规范（HOL）。它可以（半）自动分区输入空间，从而抽象测试用例，并自动选择具体的测试数据。自动生成测试工具（在SML）的支持，并使用外国语言界面，在任意的语言（例如C）的实施方式可以进行测试。HOL-OCL是自由软件;你可以重新分配和/或修改根据GPL的条款。 HOL-TestGen项目由阿希姆D.布鲁克和伯克哈特沃尔夫发展 特点： ...

importchecker是一个命令行实用程序来查找Python模块未使用的导入。其输出是“的grep样”（并因此“emacs的友好”），报告两个模块的文件名和未acually的模块中使用的地方名称导入行号。Importchecker不会修改任何的源文件。是否导入需要被移除是左到显影剂的判断。安装该importchecker命令行实用程序可以使用的easy_install命令来安装：＆NBSP;须藤的easy_install importchecker命令然后可以用调用：＆NBSP;...

输液是用Java编写的商业，基于Eclipse的应用程序，使开发人员能够完全控制软件体系结构的质量，以及设计质量。能够处理的Java，C ++＆NBSP;和C项目，输液的主要目标是使复杂的LOC项目的质量保证比以往任何时候都更容易。输液是一个跨平台的软件，它运行在Linux，Mac OS X和Windows平台 特点： 在指标以诚为本，不是指标为中心在CodeCity互操作性高级polymetric意见在多语言和多模式简化的流程例外管理严重性分数在超链接的探索和导航在设计质量的定量评估 要求： ...