最好的 質量保證和軟件測試 為 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意見在多語言和多模式簡化的流程例外管理嚴重性分數在超鏈接的探索和導航在設計質量的定量評估 要求： ...