必須有 質量保證和軟件測試 為 Linux

噶爾是鼻子的插件，使上下文特定的測試 要求： ...

鱷魚檢驗是一個應用程序，提供測試以檢查Linaro的鱷魚的模塊和鱷魚守護發布 要求： ...

GCViewer是通過可視化的IBM和Sun的Java虛擬機生成詳細垃圾收集輸出一個基於Swing應用程序（-verbose：GC / -Xloggc：-flags）。該數據還可以與電子表格應用程序導出為CSV為fort​​her處理。可視化的數據可以幫助時，一個是調整垃圾收集器，尤其是代大小和初始堆大小。這裡是“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意見在多語言和多模式簡化的流程例外管理嚴重性分數在超鏈接的探索和導航在設計質量的定量評估 要求： ...