分享幾款嵌入式軟件檢測/測試工具

嵌入式專欄

關注+星標公眾號，不錯過精彩內(nèi)容

素材來源 | 網(wǎng)絡
編排 | strongerHuang
由于嵌入式系統(tǒng)的實時性，其測試應充分考慮系統(tǒng)實時響應的問題，其響應時間一般要求在毫秒級別，其對應的負載測試少不了。在對目標機進行測試時，一般需要對在宿主機上編譯通過的代碼進行插樁處理。
這樣可以在目標機執(zhí)行程序的時候，將插樁時預測好的數(shù)據(jù)返回到宿主機上進行分析，因此，宿主機和目標機之間的數(shù)據(jù)傳輸也要認真對待。
除此之外，我們需要制定符合系統(tǒng)需求的可靠性級別和安全級別，進行相應的可靠性測試和安全性測試。嵌入式軟件測試工具，開源工具比較少，多數(shù)是商業(yè)工具，而且往往成套，覆蓋系統(tǒng)功能、性能分析和安全性測試。今天我們就介紹比較常用的或好用的嵌入式軟件測試工具。
ETest Studio
一款國產(chǎn)化黑盒測試工具，可以做配置項測試和系統(tǒng)測試，包括測試資源管理、環(huán)境描述、接口協(xié)議定義、用例設計、實時數(shù)據(jù)監(jiān)控、測試任務管理等功能。

主要特點有：提供各類控制總線和儀器接口API，可由開發(fā)人員集成各類通用接口板卡和用戶自定義的接口板卡。支持的I/O類型包括：RS232/422/485、1553B、CAN、TCP、UDP、AD、DA、DI、DO、ARINC429等，并可靈活擴展；
支持對待測系統(tǒng)及其外圍環(huán)境、接口情況等進行可視化仿真建模設計，如提供Matlab/Simulink集成接口，可實現(xiàn)現(xiàn)有仿真模型的開發(fā)和利用，支持仿真模型實時代碼的生成和運行；
提供接口協(xié)議描述語言（DPD語言）及其編輯編譯環(huán)境；可通過表格、儀表、曲線圖、狀態(tài)燈等虛擬儀表實時監(jiān)測接口數(shù)據(jù)；可按二進制、十進制、十六進制監(jiān)測輸入與輸出的原始報文并查詢過濾；測試腳本支持時序測試和多任務實時測試，具有可自動生成滿足不同組合覆蓋要求測試數(shù)據(jù)的功能；提供實時內(nèi)核模塊，可實現(xiàn)高可靠性強實時測試，響應時間
官網(wǎng)地址：http://www.kiyun.com/Show/fangzhen/cid/14/id/145.html Klocwork
Klocwork是一款支持百萬行甚至千萬行以上的C/C++/Java/JS/C#代碼質(zhì)量靜態(tài)檢測工具。

利用領先的深度數(shù)據(jù)流分析技術，靜態(tài)地跨類、跨文件地查找軟件運行時缺陷、錯誤和安全漏洞，并準確定位錯誤發(fā)生的代碼堆棧路徑。Klocwork支持自動化掃描1000多種代碼缺陷，包括空指針、資源及內(nèi)存泄漏、未捕獲的異常、除零等，全面檢測代碼質(zhì)量問題Klocwork提供全面的安全規(guī)則掃描能力，支持CWE, OWASP, CERT, PCI DSS, DISA STIG, 和ISO/IEC TS 17961等標準，深度數(shù)據(jù)流分析能力強、準確率高、漏報率低支持常用的IDE，如Eclipse, Visual Studio, IntelilJ Idea等，并與CI/CD工具和集成、B/S+C/S部署方式Klocwork支持靜態(tài)檢測軟件應用的安全漏洞，包括SQL注入、被污染的數(shù)據(jù)、緩存溢出、弱代碼實現(xiàn)及其它多種常見應用安全漏洞
官網(wǎng)地址：https://www.perforce.com/products/klocwork
Hitex TESSY
Tessy 源自戴姆勒- 奔馳公司的軟件技術實驗室，由德國Hitex 公司負責全球銷售及技術支持服務，是一款專門針對基于C/C++開發(fā)的嵌入式軟件進行單元/ 集成測試的工具。

Tessy 也可以滿足各類標準（ 如ISO26262、IEC61508、EN 50128/50129 等）對測試的需求，而工具自身也通過了TUV 的認證，證明該軟件是安全可靠的。
主要功能有：自動生成測試環(huán)境、一鍵執(zhí)行及評估結(jié)果便捷的測試用例設計方式，如集成了分類樹編輯器CTE，支持導入導出多種格式的測試用例通過分析源文件自動識別函數(shù)及相關接口，在接口發(fā)生變更時，支持通過簡便的操作進行測試數(shù)據(jù)復用，實現(xiàn)高度自動化的回歸測試提供分支覆蓋、MC/DC、多條件覆蓋MCC等多種覆蓋度分析。還提供其它一些工具，如：Static code anlaysisTest case specificationWorking with standardsAnalyzerHardware-in-the-loop test
官網(wǎng)地址：https://www.hitex.com/embedded-services/testing


Rapita Verification Suite (RVS)
RVS是一套面向嵌入式軟件的測試工具集，支持MC/DC覆蓋率分析，滿足DO-178C和ISO 26262認證要求。

其中RapiTest具有易于編寫和易于審查但功能豐富的測試格式，以及創(chuàng)建多線程測試和測試代碼元素（如泛型和私有類型）的能力（無需編寫源代碼）。單元、集成和系統(tǒng)測試的生成和執(zhí)行 - RapiTest結(jié)構(gòu)性代碼覆蓋率分析 - RapiCover執(zhí)行時間分析 - RapiTime調(diào)度分析 - RapiTask
官網(wǎng)地址：https://www.rapitasystems.com/products/rvs
Squish
Froglogic公司的Squish是廣受歡迎的跨平臺、多技術融合的GUI 測試工具，尤其是對如下應用提供專業(yè)和全面的支持：Qt、Java GUIs、Web、Linux、Windows、IOS和android等。

Squish支持BDD、數(shù)據(jù)驅(qū)動、 分布式批量測試和視覺驗證等，識別自定義的控件或2D/3D圖像，支持多種腳本語言：Python、Perl、JavaScript、Ruby和Tcl，平臺有兩大產(chǎn)品：Squish：自動化GUI測試Squish CoCo：代碼覆蓋率分析
官網(wǎng)地址：https://www.froglogic.com/squish/
DT10
DT10（Dynamic Test Tool DT10 ）是一款支持C/C++, C#, Java等多種語言的軟件灰盒測試和系統(tǒng)動態(tài)跟蹤調(diào)試工具，利用領先的自動化代碼插裝和數(shù)據(jù)采集技術，支持對軟件系統(tǒng)的復雜的、偶發(fā)的缺陷的回溯調(diào)試、性能測試、CPU負載分析、變量監(jiān)控、邏輯分析、內(nèi)存使用分析、硬件監(jiān)測和分析，及覆蓋率分析等灰盒測試場景。

DT10由硬件設備Dynamic Tracer和PC端軟件兩個主要部分組成，軟件部分負責源碼插裝、數(shù)據(jù)處理和結(jié)果分析等，硬件部分復雜接口、信號采集和數(shù)據(jù)通訊。 。強大的缺陷回溯定位能力、支持跟蹤和檢測軟件執(zhí)行過程中的路徑、變量和各種中間狀態(tài)支持監(jiān)測和分析系統(tǒng)運行過程中的硬件狀態(tài)并和軟件狀態(tài)同步分析
支持長達一個月的長時間不間斷測試，實時動態(tài)更新的覆蓋率分析性能測試功能可以細化任意代碼模塊，并精確到ns不依賴于被測系統(tǒng)的CPU和OS類型支持串口、以太網(wǎng)口、異步總線、GPIO, SPI, SD卡和CAN總線等豐富的接口類型
官網(wǎng)地址：https://trinitytec.com.cn/product-204

VectorCAST
VectorCAST是適用于嵌入式軟件應用的高可靠性和高安全性軟件的自動化動態(tài)測試工具鏈，適用于單元測試、集成測試、覆蓋率分析、回歸測試、靜態(tài)分析、系統(tǒng)測試和質(zhì)量分析等軟件測試所涉及的各個環(huán)節(jié)。

支持C/C++和Ada語言，內(nèi)建多種智能的自動化測試用例生成算法，符合多種行業(yè)認證的標準，如DO-178B/C, ISO 26262, ASPICE, IEC 61508, En 50128, IEC 62304, IEC 60880等。
官網(wǎng)地址：https://www.vector.com/us/en-us/
------------ END ------------

●專欄《嵌入式工具》●專欄《嵌入式開發(fā)》●專欄《Keil教程》●嵌入式專欄精選教程
關注公眾號回復“加群”按規(guī)則加入技術交流群，回復“1024”查看更多內(nèi)容。點擊“閱讀原文”查看更多分享。