近年來，由于信息網(wǎng)絡(luò)和智能設(shè)備的發(fā)展，嵌入式系統(tǒng)獲得了廣闊的發(fā)展空間。嵌入式實(shí)時(shí)操作系統(tǒng)作為嵌入式系統(tǒng)發(fā)展過程中的一個(gè)里程碑，已經(jīng)在不同行業(yè)、不同領(lǐng)域獲得了廣泛的應(yīng)用。目前針對嵌入式實(shí)時(shí)操作系統(tǒng)的研究日益增多，涵蓋了從系統(tǒng)概要設(shè)計(jì)到系統(tǒng)整體測試的各個(gè)環(huán)節(jié)，其中測試是保證嵌入式實(shí)時(shí)操作系統(tǒng)正確性和可靠性有效的手段。國內(nèi)外研究人員已經(jīng)對嵌入式實(shí)時(shí)操作系統(tǒng)的測試進(jìn)行了大量研究，但目前還未形成系統(tǒng)成熟的測試?yán)碚摵头椒ǎ詫η度胧綄?shí)時(shí)操作系統(tǒng)測試進(jìn)行研究具有一定的現(xiàn)實(shí)意義。本文主要針對嵌入式系統(tǒng)開發(fā)的需求，研究嵌入式實(shí)時(shí)操作系統(tǒng)的測試方法，提出并實(shí)現(xiàn)了一種基于擴(kuò)展有限狀態(tài)機(jī)(EFSM)的嵌入式實(shí)時(shí)操作系統(tǒng)日志分析方法。 首先，介紹了通用軟件測試的研究概況和發(fā)展趨勢，系統(tǒng)地概述了嵌入式實(shí)時(shí)操作系統(tǒng)測試的特點(diǎn)、環(huán)境構(gòu)建和測試策略；分析了兩類目前常用的嵌入式實(shí)時(shí)操作系統(tǒng)測試方法：基于建模的方法和基于測量的方法的主要內(nèi)容和優(yōu)缺點(diǎn)。 然后，根據(jù)對現(xiàn)有測試方法的分析對比，提出并設(shè)計(jì)了一種基于EFSM的嵌入式實(shí)時(shí)操作系統(tǒng)日志分析方法。該方法的核心是形式化的EFSM模型。為利用模型對日志信息進(jìn)行形式化分析，本文將日志信息抽象為報(bào)告序列，并引入了報(bào)告序列的可接受性概念。通過對具體的分析過程進(jìn)行討論，設(shè)計(jì)了基于EFSM模型的日志分析算法，該算法利用系統(tǒng)運(yùn)行時(shí)輸出的日志信息驅(qū)動(dòng)EFSM模型，在模型的運(yùn)行過程中找出嵌入式實(shí)時(shí)操作系統(tǒng)中隱藏的缺陷和錯(cuò)誤。 最后，為驗(yàn)證基于EFSM的嵌入式實(shí)時(shí)操作系統(tǒng)日志分析方法，本文結(jié)合嵌入式實(shí)時(shí)操作系統(tǒng)TOPPERS/ASP，對TOPPERS/ASP的消息郵箱操作進(jìn)行測試，對測試的具體流程進(jìn)行了詳細(xì)的設(shè)計(jì)和實(shí)現(xiàn)。實(shí)驗(yàn)結(jié)果表明，基于EFSM的嵌入式實(shí)時(shí)操作系統(tǒng)的日志分析方法能夠幫助理解系統(tǒng)設(shè)計(jì)和運(yùn)行時(shí)行為，有助于對嵌入式實(shí)時(shí)操作系統(tǒng)運(yùn)行時(shí)行為進(jìn)行快速有效的測試。
【學(xué)位單位】：湖南大學(xué)
【學(xué)位級(jí)別】：碩士
【學(xué)位年份】：2011
【中圖分類】：TP368.1
【部分圖文】：

最后還需要設(shè)計(jì)一套有效的實(shí)現(xiàn)方案對基于EFSM的嵌入式實(shí)時(shí)操作系統(tǒng)日志分析方法進(jìn)行驗(yàn)證。論文研究的基本思路如圖1.1所示：圖 1.1 論文研究的基本思路圖1.4 論文主要工作本文針對嵌入式實(shí)時(shí)操作系統(tǒng)的特點(diǎn)，研究當(dāng)前已有的嵌入式實(shí)時(shí)操作系統(tǒng)測試方法。在此基礎(chǔ)上，提出了一種基于擴(kuò)展有限狀態(tài)機(jī)(EFSM)的日志分析方法。論文的主要工作如下：(1) 從傳統(tǒng)的軟件測試?yán)碚摮霭l(fā)，分析測試的幾方面發(fā)展趨勢，包括易測試性設(shè)計(jì)、基于模型的軟件測試和軟件測試自動(dòng)化；然后對嵌入式實(shí)時(shí)操作系統(tǒng)測試的特點(diǎn)、測試環(huán)境和測試策略的進(jìn)行總結(jié)和概述，為后續(xù)章節(jié)的研究奠定了基礎(chǔ)。(2) 分析嵌入式實(shí)時(shí)操作系統(tǒng)測試方法和測試工具的研究現(xiàn)狀，重點(diǎn)研究了兩類目前常用的測試方法：基于建模的方法和基于測量的方法的主要內(nèi)容和優(yōu)缺點(diǎn)。(3) 提出了一種基于 EFSM 的嵌入式實(shí)時(shí)操作系統(tǒng)日志分析方法，描述了EFSM模型的形式化定義。為利用模型對日志信息進(jìn)行形式化分析，本文將日志信息進(jìn)行抽象為報(bào)告序列的概念并提出報(bào)告序列的可接受性概念

靜態(tài)測試無須執(zhí)行被測試代碼，而只軟件接口和過程等，檢查軟件是否符合設(shè)代碼審查、模型測試、文檔測試等技術(shù)檢查運(yùn)行結(jié)果與預(yù)期結(jié)果的差異，并分術(shù)主要[12]包括黑盒測試(基于規(guī)約的測試測試(程序與規(guī)約相結(jié)合的測試)。黑盒測下去。下面著重探討軟件測試領(lǐng)域一些2.1.1 軟件的易測試性設(shè)計(jì)軟件易測試性借鑒了硬件易測試性編碼中就開始考慮測試問題[13][14]，這種會(huì)在將來獲得巨大的回報(bào)。Voas[15]提出件的易測試性是指采用一定的測試策略軟件的易測試性的定義被提出來以后，

根據(jù)對類5][26]中對基于術(shù)的廣泛應(yīng)用和Software Testing序的軟件模型及測試結(jié)果評(píng)價(jià)。、排隊(duì)論模型和要對軟件功能或的模型，接著，、抽象語法樹生報(bào)表。整個(gè)測試

【參考文獻(xiàn)】

相關(guān)期刊論文 前4條

1 單錦輝,姜瑛,孫萍;軟件測試研究進(jìn)展[J];北京大學(xué)學(xué)報(bào)(自然科學(xué)版);2005年01期

2 彭良清;嵌入式計(jì)算系統(tǒng)調(diào)測方法與技術(shù)綜述[J];單片機(jī)與嵌入式系統(tǒng)應(yīng)用;2003年02期

3 江建慧;嵌入式系統(tǒng)性能評(píng)估的基準(zhǔn)程序方法[J];機(jī)械與電子;2002年04期

4 張涌,錢樂秋,王淵峰;基于擴(kuò)展有限狀態(tài)機(jī)測試中測試輸入數(shù)據(jù)自動(dòng)選取的研究[J];計(jì)算機(jī)學(xué)報(bào);2003年10期

相關(guān)碩士學(xué)位論文 前3條

1 許鐵峰;基于日志文件分析的手機(jī)測試方法研究[D];南京理工大學(xué);2007年

2 林樹新;SmartOSEK的系統(tǒng)設(shè)計(jì)和時(shí)間性能優(yōu)化[D];浙江大學(xué);2005年

3 樓永紅;面向嵌入式實(shí)時(shí)應(yīng)用的內(nèi)存管理技術(shù)研究[D];浙江大學(xué);2006年

本文編號(hào)：2822358