Parasoft C++Test美國Parasoft公司研發(fā)的支持CC++靜態(tài)分析的工具，該工具除了可以檢測編碼規(guī)則外，還能檢測少量的語義缺陷，此外能夠進行測試用例生成。

區(qū)別是 findbug與pclint都是針對軟件漏洞進行代碼檢測的工具軟件findbug針對的是Java代碼，pclint針對的是C代碼或者C++ Findbugs是一款Java靜態(tài)代碼分析工具，與其他靜態(tài)分析工具如Checkstyle和PMD不同，F(xiàn)indbugs 不。

3PMD PMD 是由 DARPA 在 SourceForge 上發(fā)布的開源 Java 代碼靜態(tài)分析工具PMD 通過其內(nèi)置的編碼規(guī)則對 Java 代碼進行靜態(tài)檢查，主要包括對潛在的 bug，未使用的代碼，重復(fù)的代碼，循環(huán)體創(chuàng)建新對象等問題的檢驗PMD。

代碼檢查CodeCheck是基于云端實現(xiàn)代碼質(zhì)量管理的服務(wù)，軟件開發(fā)者可在編碼完成后執(zhí)行多語言的代碼靜態(tài)檢查和安全檢查，獲取全面的質(zhì)量報告，并提供缺陷的改進建議和趨勢分析，有效管控代碼質(zhì)量，幫助產(chǎn)品成功 產(chǎn)品功能 支持多種。

代碼靜態(tài)度量分析質(zhì)量檢查工具logiscope和Macabe 黑盒測試工具主要有客戶端功能測試MI公司的winrunner，compuware的qarun，Rational的robot 服務(wù)器端壓力性能測試MI公司的winload，compuware的qaload，Rational的SQAload等等 Web。

1靜態(tài)測試工具直接對代碼進行分析，生成可執(zhí)行文件靜態(tài)測試工具一般是對代碼進行語法掃描，根據(jù)某種質(zhì)量模型評價代碼的質(zhì)量，生成系統(tǒng)的調(diào)用關(guān)系圖等靜態(tài)測試工具的代表有Telelogic公司的Logiscope軟件PR公司的PRQA軟件。

靜態(tài)代碼檢查又稱為靜態(tài)程序分析，是指在不運行計算機程序的條件下，進行程序分析的方法靜態(tài)代碼檢查工具會從詞法語法語義等多維度去對工程代碼掃描分析，發(fā)現(xiàn)可能存在的問題，比如變量未定義類型不匹配變量作用域問題。

Goanna是一個針對CC安全可靠性進行深度靜態(tài)分析的工具，為安全性的嵌入式軟件提供全球領(lǐng)先的靜態(tài)CC代碼分析解決方案作為確保符合例如DO等安全標準的重要組成部分，Goanna結(jié)合了最新的程序驗證研究，并可以與。

工具非常多，各個工具通常會以插件的形式嵌入在各種IDE中，本人目前最偏愛cpplint，其實是就一個python腳本，幫助檢查是否符合GoogleC++Style的標準規(guī)范。

靜態(tài)測試工具的代表有Telelogic公司的Logiscope軟件PR公司的PRQA軟件動態(tài)測試工具動態(tài)測試工具與靜態(tài)測試工具不同，動態(tài)測試工具的一般采用quot插樁quot的方式，向代碼生成的可執(zhí)行文件中插入一些監(jiān)測代碼，用來統(tǒng)計程序運行時的。

Goanna是一個針對CC++安全可靠性進行深度靜態(tài)分析的工具，為安全性的嵌入式軟件提供全球領(lǐng)先的靜態(tài)CC++代碼分析解決方案作為確保符合例如DO等安全標準的重要組成部分，Goanna結(jié)合了最新的程序驗證研究，并可以。

1人工檢測是指不依靠計算機而是靠人工審查程序或評審軟件，包括代碼檢查靜態(tài)結(jié)構(gòu)分析和代碼質(zhì)量度量等2計算機輔助靜態(tài)分析利用靜態(tài)分析工具對被測試程序進行特性分析，從程序中提取一些信息，以便檢查程序邏輯的。

可能出現(xiàn)的運行錯誤很多代碼寫法編譯器不報錯，嚴格來講也沒錯，但是會極大增加運行時報錯的風(fēng)險，靜態(tài)檢查工具就是用來跑程序之前盡量發(fā)現(xiàn)這些問題例如變量引用前沒有判空啦多線程引用變量沒有鎖啦blahblahblah。

用cygwin咯 win下模擬linux平臺 需要c的話只要gcc就好，編輯器用vi或者emacs什么的都可以 完全開源免費。

系統(tǒng)測試包括功能測試性能測試安全測試等系統(tǒng)測試可以通過Selenium，JMeter等工具實現(xiàn)總結(jié)評測過程中采用的測試方法依據(jù)不同的測試階段和測試目的而定其中，靜態(tài)檢查以及單元測試主要針對程序代碼進行測試，主要檢查程序各個。

如果您正在尋找使用Go和Java編寫的高性能JSON編碼解碼工具，請嘗試開源庫JSONITER，它與Go中的標準JSON編碼包非常的兼容4FLOW FLOW是一個用于Javascript的靜態(tài)類型檢查工具，可以逐步向整個代碼庫添加類型檢查在進行電腦。