分享幾款嵌入式軟件檢測(cè)/測(cè)試工具

嵌入式專(zhuān)欄

關(guān)注+星標(biāo)公眾號(hào)，不錯(cuò)過(guò)精彩內(nèi)容

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

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

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

Tessy 也可以滿(mǎn)足各類(lèi)標(biāo)準(zhǔn)（ 如ISO26262、IEC61508、EN 50128/50129 等）對(duì)測(cè)試的需求，而工具自身也通過(guò)了TUV 的認(rèn)證，證明該軟件是安全可靠的。
主要功能有：自動(dòng)生成測(cè)試環(huán)境、一鍵執(zhí)行及評(píng)估結(jié)果便捷的測(cè)試用例設(shè)計(jì)方式，如集成了分類(lèi)樹(shù)編輯器CTE，支持導(dǎo)入導(dǎo)出多種格式的測(cè)試用例通過(guò)分析源文件自動(dòng)識(shí)別函數(shù)及相關(guān)接口，在接口發(fā)生變更時(shí)，支持通過(guò)簡(jiǎn)便的操作進(jìn)行測(cè)試數(shù)據(jù)復(fù)用，實(shí)現(xiàn)高度自動(dòng)化的回歸測(cè)試提供分支覆蓋、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是一套面向嵌入式軟件的測(cè)試工具集，支持MC/DC覆蓋率分析，滿(mǎn)足DO-178C和ISO 26262認(rèn)證要求。

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

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

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

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

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

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