最好的 質量保證和軟件測試 為 Linux

熔岩fastmodels包含低級代碼為LA​​VA管理快速模式＆NBSP;目前，它是用來管理NFS掛載，建立根文件系統（出口所提供的壓縮包到安裝點和快速模式的具體祝福它變化，如果需要的話）。它還包含代碼用於啟動快速模型運行時，監測執行和最終關斷（或強制關閉，如果需要的話）。。支持熔岩串行插件正在考慮（要能得到一個LAVA-串行訪問正在運行的快速建模仿真） 要求： ...

PyUseCase是一個GUI測試軟件PyGTK的。維護的GUI測試與使用案例記錄記錄的意圖，而不是機械最自然的方式通過用戶界面來創建測試是簡單地開展要執行，並有一個可以記錄他們再後來他們複製的工具的行為。這是一個簡單，快捷的方式來創建GUI測試等方面存在諸多工具，做到這一點。大多數工具情侶緊緊地測試到GUI...

nosango是一個插件，鼻/ nosetests測試Django應用程序 要求： ...

科亞克（試劑盒客觀判斷和性能瓶頸的基於知識的檢測）是一套通用的，可互操作的工具組件專為並行應用的性能分析。它們的功能解決了整個分析過程，包括儀器儀表，性能數據後處理和結果報告。特別重點放在自動化技術以所收集的數據變換成的性能行為的高級別圖。該軟件的主要部分構成一個集成的事件跟踪分析環境，MPI和OpenMP應用程序。支持的平台：儀器儀表，測量和分析：Linux的IA-32，IA-64和EM64T / x86_64的集群GNU，PGI，或英特爾編譯器IBM的Power3...

輸液是用Java編寫的商業，基於Eclipse的應用程序，使開發人員能夠完全控制軟件體系結構的質量，以及設計質量。能夠處理的Java，C ++＆NBSP;和C項目，輸液的主要目標是使複雜的LOC項目的質量保證比以往任何時候都更容易。輸液是一個跨平台的軟件，它運行在Linux，Mac OS X和Windows平台 特點： 在指標以誠為本，不是指標為中心在CodeCity互操作性高級polymetric意見在多語言和多模式簡化的流程例外管理嚴重性分數在超鏈接的探索和導航在設計質量的定量評估 要求： ...

YourKit的Java Profiler是一個商業化的CPU和內存分析器軟件，使用戶可以輕鬆地解決了大範圍的CPU和內存相關的性能問題。YourKit Java剖析具有自動檢漏，功能強大的工具，內存分配，對象堆的瀏覽器，全面的內存測試的分析，您的JUnit測試過程的一部分，極低的分析開銷。 什麼是新本新聞稿中： 在代理：Windows版本檢測改善。特別是中，Windows 10是現在可以正確檢測，及摘要顯示Windows版本的版本號。...

鼻pynotify是鼻子插件使用pynotify圖形通知 要求： ...

阿赫文是一個簡單的單元測試庫（或框架）為95的Ada編程語言。該項目的JUnit後，鬆散的建模和一些想法從AUnit拍攝。阿赫文是根據許可ISC授權免費分發的軟件，並應與任何阿達95的編譯器 特點： 在簡單API 在小尺寸（1.2阿赫文有2K SLOC; 636陳述; 1074聲明）在XML格式的JUnit兼容的測試結果在嚴格的編碼風格（由AdaControl執行）使用在平原的Ada 95碼，沒有阿達2005功能在跨越不同的編譯器和操作系統的便攜式在許用開源許可 什麼在此版本中是新的： ...

HOL從短高階邏輯是其中的定理可以證明和防爆工具實現的編程環境。內置的決策程序和定理證明能自動建立很多簡單的定理。一個oracle的機制可以訪問外部程序，如SAT和BDD引擎。HOL 4特別適合作為實現的扣除，執行和檢查物業組合的平台 什麼在此版本中是新的： 在HolSmtLib現在還支持Z3證明重建目標涉及固定寬度的文字和翻譯HOL進入SMT-LIB 2格式。在HolQbfLib支持檢查既有效性和證書Squolem 2.02的無效。...

ContiPerf是一個輕量級測試工具，使得用戶能夠方便地利用JUnit 4測試例如性能測試如。連續性能測試＆NBSP;它的靈感來自JUnit...