嵌入式軟件測試技術(shù)的研究
發(fā)布時間:2017-07-07 15:07
本文關(guān)鍵詞:嵌入式軟件測試技術(shù)的研究
更多相關(guān)文章: 嵌入式 軟件測試 UML狀態(tài)圖 測試用例
【摘要】: 嵌入式系統(tǒng)是計算機技術(shù)、現(xiàn)代網(wǎng)絡與通信技術(shù)、自動控制技術(shù)等高度融合的產(chǎn)物。嵌入式系統(tǒng)適應于對功能、可靠性、體積、功耗、成本等綜合指標具有嚴格要求的專業(yè)計算機應用系統(tǒng)。目前,嵌入式系統(tǒng)已經(jīng)在我們的生活和工作中得到廣泛的應用。 隨著嵌入式處理器和硬件技術(shù)的快速度發(fā)展,開發(fā)實時嵌入式系統(tǒng)產(chǎn)品的復雜程度也在日益提高。在該類產(chǎn)品的開發(fā)過程中,一個重要環(huán)節(jié)是對嵌入式軟件的嚴格測試;為此,對嵌入式軟件的測試方法進行研究具有十分重要的現(xiàn)實意義。 本文在基于ARM2410嵌入式系統(tǒng)產(chǎn)品的硬件電路設(shè)計、部分功能軟件開發(fā)的基礎(chǔ)上,重點對基于改進V模型的嵌入式軟件的測試方法進行了分析,針對嵌入式軟件測試的特點,提出了一種基于UML狀態(tài)圖的測試用例生成方法。在實踐中,為了彌補UML狀態(tài)圖在描述實時系統(tǒng)上的不足,本文給出了一個狀態(tài)圖的實時擴展方案,提出了遷移等價類和測試樹的概念,闡述了測試樹生成測試用例的方法使用過程。最終根據(jù)上述算法實現(xiàn)了測試用例生成工具,并結(jié)合基于ARM2410的嵌入式系統(tǒng)設(shè)備人臉識別門禁的例子給出了實驗結(jié)果,證明該工具的可行性及有效性。
【關(guān)鍵詞】:嵌入式 軟件測試 UML狀態(tài)圖 測試用例
【學位授予單位】:北京郵電大學
【學位級別】:碩士
【學位授予年份】:2009
【分類號】:TP311.52
【目錄】:
- 摘要4-5
- ABSTRACT5-8
- 第一章 緒論8-12
- 1.1 課題研究背景8-9
- 1.2 國內(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)的硬件平臺的設(shè)計13-22
- 2.2.1 嵌入式系統(tǒng)的硬件結(jié)構(gòu)13
- 2.2.2 ARM微處理器簡介13-15
- 2.2.3 三星ARM920T處理器S3C2410X15-18
- 2.2.4 系統(tǒng)的硬件單元電路設(shè)計18-22
- 2.3 嵌入式系統(tǒng)軟件介紹22-26
- 2.4 嵌入式系統(tǒng)軟件設(shè)計26-38
- 2.4.1 引導加載程序及vivi的移植26-28
- 2.4.2 Linux內(nèi)核的加載28-29
- 2.4.3 文件系統(tǒng)的加載29-32
- 2.4.4 設(shè)備驅(qū)動程序32-38
- 第三章 嵌入式軟件測試38-60
- 3.1 通用軟件測試簡介38-47
- 3.2 嵌入式軟件測試簡介47-53
- 3.3 基于改進 V模型的嵌入式軟件測試策略53-60
- 第四章 基于 UML模型的嵌入式軟件測試用例生成方法60-88
- 4.1 UML模型簡介60-63
- 4.2 UML的擴展機制63-67
- 4.3 測試用例構(gòu)造方法的研究67-76
- 4.3.1 一致性測試67-68
- 4.3.2 方法描述68-69
- 4.3.3 遷移等價類69-71
- 4.3.4 生成測試序列71-74
- 4.3.5 測試準則74-76
- 4.4 測試用例生成工具的實現(xiàn)76-82
- 4.5 測試用例構(gòu)造方法舉例及生成工具的驗證82-88
- 4.5.1 基于 ARM2410的嵌入式人臉識別門禁系統(tǒng)簡介82-83
- 4.5.2 基于 ARM2410的嵌入式人臉識別門禁系統(tǒng)測試樹83
- 4.5.3 基于 ARM2410的嵌入式人臉識別門禁系統(tǒng)實驗結(jié)果83-88
- 第五章 結(jié)束語88-90
- 參考文獻90-92
- 致謝92-93
- 攻讀學位期間發(fā)表的學術(shù)論文目錄93
【參考文獻】
中國期刊全文數(shù)據(jù)庫 前2條
1 陳東洛,尹霞,吳建平;網(wǎng)絡協(xié)議中的時間約束測試[J];電子學報;2002年S1期
2 牟凱;顧明;;基于UML活動圖的測試用例自動生成方法研究[J];計算機應用;2006年04期
,本文編號:530685
本文鏈接:http://sikaile.net/kejilunwen/ruanjiangongchenglunwen/530685.html
最近更新
教材專著