芻議嵌入式軟件進(jìn)行功能測(cè)試的相關(guān)方法應(yīng)用

許喬娜 黎劍愛(ài) 朱轉(zhuǎn)平

摘 要：嵌入式計(jì)算機(jī)技術(shù)是當(dāng)前計(jì)算機(jī)行業(yè)一種比較流行的技術(shù)，嵌入式計(jì)算機(jī)已完全融入到我們生活當(dāng)中，關(guān)系十分緊密，影響十分巨大?？茖W(xué)技術(shù)發(fā)展，嵌入式計(jì)算機(jī)用途范圍逐漸廣泛，在使用過(guò)程中，嵌入式計(jì)算機(jī)擁有很多功能，能夠滿足客戶對(duì)不同功能的需求。但是，由于嵌入式類型計(jì)算機(jī)相比其他計(jì)算機(jī)軟件結(jié)構(gòu)較為復(fù)雜，因此在使用前需要人們按照使用須知操作嵌入式計(jì)算機(jī)，并測(cè)試檢查分析嵌入式計(jì)算機(jī)軟件技術(shù)的有效性。本文介紹了嵌入式軟件的概念，讓讀者對(duì)嵌入式軟件有所了解，闡述了嵌入式軟件測(cè)試的相關(guān)技術(shù)，并利用這些技術(shù)測(cè)試檢查分析嵌入式計(jì)算機(jī)軟件。

關(guān)鍵詞：嵌入式軟件；計(jì)算機(jī)軟件；軟件測(cè)試；關(guān)鍵技術(shù)

嵌入式計(jì)算機(jī)，是針對(duì)實(shí)現(xiàn)某技術(shù)、某種網(wǎng)絡(luò)、或某種功能的計(jì)算機(jī)系統(tǒng)。用計(jì)算機(jī)技術(shù)，融合嵌入式系統(tǒng)，使計(jì)算機(jī)能夠?qū)崿F(xiàn)的功能增多，比如計(jì)算機(jī)硬件的兼容性，和專業(yè)性較強(qiáng)的計(jì)算機(jī)軟件，從而滿足復(fù)雜多變的實(shí)際工程需求。如果開(kāi)發(fā)某種功能需要，嵌入式計(jì)算機(jī)會(huì)對(duì)以下因素有著十分嚴(yán)格要求：開(kāi)發(fā)的成本，功能需求可靠性，計(jì)算機(jī)的大小等?；谇度胧郊夹g(shù)，在對(duì)計(jì)算機(jī)處理器、應(yīng)用、硬件、系統(tǒng)等進(jìn)行操作的基礎(chǔ)上，能夠更進(jìn)一步地保證計(jì)算機(jī)技術(shù)的實(shí)現(xiàn)。目前嵌入式軟件的現(xiàn)狀，被應(yīng)用的行業(yè)范圍廣，尤其是工業(yè)領(lǐng)域，它能夠提升工作效率，保證產(chǎn)品的生產(chǎn)質(zhì)量。我國(guó)工業(yè)發(fā)展迅速，進(jìn)步很快，科學(xué)技術(shù)水平提高，相應(yīng)的，嵌入式計(jì)算機(jī)技術(shù)水平也得到了空前的發(fā)展。我們絕大部分使用的計(jì)算機(jī)，是普通型計(jì)算機(jī)。而嵌入式計(jì)算機(jī)是一種專業(yè)性較強(qiáng)的計(jì)算機(jī)系統(tǒng)，以實(shí)現(xiàn)某技術(shù)或某一種網(wǎng)絡(luò)為目標(biāo)，是一種新型的計(jì)算機(jī)系統(tǒng)。針對(duì)客戶要求嵌入式計(jì)算機(jī)開(kāi)發(fā)出某種功能，提升工作效率。嵌入式計(jì)算機(jī)應(yīng)用范圍廣，其軟件愈加復(fù)雜，所以，現(xiàn)在測(cè)試嵌入式計(jì)算機(jī)軟件顯得更為重要。嵌入式軟件跟普通計(jì)算機(jī)性質(zhì)一樣，一般安裝在嵌入式計(jì)算機(jī)中，是自動(dòng)化核心。一般情況下，根據(jù)工作需要，選擇嵌入式軟件完成相應(yīng)功能，對(duì)嵌入式軟件的穩(wěn)定性要求要很嚴(yán)格，測(cè)試檢查分析嵌入式計(jì)算機(jī)件，保證其能夠穩(wěn)定正常工作。

2.嵌入式軟件測(cè)試方法

本文重點(diǎn)介紹了針對(duì)嵌入式軟件的幾種測(cè)試方法：靜態(tài)分析、軟件質(zhì)量度量、性能分析、內(nèi)存分析、覆蓋率分析、單元/集成測(cè)試、系統(tǒng)測(cè)試。

2.1靜態(tài)分析

靜態(tài)分析是一種利用測(cè)試工具對(duì)代碼進(jìn)行的機(jī)械性和程序化的分析方法。靜態(tài)分析是直接對(duì)源代碼進(jìn)行代碼走讀、靜態(tài)掃描和分析，不需要編譯或運(yùn)行代碼，也不會(huì)受到其他缺陷和其他模塊的影響。工具舉例：PolySpace工具是一種嵌入式軟件的靜態(tài)分析工具。它包括PolySpaceBugFinder和PolySpaceCodeProver兩個(gè)模塊。PolySpaceBugFinder是靜態(tài)代碼分析軟件，可以發(fā)現(xiàn)C/C++代碼中的各類缺陷，包括運(yùn)行時(shí)錯(cuò)誤，數(shù)據(jù)流問(wèn)題，編程問(wèn)題等各類代碼缺陷。PolySpaceCodeProver使用抽象解釋和靜態(tài)分析方法來(lái)證明，識(shí)別和分析運(yùn)行時(shí)錯(cuò)誤，例如溢出，除零和指針的越界。

2.2軟件質(zhì)量度量

軟件質(zhì)量度量是衡量軟件是否符合需求、標(biāo)準(zhǔn)的重要體現(xiàn)，它的目的在于利用度量來(lái)改進(jìn)軟件過(guò)程。要確保軟件的整體質(zhì)量，就需要在各個(gè)環(huán)節(jié)嚴(yán)格控制。工具舉例：很多嵌入式軟件是用C或C++語(yǔ)言編寫(xiě)，但編程語(yǔ)言本身并不安全，QAC/QAC++是一種代碼靜態(tài)分析工具，它的靜態(tài)分析能力包括：質(zhì)量度量和軟件結(jié)構(gòu)分析。

2.3性能分析

近年來(lái)，嵌入式系統(tǒng)被廣泛應(yīng)用于汽車、家電、通信、制造等各個(gè)領(lǐng)域，領(lǐng)域間的競(jìng)爭(zhēng)也激發(fā)了嵌入式技術(shù)的快速發(fā)展，對(duì)軟件性能分析是嵌入式開(kāi)發(fā)過(guò)程中至關(guān)重要的一部分，嵌入軟件的性能分析是嵌入式環(huán)境下重要的測(cè)試方法。工具舉例：RapiTime是一種軟件運(yùn)行時(shí)間評(píng)估工具：它能夠進(jìn)行軟件時(shí)間性能的測(cè)量，通過(guò)分析得出最差執(zhí)行時(shí)間數(shù)據(jù)，并為代碼優(yōu)化提供指導(dǎo)。它的特點(diǎn)包括檢查不同的函數(shù)對(duì)于最差、最優(yōu)以及平均執(zhí)行時(shí)間的影響；通過(guò)大量調(diào)用來(lái)查看執(zhí)行時(shí)間的變化；對(duì)于函數(shù)自身的上下文、循環(huán)以及數(shù)據(jù)塊進(jìn)行分析等。

2.4內(nèi)存分析

嵌入式系統(tǒng)的內(nèi)存是有限的，但對(duì)實(shí)時(shí)性要求又很高。內(nèi)存問(wèn)題主要包括內(nèi)存泄露、內(nèi)存崩潰、內(nèi)存碎片。其中內(nèi)存泄露問(wèn)題尤為嚴(yán)重，它會(huì)導(dǎo)致系統(tǒng)可用內(nèi)存減少，甚至導(dǎo)致系統(tǒng)崩潰?，F(xiàn)在已經(jīng)有許多工具來(lái)解決內(nèi)存泄露問(wèn)題，如Mtrace、Memwatch、Purify等。這些工具使用庫(kù)跟蹤、動(dòng)態(tài)檢測(cè)、程序插樁等技術(shù)來(lái)發(fā)現(xiàn)和定位內(nèi)存泄露的問(wèn)題。

2.5覆蓋率分析

覆蓋率測(cè)試（也成邏輯測(cè)試）是度量測(cè)試完整性和查找軟件問(wèn)題的必要手段，是測(cè)試有效性的度量。覆蓋率測(cè)試的目的是確保軟件所有的程序至少被執(zhí)行一次，盡可能全的覆蓋軟件程序的各個(gè)語(yǔ)句及其分支結(jié)構(gòu)，以便發(fā)現(xiàn)軟件中的錯(cuò)誤和問(wèn)題。工具舉例：RapiCover是一款基于目標(biāo)硬件的嵌入式軟件的測(cè)試覆蓋率分析工具，針對(duì)所使用的測(cè)試用例給出對(duì)應(yīng)的現(xiàn)場(chǎng)測(cè)試覆蓋率信息，其插樁點(diǎn)的開(kāi)銷極小，并能針對(duì)目標(biāo)板的實(shí)際情況提供靈活的支持方式。它的特點(diǎn)包括：支持C、C++、Ada編程語(yǔ)言；極小的時(shí)間開(kāi)銷；語(yǔ)句覆蓋，變量定義、條件判斷或循環(huán)等。

2.6單元/集成測(cè)試

嵌入式軟件的單元測(cè)試大多是在宿主機(jī)環(huán)境下進(jìn)行的，只有少數(shù)情況下需要在目標(biāo)機(jī)環(huán)境下進(jìn)行。單元測(cè)試主要是進(jìn)行白盒測(cè)試，應(yīng)盡可能地測(cè)試每一個(gè)函數(shù)，每一個(gè)條件分支、每一個(gè)程序語(yǔ)句，提高代碼的測(cè)試覆蓋率。在單元測(cè)試完成后，接下來(lái)需要進(jìn)行集成測(cè)試。集成測(cè)試又稱為組裝測(cè)試，是將各模塊合成一個(gè)組件，并測(cè)試它們間的接口。工具舉例：Tessy軟件是一款專門(mén)針對(duì)嵌入式軟件動(dòng)態(tài)測(cè)試的工具。它可以對(duì)C/C++代碼進(jìn)行單元測(cè)試和集成測(cè)試。

2.7系統(tǒng)測(cè)試

嵌入式軟件系統(tǒng)測(cè)試的目的與通用軟件類似，都是通過(guò)與需求做比較來(lái)發(fā)現(xiàn)軟件缺陷。嵌入式軟件的系統(tǒng)測(cè)試應(yīng)綜合運(yùn)行各種測(cè)試用例設(shè)計(jì)方法，并根據(jù)需求規(guī)格說(shuō)明書(shū)來(lái)設(shè)計(jì)，在目標(biāo)機(jī)環(huán)境下運(yùn)行。

系統(tǒng)測(cè)試階段除了功能測(cè)試外，還應(yīng)該包括意外測(cè)試、破壞性測(cè)試、性能測(cè)試等。在系統(tǒng)測(cè)試中，隨機(jī)測(cè)試是比較經(jīng)濟(jì)有效的一種測(cè)試方法。將隨機(jī)測(cè)試結(jié)果和操作規(guī)范的要求作比較，還可以得到軟件可靠性的估計(jì)。有效地將隨機(jī)抽樣測(cè)試與其他測(cè)試技術(shù)結(jié)合可以產(chǎn)生更強(qiáng)大和更高效的測(cè)試策略。

三、結(jié)束語(yǔ)

綜上所述，得益于信息技術(shù)的快速發(fā)展，計(jì)算機(jī)軟硬件方面都取得較大的進(jìn)步。當(dāng)前，計(jì)算機(jī)硬件的發(fā)展不斷趨于穩(wěn)定，但軟件方面還是時(shí)有故障發(fā)生。因此對(duì)嵌入式軟件功能測(cè)試工作還應(yīng)該進(jìn)行進(jìn)一步的優(yōu)化。嵌入式系統(tǒng)的應(yīng)用不斷擴(kuò)大，開(kāi)發(fā)技術(shù)也在不斷成熟，這種方式對(duì)計(jì)算機(jī)軟件的發(fā)展大有裨益。但實(shí)際進(jìn)行嵌入式軟件功能測(cè)試時(shí)仍存在一定的難度，因此需要采取一定的措施改善測(cè)試情況，并在工作實(shí)踐中對(duì)技術(shù)及工具不斷的創(chuàng)新和改良，以促進(jìn)嵌入式軟件功能測(cè)試的有效進(jìn)行。

參考文獻(xiàn)：

[1] 嵌入式軟件測(cè)試技術(shù)綜述[J].陳濤.電子技術(shù)與軟件工程.2017（20）

[2] 嵌入式軟件測(cè)試自動(dòng)化技術(shù)研究[J].王俊凱.通訊世界.2018（04）

[3] 關(guān)于嵌入式軟件測(cè)試技術(shù)分析[J].包瑋琛.電子技術(shù)與軟件工程.2017（03）

[4] 嵌入式軟件測(cè)試環(huán)境研究[J].于慧媛，張海軍，王敏帥.科技視界.2018（21）

（作者單位：珠海格力電器股份有限公司）