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

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

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

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

【參考文獻(xiàn)】

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

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

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

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

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

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

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

2 林樹(shù)新;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