赞助商链接:

UPPAAL

UPPAAL 4.0.6

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

rgf

rgf 0.2.0.1

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

crackerjack

crackerjack 2.0.0

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

TestLink

TestLink 1.9.9

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

赞助商链接:

JProfiler

JProfiler 8.0.3

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

YourKit Java Profiler

YourKit Java Profiler 2015 Build 15068 更新

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

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

赞助商链接:

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

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