本文關(guān)鍵詞：嵌入式軟件測(cè)試技術(shù)的研究

  更多相關(guān)文章： 嵌入式 軟件測(cè)試 UML狀態(tài)圖 測(cè)試用例

【摘要】： 嵌入式系統(tǒng)是計(jì)算機(jī)技術(shù)、現(xiàn)代網(wǎng)絡(luò)與通信技術(shù)、自動(dòng)控制技術(shù)等高度融合的產(chǎn)物。嵌入式系統(tǒng)適應(yīng)于對(duì)功能、可靠性、體積、功耗、成本等綜合指標(biāo)具有嚴(yán)格要求的專業(yè)計(jì)算機(jī)應(yīng)用系統(tǒng)。目前,嵌入式系統(tǒng)已經(jīng)在我們的生活和工作中得到廣泛的應(yīng)用。 隨著嵌入式處理器和硬件技術(shù)的快速度發(fā)展,開(kāi)發(fā)實(shí)時(shí)嵌入式系統(tǒng)產(chǎn)品的復(fù)雜程度也在日益提高。在該類產(chǎn)品的開(kāi)發(fā)過(guò)程中,一個(gè)重要環(huán)節(jié)是對(duì)嵌入式軟件的嚴(yán)格測(cè)試;為此,對(duì)嵌入式軟件的測(cè)試方法進(jìn)行研究具有十分重要的現(xiàn)實(shí)意義。 本文在基于ARM2410嵌入式系統(tǒng)產(chǎn)品的硬件電路設(shè)計(jì)、部分功能軟件開(kāi)發(fā)的基礎(chǔ)上,重點(diǎn)對(duì)基于改進(jìn)V模型的嵌入式軟件的測(cè)試方法進(jìn)行了分析,針對(duì)嵌入式軟件測(cè)試的特點(diǎn),提出了一種基于UML狀態(tài)圖的測(cè)試用例生成方法。在實(shí)踐中,為了彌補(bǔ)UML狀態(tài)圖在描述實(shí)時(shí)系統(tǒng)上的不足,本文給出了一個(gè)狀態(tài)圖的實(shí)時(shí)擴(kuò)展方案,提出了遷移等價(jià)類和測(cè)試樹(shù)的概念,闡述了測(cè)試樹(shù)生成測(cè)試用例的方法使用過(guò)程。最終根據(jù)上述算法實(shí)現(xiàn)了測(cè)試用例生成工具,并結(jié)合基于ARM2410的嵌入式系統(tǒng)設(shè)備人臉識(shí)別門禁的例子給出了實(shí)驗(yàn)結(jié)果,證明該工具的可行性及有效性。
【關(guān)鍵詞】：嵌入式 軟件測(cè)試 UML狀態(tài)圖 測(cè)試用例
【學(xué)位授予單位】：北京郵電大學(xué)
【學(xué)位級(jí)別】：碩士
【學(xué)位授予年份】：2009
【分類號(hào)】：TP311.52
【目錄】：

• 摘要4-5
• ABSTRACT5-8
• 第一章 緒論8-12
• 1.1 課題研究背景8-9
• 1.2 國(guó)內(nèi)外發(fā)展現(xiàn)狀9-10
• 1.3 論文研究的主要內(nèi)容10-12
• 第二章 嵌入式系統(tǒng)及軟件12-38
• 2.1 嵌入式系統(tǒng)介紹12-13
• 2.2 嵌入式系統(tǒng)的硬件平臺(tái)的設(shè)計(jì)13-22
• 2.2.1 嵌入式系統(tǒng)的硬件結(jié)構(gòu)13
• 2.2.2 ARM微處理器簡(jiǎn)介13-15
• 2.2.3 三星ARM920T處理器S3C2410X15-18
• 2.2.4 系統(tǒng)的硬件單元電路設(shè)計(jì)18-22
• 2.3 嵌入式系統(tǒng)軟件介紹22-26
• 2.4 嵌入式系統(tǒng)軟件設(shè)計(jì)26-38
• 2.4.1 引導(dǎo)加載程序及vivi的移植26-28
• 2.4.2 Linux內(nèi)核的加載28-29
• 2.4.3 文件系統(tǒng)的加載29-32
• 2.4.4 設(shè)備驅(qū)動(dòng)程序32-38
• 第三章 嵌入式軟件測(cè)試38-60
• 3.1 通用軟件測(cè)試簡(jiǎn)介38-47
• 3.2 嵌入式軟件測(cè)試簡(jiǎn)介47-53
• 3.3 基于改進(jìn) V模型的嵌入式軟件測(cè)試策略53-60
• 第四章 基于 UML模型的嵌入式軟件測(cè)試用例生成方法60-88
• 4.1 UML模型簡(jiǎn)介60-63
• 4.2 UML的擴(kuò)展機(jī)制63-67
• 4.3 測(cè)試用例構(gòu)造方法的研究67-76
• 4.3.1 一致性測(cè)試67-68
• 4.3.2 方法描述68-69
• 4.3.3 遷移等價(jià)類69-71
• 4.3.4 生成測(cè)試序列71-74
• 4.3.5 測(cè)試準(zhǔn)則74-76
• 4.4 測(cè)試用例生成工具的實(shí)現(xiàn)76-82
• 4.5 測(cè)試用例構(gòu)造方法舉例及生成工具的驗(yàn)證82-88
• 4.5.1 基于 ARM2410的嵌入式人臉識(shí)別門禁系統(tǒng)簡(jiǎn)介82-83
• 4.5.2 基于 ARM2410的嵌入式人臉識(shí)別門禁系統(tǒng)測(cè)試樹(shù)83
• 4.5.3 基于 ARM2410的嵌入式人臉識(shí)別門禁系統(tǒng)實(shí)驗(yàn)結(jié)果83-88
• 第五章 結(jié)束語(yǔ)88-90
• 參考文獻(xiàn)90-92
• 致謝92-93
• 攻讀學(xué)位期間發(fā)表的學(xué)術(shù)論文目錄93

【參考文獻(xiàn)】

中國(guó)期刊全文數(shù)據(jù)庫(kù) 前2條

1 陳東洛,尹霞,吳建平;網(wǎng)絡(luò)協(xié)議中的時(shí)間約束測(cè)試[J];電子學(xué)報(bào);2002年S1期

2 牟凱;顧明;;基于UML活動(dòng)圖的測(cè)試用例自動(dòng)生成方法研究[J];計(jì)算機(jī)應(yīng)用;2006年04期

，

本文編號(hào)：530685