， ，， ，

(中國(guó)人民解放軍總參謀部 第六十研究所，南京 210016)

IOTEST在某型模擬對(duì)抗終端嵌入式軟件測(cè)試中的應(yīng)用

吳海東，陳哲，保亞運(yùn)，吳波，王云飛

(中國(guó)人民解放軍總參謀部第六十研究所，南京210016)

由于嵌入式系統(tǒng)對(duì)功能和性能的高要求，對(duì)嵌入式軟件進(jìn)行測(cè)試存在一定難度；嵌入式系統(tǒng)通過各種不同類型的接口與外界實(shí)現(xiàn)交互，故而對(duì)嵌入式系統(tǒng)的接口進(jìn)行測(cè)試，是保證嵌入式軟件質(zhì)量的重要途徑；以某型模擬對(duì)抗終端嵌入式軟件為例，根據(jù)該型終端的特點(diǎn)，對(duì)基于IOTEST實(shí)現(xiàn)嵌入式軟件測(cè)試的自動(dòng)化進(jìn)行研究；依照測(cè)試需求分析、測(cè)試環(huán)境搭建、測(cè)試建模、變量配置、測(cè)試腳本編寫、測(cè)試執(zhí)行的測(cè)試步驟和方法，通過測(cè)試實(shí)現(xiàn)過程詳細(xì)說明了IOTEST在嵌入式軟件測(cè)試中的應(yīng)用；測(cè)試結(jié)果表明，IOTEST能夠?qū)η度胧较到y(tǒng)接口的正確性、實(shí)時(shí)性和可靠性進(jìn)行有效地測(cè)試，該工具在測(cè)試過程中具備良好的實(shí)用性和通用性；在嵌入式軟件的測(cè)試過程中合理使用IOTEST，可以有效提高測(cè)試效率，保證軟件質(zhì)量。

嵌入式軟件;軟件測(cè)試;IOTEST;測(cè)試用例

0 引言

隨著我國(guó)國(guó)防工業(yè)的快速發(fā)展以及對(duì)訓(xùn)練管理重視程度的提高，軍事訓(xùn)練裝備日益向復(fù)雜化、精細(xì)化、體系化和模塊化發(fā)展。嵌入式系統(tǒng)是各類訓(xùn)練裝備的重要組成部分，承擔(dān)著各種計(jì)算、控制、通信等功能。相對(duì)于通用平臺(tái)軟件，對(duì)嵌入式軟件進(jìn)行測(cè)試的困難之處主要體現(xiàn)在與硬件及相關(guān)應(yīng)用的關(guān)聯(lián)性強(qiáng)、接口復(fù)雜、測(cè)試數(shù)據(jù)的獲取及注入手段有限、對(duì)軟件的實(shí)時(shí)性及可靠性要求嚴(yán)格等方面。[1]

針對(duì)嵌入式軟件的輸入輸出接口進(jìn)行測(cè)試，是保證軟件實(shí)現(xiàn)滿足需求規(guī)格說明書要求的前提和基礎(chǔ)，亦是提高軟件質(zhì)量、有效控制軟件開發(fā)和維護(hù)成本的重要途徑。保證對(duì)嵌入式軟件輸入輸出接口功能及性能測(cè)試的有效性，是對(duì)嵌入式軟件進(jìn)行合格性測(cè)試及系統(tǒng)級(jí)測(cè)試的前提。

在當(dāng)前條件下對(duì)相關(guān)嵌入式軟件產(chǎn)品進(jìn)行合格性測(cè)試時(shí)，由于進(jìn)度安排緊張、外場(chǎng)需求變更頻繁等原因，通常是依照軟件需求規(guī)格說明書進(jìn)行黑盒測(cè)試。借助相關(guān)自動(dòng)化測(cè)試工具，可提高測(cè)試腳本設(shè)計(jì)的規(guī)范性，有效提高軟件測(cè)試效率，增強(qiáng)測(cè)試用例及測(cè)試數(shù)據(jù)的復(fù)用性。[2]

1 嵌入式軟件測(cè)試

軟件測(cè)試是保證軟件可靠性的重要手段，嵌入式軟件的測(cè)試除需要運(yùn)用傳統(tǒng)的測(cè)試技術(shù)外，還需要考慮與時(shí)間和硬件密切相關(guān)的測(cè)試技術(shù)的運(yùn)用。

根據(jù)程序是否執(zhí)行，針對(duì)嵌入式軟件的測(cè)試可劃分為靜態(tài)測(cè)試和動(dòng)態(tài)測(cè)試兩種類型。[3]靜態(tài)測(cè)試主要包括代碼走查、代碼質(zhì)量度量和代碼結(jié)構(gòu)分析等類型，主要用于檢查算法邏輯正確性、參數(shù)合法性以及程序設(shè)計(jì)規(guī)范性等方面；動(dòng)態(tài)測(cè)試需設(shè)計(jì)測(cè)試用例并運(yùn)行軟件，可借助于執(zhí)行測(cè)試腳本，分析待測(cè)對(duì)象執(zhí)行情況，判斷預(yù)期結(jié)果與實(shí)際結(jié)果的一致性，包括功能測(cè)試、性能測(cè)試等類型。[4]

2 工具簡(jiǎn)介

IOTEST是一種仿真測(cè)試環(huán)境，針對(duì)嵌入式軟件，其能夠?qū)η度胧较到y(tǒng)進(jìn)行半物理仿真測(cè)試。該工具能夠通過圖形化的方式，使用戶實(shí)現(xiàn)相關(guān)交聯(lián)設(shè)備仿真模型框架的自動(dòng)生成，同時(shí)使得測(cè)試實(shí)現(xiàn)閉環(huán)、實(shí)時(shí)、非侵入式的目標(biāo)，具有良好的通用性、實(shí)時(shí)性和可擴(kuò)展性。

本次測(cè)試所使用的系統(tǒng)包括主機(jī)和實(shí)時(shí)處理機(jī)兩部分：以筆記本電腦作為測(cè)試主機(jī)，采用Windows操作系統(tǒng)，實(shí)現(xiàn)仿真模型構(gòu)建、測(cè)試腳本開發(fā)、測(cè)試結(jié)果收集與分析、測(cè)試管理、腳本調(diào)試等功能；以工控機(jī)作為實(shí)時(shí)處理機(jī)，提供數(shù)據(jù)加載、測(cè)試腳本解釋器、測(cè)試顯示監(jiān)控、仿真模型服務(wù)等功能，這些功能與服務(wù)和下層的實(shí)時(shí)事務(wù)處理、任務(wù)調(diào)度與管理、通信協(xié)議棧、內(nèi)存管理通過API 函數(shù)進(jìn)行接口，再下層是實(shí)時(shí)操作系統(tǒng)VxWorks 和硬件驅(qū)動(dòng)程序，其中VxWorks 負(fù)責(zé)運(yùn)行仿真模型和實(shí)時(shí)解釋。其體系架構(gòu)如圖1所示。

圖1 IOTEST軟件體系架構(gòu)

在對(duì)嵌入式軟件進(jìn)行接口測(cè)試時(shí)，合理使用IOTEST，具有以下優(yōu)點(diǎn)：

1) 支持DI/DO、AI/AO、RS-422、RS-232等多種形式的接口，并提供local形式的接口供測(cè)試人員自行定義。

2) IOTEST使建模效率得到極大提升，它支持模型代碼的自動(dòng)生成與交叉編譯，并能夠?qū)Ψ抡婺Ｐ秃蜏y(cè)試腳本進(jìn)行調(diào)試。

3) 得益于IOTEST可有效提升測(cè)試環(huán)境的實(shí)時(shí)性能，測(cè)試效率可同步得到提升。IOTEST同時(shí)實(shí)現(xiàn)了測(cè)試腳本的實(shí)時(shí)解釋和編譯、執(zhí)行。

4) IOTEST支持測(cè)試過程中多個(gè)面板的實(shí)時(shí)顯示控制，便于監(jiān)控測(cè)試過程的執(zhí)行狀況，加強(qiáng)了測(cè)試過程的管理，具有優(yōu)良的人機(jī)交互設(shè)計(jì)。

5) IOTEST提供了圖形、列表等多種數(shù)據(jù)顯示方式，具備查詢、篩選等功能，由于其改進(jìn)了數(shù)據(jù)收集融合算法，支持?jǐn)?shù)據(jù)源模型，并支持大批量數(shù)據(jù)的實(shí)時(shí)加載與采集，故IOTEST可對(duì)測(cè)試數(shù)據(jù)進(jìn)行更加精確的分析處理。

6) IOTEST實(shí)現(xiàn)了與MATLAB等相關(guān)軟件的集成，具有良好的可擴(kuò)展性，可實(shí)現(xiàn)測(cè)試的分級(jí)管理。

3 被測(cè)對(duì)象分析

自2014年以來，全軍貫徹落實(shí)中央軍委《關(guān)于提高軍事訓(xùn)練實(shí)戰(zhàn)化水平的意見》，先后組織多場(chǎng)實(shí)戰(zhàn)化演習(xí)，場(chǎng)次密集，規(guī)?？涨啊?duì)抗演習(xí)作為軍事訓(xùn)練的高級(jí)形式，已成為實(shí)戰(zhàn)化訓(xùn)練的顯著標(biāo)志。作為我軍研發(fā)的新一代實(shí)兵交戰(zhàn)系統(tǒng)，本激光模擬對(duì)抗訓(xùn)練控制系統(tǒng)能夠模擬敵我雙方武器裝備的作戰(zhàn)性能，體現(xiàn)各種作戰(zhàn)行動(dòng)和交戰(zhàn)關(guān)系，基于“直瞄打激光、間瞄打數(shù)據(jù)”的原理，實(shí)現(xiàn)對(duì)目標(biāo)的點(diǎn)殺傷、面殺傷、軟殺傷和綜合毀傷，可直接反映出交戰(zhàn)紅藍(lán)雙方的戰(zhàn)損情況，使得實(shí)兵對(duì)抗更加貼近實(shí)戰(zhàn)。

嵌入式軟件作為某型牽引火炮終端的“核心”，需要實(shí)現(xiàn)仿真火力交戰(zhàn)、實(shí)時(shí)發(fā)送信息、授權(quán)干預(yù)控制等功能。其通過各種不同類型的接口，實(shí)現(xiàn)與主控軟件、態(tài)勢(shì)軟件、交戰(zhàn)雙方各種類型終端乃至調(diào)理員的通信，利用直瞄激光的發(fā)射和接收以及間瞄數(shù)據(jù)解析，可模擬武器殺傷及被命中目標(biāo)戰(zhàn)損，通過戰(zhàn)場(chǎng)通信網(wǎng)絡(luò)向主控和態(tài)勢(shì)等導(dǎo)調(diào)軟件上傳本終端的定位數(shù)據(jù)、彈藥消耗、戰(zhàn)斗狀態(tài)等信息，并接收主控軟件所下發(fā)的演習(xí)預(yù)置、參數(shù)配置、導(dǎo)調(diào)裁決等指令。

只有經(jīng)過充分的測(cè)試，才可保證在實(shí)兵對(duì)抗訓(xùn)練時(shí)，該終端工作狀態(tài)的正常實(shí)現(xiàn)，而對(duì)其接口進(jìn)行測(cè)試，是其他各項(xiàng)測(cè)試的基礎(chǔ)。要提高對(duì)該終端嵌入式軟件的測(cè)試效率，需借助自動(dòng)化測(cè)試工具來實(shí)現(xiàn)測(cè)試用例及測(cè)試腳本的復(fù)用。

4 測(cè)試設(shè)計(jì)與實(shí)現(xiàn)

IOTEST采用“項(xiàng)目-工程-單元”三級(jí)管理機(jī)制，每個(gè)項(xiàng)目可包括多個(gè)工程，每個(gè)工程對(duì)應(yīng)一個(gè)交聯(lián)環(huán)境模型，同時(shí)每個(gè)工程可包括多個(gè)測(cè)試單元，每個(gè)測(cè)試單元即為一次測(cè)試組織。利用IOTEST進(jìn)行嵌入式系統(tǒng)接口測(cè)試的一般流程為：

1) 針對(duì)被測(cè)系統(tǒng)的需求規(guī)格說明書、軟件設(shè)計(jì)說明等相關(guān)文檔，進(jìn)行測(cè)試需求分析；

2) 針對(duì)接口測(cè)試需求，進(jìn)行詳細(xì)的測(cè)試設(shè)計(jì)，包括用例設(shè)計(jì)以及數(shù)據(jù)準(zhǔn)備；

3) 根據(jù)嵌入式系統(tǒng)的接口要求，合理搭建軟硬件測(cè)試環(huán)境，并建立測(cè)試過程管理機(jī)制；

4) 設(shè)計(jì)和開發(fā)仿真模型，模型中的各I/O接口用于實(shí)現(xiàn)被測(cè)系統(tǒng)與實(shí)時(shí)處理機(jī)之間的數(shù)據(jù)通信，并對(duì)模型中各變量進(jìn)行配置；

5) 對(duì)仿真模型代碼進(jìn)行自動(dòng)編譯，根據(jù)工具編譯結(jié)果運(yùn)行該模型或定位模型代碼的錯(cuò)誤并進(jìn)行修正；

6) 編寫測(cè)試腳本，通過腳本實(shí)現(xiàn)測(cè)試用例的自動(dòng)執(zhí)行，并對(duì)編寫完畢的測(cè)試腳本進(jìn)行屬性配置和編譯；

7) 執(zhí)行測(cè)試腳本，并在顯控界面監(jiān)測(cè)測(cè)試執(zhí)行過程；

8) 收集測(cè)試結(jié)果，并對(duì)測(cè)試結(jié)果進(jìn)行分析。

4.1 測(cè)試需求分析

結(jié)合實(shí)兵對(duì)抗系統(tǒng)的特點(diǎn)，本牽引火炮模擬終端的接口測(cè)試需求主要集中于終端上下行信息的正確性、實(shí)時(shí)性等方面，如以下幾點(diǎn)：

1)終端對(duì)主控軟件下行指令的正確響應(yīng)及信息回傳，實(shí)現(xiàn)演習(xí)指揮人員的授權(quán)干預(yù)控制，保證對(duì)演習(xí)進(jìn)程的實(shí)時(shí)把控；

2)終端狀態(tài)信息和事件信息的實(shí)時(shí)發(fā)送，實(shí)現(xiàn)主控軟件與態(tài)勢(shì)軟件中戰(zhàn)場(chǎng)信息的實(shí)時(shí)顯示，正確展示交戰(zhàn)雙方的交火及戰(zhàn)損情況；

3)終端對(duì)系統(tǒng)內(nèi)其他終端或輔助設(shè)備消息的響應(yīng)(如布障、打擊、物資補(bǔ)給與收集等)，實(shí)現(xiàn)系統(tǒng)內(nèi)受權(quán)終端的仿真火力交戰(zhàn)、二次毀傷及支援等，提高實(shí)兵對(duì)抗的真實(shí)性；

4)終端對(duì)無效信息是否正確舍棄，減輕戰(zhàn)場(chǎng)通信網(wǎng)絡(luò)負(fù)載，保證有效信息的高效傳送。

本次合格性測(cè)試試圖通過對(duì)上述相關(guān)重點(diǎn)需求的測(cè)試，借助IOTEST實(shí)現(xiàn)存在缺陷的輸入輸出接口的快速定位、對(duì)軟件接口的有效性和正確性進(jìn)行驗(yàn)證。

4.2 測(cè)試環(huán)境搭建

被測(cè)終端的嵌入式軟件采用C語言編寫，其硬件環(huán)境具備RS232等多種形式的對(duì)外接口，并借助ZigBee、藍(lán)牙、紅外等不同形式的傳輸機(jī)制實(shí)現(xiàn)信息的轉(zhuǎn)發(fā)。將待測(cè)終端作為目標(biāo)機(jī)，以IOTEST作為模擬系統(tǒng)內(nèi)的主控軟件、導(dǎo)調(diào)設(shè)備、交戰(zhàn)終端等。在進(jìn)行測(cè)試設(shè)計(jì)時(shí)，在測(cè)試模型中建立不同形式的接口連接，通過IOTEST向終端發(fā)送模擬下行數(shù)據(jù)，包括有效數(shù)據(jù)和錯(cuò)誤或無效數(shù)據(jù)，檢驗(yàn)終端上行數(shù)據(jù)的正確性和實(shí)時(shí)性，并對(duì)終端的容錯(cuò)能力進(jìn)行驗(yàn)證。

4.3 建立測(cè)試模型

本次測(cè)試實(shí)例的目的為對(duì)終端上行響應(yīng)數(shù)據(jù)及接收下行指令功能進(jìn)行驗(yàn)證，故在本次所建立測(cè)試模型中設(shè)計(jì)3個(gè)模型，其中model_2代表實(shí)際終端電路板軟件，model_1和model_3為仿真模型，model_1模擬主控軟件，model_3中用于存放主控下行指令數(shù)據(jù)，所建立交聯(lián)環(huán)境圖如圖2所示。被測(cè)終端的接口類型為RS-232串口，所以model_1和model_2間連線方式選擇RS-232；通過修改model_3中數(shù)據(jù)可實(shí)現(xiàn)主控所下發(fā)指令的修改，用于仿真模型間數(shù)據(jù)的傳輸，故model_3向model_1的連線方式設(shè)為L(zhǎng)ocal。本模型的建立，實(shí)現(xiàn)了對(duì)嵌入式系統(tǒng)所關(guān)聯(lián)的外部設(shè)備的仿真，并模擬了嵌入式系統(tǒng)與外部設(shè)備間的通信。

圖2 交聯(lián)環(huán)境圖

4.4 變量配置

雙擊模型間總線，可根據(jù)接口協(xié)議進(jìn)行相關(guān)配置，為其添加變量，并選擇變量發(fā)送或接收所須配置的端口號(hào)、波特率以及校驗(yàn)方式。在本次測(cè)試中，我們共為L(zhǎng)ocal總線設(shè)置5個(gè)異步型變量，其中變量count為UChar型，local_30、local_21、error_30和error_21均為block型；為兩條RS-232類型總線分別設(shè)置2個(gè)block型變量(recv_21、recv_30)和1個(gè)變量(send)，配置各變量中元素后式其分別表示終端所上傳數(shù)據(jù)包數(shù)據(jù)以及主控向終端所下傳指令數(shù)據(jù)。

變量類型周期(ms)傳輸類型local＿30Block0UPElocal＿21Block0UPEerror＿30Block0UPEerror＿21Block0UPEcountUChar0UPE

4.5 編寫測(cè)試腳本

腳本由測(cè)試人員設(shè)計(jì)，以文本形式保存，用于描述測(cè)試意圖，具有正規(guī)語法的數(shù)據(jù)和指令。在測(cè)試執(zhí)行過程中，IOTEST可通過讀取測(cè)試腳本來完成相應(yīng)功能的實(shí)現(xiàn)。一個(gè)測(cè)試腳本可實(shí)現(xiàn)一個(gè)或多個(gè)測(cè)試用例的操作，測(cè)試所需的輸入及預(yù)期輸出可包含在腳本中，也可為腳本外的文件或數(shù)據(jù)庫(kù)。

在本次測(cè)試中，我們以終端初始化功能為例，在需求規(guī)格說明書中，主控軟件向終端下發(fā)終端初始化參數(shù)設(shè)置指令，可用于對(duì)終端多個(gè)參數(shù)進(jìn)行初始化設(shè)置，包括狀態(tài)信息上傳時(shí)間間隔、演習(xí)區(qū)域參數(shù)、違規(guī)干預(yù)方式等。

測(cè)試腳本封裝的任務(wù)類型主要有“周期任務(wù)”、“定時(shí)任務(wù)”和“文本方式”等，在此次測(cè)試中我們選擇新建“周期任務(wù)”。為實(shí)現(xiàn)對(duì)終端初始化參數(shù)設(shè)置功能的自動(dòng)化測(cè)試，我們分別編寫兩個(gè)測(cè)試腳本，分別對(duì)應(yīng)模擬實(shí)現(xiàn)主控下發(fā)指令的定時(shí)任務(wù)Task1以及接收并判斷終端所上傳數(shù)據(jù)的周期任務(wù)Task2。

定時(shí)任務(wù)Task1的代碼為：

{

model_1.send.a_1 = 0xC1;

model_1.send.a_2 = 0xFC;

……

model_1.send.a_24 = 0x27;

setBlockData( model_1.send );

model_1.count = 0x01;

}

周期任務(wù)Task2的代碼為：

{

if( model_1.count == 0x01 )

{

model_1.error_30.error = 0;

if( model_1.recv_30.a_1 != model_1.local_30.a_1 )

{ model_1.error_30.error.error_1 = 1; }

……

if( model_1.recv_30.a_30 != model_1.local_30.a_30 )

{ model_1.error_30.error.error_30 = 1; }

if( model_1.error_30.error != 0 )

{

model_1.error_30.a_1 = model_1.recv_30.a_1;

……

model_1.error_30.a_30 = model_1.recv_30.a_30;

setBlockData( model_1.error_30 );

}

else

{

model_1.error_30.a_1 = 0;

……

model_1.error_30.a_30 = 0;

setBlockData( model_1.error_30 );

}

}

}

上述代碼中，Task1中的Block型變量send中各元素設(shè)為主控所下發(fā)指令中各字段，本用例中通過其向model_2中發(fā)送終端初始化參數(shù)設(shè)置指令。在Task2中，變量recv_30中UChar類型元素a_1～a_30分別用于存儲(chǔ)終端所上傳事件數(shù)據(jù)中的各字段，而另一Block類型元素error用于通過其各元素表示終端所上傳事件數(shù)據(jù)的各字段是否與預(yù)期值一致。

4.6 測(cè)試執(zhí)行

模型搭建且相應(yīng)變量配置完成后，點(diǎn)擊工具欄G按鈕，即可自動(dòng)生成模型代碼。然后對(duì)模型代碼進(jìn)行編譯，編譯通過后，需下載該模型至目標(biāo)機(jī)中。完成上述工作后，即完成了主機(jī)上代碼的編譯及鏈接，得到目標(biāo)機(jī)上能夠正常運(yùn)行的可執(zhí)行文件。

在用戶圖形化生成測(cè)試腳本的基礎(chǔ)上，還需要對(duì)文本形式的測(cè)試腳本進(jìn)行語法檢查和調(diào)試。完成腳本的正確編寫后，即可執(zhí)行本腳本所設(shè)計(jì)用例的測(cè)試，IOTEST動(dòng)態(tài)生成并分發(fā)測(cè)試數(shù)據(jù)到各仿真模型，同時(shí)對(duì)測(cè)試反饋進(jìn)行處理，并在測(cè)試顯控工具中實(shí)時(shí)顯示測(cè)試結(jié)果，從而達(dá)到測(cè)試的目的。

4.7 測(cè)試結(jié)果

通過運(yùn)行所編寫的腳本，本次測(cè)試所收集終端上傳事件數(shù)據(jù)如圖3所示，經(jīng)測(cè)試，該終端的參數(shù)初始化設(shè)置指令響應(yīng)功能實(shí)現(xiàn)正常，且滿足需求規(guī)格說明書中所要求的時(shí)間特性，測(cè)試結(jié)果被自動(dòng)保存在MySQL數(shù)據(jù)庫(kù)中。

圖3 數(shù)據(jù)收集結(jié)果

在未采用IOTEST之前，針對(duì)該系統(tǒng)終端嵌入式軟件的測(cè)試工作主要借助于網(wǎng)絡(luò)調(diào)試助手等工具，測(cè)試人員通過抓取相關(guān)數(shù)據(jù)包，逐字節(jié)解析其正確性，不便于測(cè)試數(shù)據(jù)的記錄、篩選與分析，測(cè)試過程不具備可擴(kuò)展性和可復(fù)用性。IOTEST以測(cè)試結(jié)果數(shù)據(jù)文件為輸入，提供了對(duì)測(cè)試結(jié)果數(shù)據(jù)的事后分析處理功能，可按照用戶要求以多種方式顯示測(cè)試數(shù)據(jù)并對(duì)測(cè)試結(jié)果數(shù)據(jù)進(jìn)行比較分析。

在測(cè)試面板中，通過添加相關(guān)顯示控件，并對(duì)這些控件進(jìn)行設(shè)置，使其能夠分別接收并解析終端所上傳數(shù)據(jù)包中的相應(yīng)字節(jié)，實(shí)現(xiàn)了接口數(shù)據(jù)解析與顯示的模塊化與直觀化，如圖4所示。

借助該工具，實(shí)現(xiàn)了嵌入式系統(tǒng)測(cè)試工作的自動(dòng)化，大幅提高了測(cè)試效率，在對(duì)軟件功能進(jìn)行測(cè)試之余，也實(shí)現(xiàn)了對(duì)系統(tǒng)的時(shí)間特性等性能方面的測(cè)試和分析。

圖4 測(cè)試數(shù)據(jù)顯示

圖5 接口測(cè)試詳細(xì)結(jié)果顯示

5 結(jié)論

與桌面軟件相比，嵌入式軟件具有更大的測(cè)試難度。通過合理使用IOTEST等嵌入式軟件接口測(cè)試工具，能夠顯著提高測(cè)試效率，增強(qiáng)測(cè)試用例和測(cè)試腳本的可復(fù)用性，同時(shí)人工和工具的有機(jī)結(jié)合，可加強(qiáng)測(cè)試人員的測(cè)試技術(shù)，有效縮短項(xiàng)目開發(fā)周期，對(duì)軟件質(zhì)量和可靠性的提升大有裨益。

[1] 徐丙鳳，胡 軍，曹 東，等. 構(gòu)件化嵌入式軟件設(shè)計(jì)模型非功能性質(zhì)驗(yàn)證的工具實(shí)現(xiàn)[J]. 計(jì)算機(jī)科學(xué)，2010，37(8)：156-163.

[2] 郭 瑩，劉紀(jì)元，康 智. Testbed套件在航天嵌入式軟件中的應(yīng)用[J]. 火控雷達(dá)技術(shù)，2010，39(1)：20-23.

[3] 蘇青琴. 基于抽象解釋的嵌入式程序不變量靜態(tài)測(cè)試研究與實(shí)現(xiàn)[D]. 南京：南京航空航天大學(xué)，2012.

[4] 楊 潔. 嵌入式軟件測(cè)試的實(shí)踐與研究[D]. 上海：華東師范大學(xué)，2009.

ApplicationofIOTESTtoEmbeddedSoftwareTestingofCertainSimulativeBattleDevice

Wu Haidong, Chen Zhe, Bao Yayun, Wu Bo, Wang Yunfei

(60th Research Institute of General Staff Dept of P.L.A，Nanjing 210016，China)

According to the high requirement for the function and performance of the embedded systems, it’s hard to test the embedded software. The embedded systems communicate with external devices by different kinds of interface, therefore, to test such interfaces is an important way to guarantee the quality of the embedded systems. By means of the embedded software of certain simulative battle device as the sample and according to their specialties, a method for the application of the automatic embedded software testing based on IOTEST was established. Through the procedures that included requirements analysis、environment constitution、modeling、variables configuration、scripts compiling and testing execution, the way to apply IOTEST was illustrated in detail through the testing process. According to the testing result, IOTEST can test the correctness 、real-time performance and reliability availably and have well practicability and versatility. Using IOTEST reasonably can improve the efficiency of embedded software testing greatly, and ensure the quality of the software as well.

embedded software;software testing;IOTEST;test cases

2017-02-22；

2017-04-12。

吳海東(1976-)，男，江蘇南通人，高級(jí)工程師，主要從事軟件工程、軟件開發(fā)與測(cè)試方向的研究。

陳 哲(1989-)，男，河南漯河人，助理工程師，主要從事軟件測(cè)試方向的研究。

1671-4598(2017)09-0106-04

10.16526/j.cnki.11-4762/tp.2017.09.028

TP273

A