贊助商連結:

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...