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

UPPAAL是一个集成工具环境建模，确认和验证建模为时间自动机的网络，扩展数据类型（整数界，数组等）的实时系统。UPPAAL CORA是UPPAAL的成本优化可达Anslysis一个分支由UPPAAL团队为VHS和AMETIST项目的一部分开发的。而支持UPPAAL时间自动机的模型检测，UPPAAL CORA使用时间自动机称为LPTA的延伸。 LPTA允许你注释模型与成本的概念。这可以是延迟在某些情况下或特定行动的成本的成本。 UPPAAL CORA然后找到匹配的目标条件下的最佳路径。UPPAAL...

RGF是目前实验尝试一个RSpec去年秋季BDD测试框架的Python。基本上，我们的目标，沿着这些线路的语法：从RGF进口形容，它与描述（“说事儿”）：＆NBSP;...

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

Acovea实现了遗传算法寻找“最佳”选项编译与海湾合作委员会的C和C ++编译器程序。ACOVEA（通过进化算法编译器选项分析）实现了遗传算法来找到“最好”的编译选项与GNU编译器集合（GCC）的C和C ++编译器程序。“最佳”，在这种情况下，被定义为那些产生从一个给定源代码最快可执行程序的选项。 Acovea是可以扩展到测试其他的编程语言和非GCC编译一个C ++框架。我设想Acovea作为优化工具，在目的上分析相似。传统的功能层次分析识别算法，最有影响力的一个程序的性能;...

能手提供了Linux内核回归测试框架，它提供了一个系统的方法来找到Linux内核的回归。Linux内核是一个类Unix操作系统内核。它是Linux操作系统家族的同名。在GNU通用公共许可证第二版（GPLv2许可）释放，并通过世界各地的贡献者开发的Linux是自由软件的最突出的例子之一。Linux内核最初构思和早在1991年由Linus...

JProfiler的是商业和跨平台屡获殊荣的所有功能于一身的Java剖析。因为它是用Java编写的，JProfiler的可以用在Linux，Mac OS＆NBSP; X＆NBSP;和Windows平台 特点： < LI>本地会话的现场分析在远程会话的现场分析离线分析在快照比较 什么在此版本中是新的： 在新功能：在捆绑整合的IntelliJ IDEA 13（最新IDEA插件总是在时间可从IDEA插件管理器）在错误修正：在读取由外部字节代码的修改产生不正确的堆栈映射表时已修复问题 ...

YourKit的Java Profiler是一个商业化的CPU和内存分析器软件，使用户可以轻松地解决了大范围的CPU和内存相关的性能问题。YourKit Java剖析具有自动检漏，功能强大的工具，内存分配，对象堆的浏览器，全面的内存测试的分析，您的JUnit测试过程的一部分，极低的分析开销。 什么是新本新闻稿中： 在代理：Windows版本检测改善。特别是中，Windows 10是现在可以正确检测，及摘要显示Windows版本的版本号。...

Tcpreplay（TCP（传输控制协议）重播）是一个开源和自由软件项目用C实现和设计作为一个命令行工具的几个实用程序，包括用于* NIX操作系统，使用户由通过libpcap的图书馆利用捕获的流量来测试各种网络设备。该程序是用C编程语言，它是各种GNU / Linux发行版，以及其他类UNIX系统中，如Solaris，BSD和Mac OS...

pagerunit是一个简单的Nagios的替代做出样子单元测试。开发者评论这可能是一个坏主意，但我想要得到的东西在纸上（因为它是），所以我才能回到真正的工作。用法配置PagerUnit因此它可以在/etc/pagerunit.cfg发送电子邮件或〜/ .pagerunit.cfg：[邮件]地址= recipient@example.com[SMTP]密码=密码端口= 587服务器= smtp.gmail.com用户名= sender@gmail.com定义了一些测试，一拉鼻：DEF...

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