隨著計算機(jī)技術(shù)的飛速發(fā)展,嵌入式系統(tǒng)不僅在人們?nèi)粘Ｉ钪袘?yīng)用越來越廣泛,同時在一些高端領(lǐng)域如航空、軍事相關(guān)的控制領(lǐng)域發(fā)揮著日益關(guān)鍵的作用,相關(guān)領(lǐng)域?qū)η度胧杰浖陌踩�、穩(wěn)定性要求也不斷提高。C語言作為嵌入式軟件中采用最廣的編程語言,卻存在著很多安全隱患,對C語言編寫的嵌入式軟件的安全性測試已經(jīng)成為十分重要的一環(huán)。 本文針對嵌入式軟件白盒測試中的一個方面——靜態(tài)分析,研究了目前國內(nèi)外的方向及常用的幾款自動化測試工具,結(jié)合C語言中的安全隱患,特別是堆棧溢出隱患,提出一套基于匯編代碼的靜態(tài)自動化測試方案,并設(shè)計實現(xiàn)了一款堆棧溢出靜態(tài)測試軟件。該軟件功能專一,效率較高,且源代碼可見,在堆棧溢出測試中可以替代人工勞動,能夠提高靜態(tài)測試效率,在高安全性高可靠性領(lǐng)域的嵌入式軟件評測中具有一定的實踐應(yīng)用價值。
【學(xué)位單位】：北京交通大學(xué)
【學(xué)位級別】：碩士
【學(xué)位年份】：2011
【中圖分類】：TP368.1;TP311.53
【部分圖文】：

staek劫alyzer調(diào)用關(guān)系顯示

喏獻(xiàn)筇美嘉澇佳峭裂絎宦畚那度朧餃砑鋣饈苑椒縝骯ぞ?___澎…一 一爵爵爵爵魯魯 圖2一 2StackAnalyze:控制流程圖顯示但是這款軟件是商業(yè)軟件，價格十分昂貴，而且其源代碼并不提供給用戶。在航天，軍工等高安全性高可靠性領(lǐng)域，這款軟件并不適用。目前測試人員在相關(guān)領(lǐng)域的堆棧分析中主要采用人工審查結(jié)合其他工具的方式進(jìn)行分析，效率比較低。本文主要致力于開發(fā)一款源代碼開放的的軟件，它的功能類似于sta比Anal歲er，能夠?qū)崿F(xiàn)對嵌入式軟件堆棧溢出的靜態(tài)分析。2.4本章小結(jié)本章重點介紹了嵌入式軟件測試最常用到的兩種測試方法—白盒測試和黑盒測試，并針對真兩種方法給出了優(yōu)缺點對比。同時結(jié)合本文的研究目標(biāo)，著重分析了白盒測試中靜態(tài)分析和動態(tài)分析的各自特點，給出了目前嵌入式軟件靜態(tài)測試領(lǐng)域的研究方向和幾款常用軟件

將匯編代碼放入可執(zhí)行文件decode所在的目錄下，在hnux下運行decode，根據(jù)提示輸入嵌入式系統(tǒng)堆棧大小(設(shè)定為2048)，對嵌入式軟件的堆棧使用進(jìn)行靜態(tài)分析，測試結(jié)果截圖如圖5一1所示:

【相似文獻(xiàn)】

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

1 鄭剛;;航空軟件測試技術(shù)探討[J];南昌高專學(xué)報;2011年03期

2 涂文亮;童玲;田雨;;無線傳感器網(wǎng)絡(luò)的嵌入式軟件測試[J];單片機(jī)與嵌入式系統(tǒng)應(yīng)用;2011年05期

3 姜書漢;;智能傳感器的主要功能和應(yīng)用發(fā)展[J];物聯(lián)網(wǎng)技術(shù);2011年05期

4 陶幸輝;宋志剛;;嵌入式飛控軟件測試方法研究及實踐[J];軟件導(dǎo)刊;2011年08期

5 楊明軍;;基于虛擬儀器的燃?xì)庥镁邫z測設(shè)備嵌入式軟件[J];機(jī)械制造與自動化;2011年03期

6 劉玉寶;祝海英;戴銀飛;;汽車電子系統(tǒng)中嵌入式軟件可靠性設(shè)計[J];數(shù)字技術(shù)與應(yīng)用;2011年08期

7 黃慧敏;劉秋讓;張凱龍;;嵌入式多任務(wù)軟件混合自容錯機(jī)制[J];計算機(jī)工程;2011年18期

8 許迅文;;開源RTOS在STM32單片機(jī)中的應(yīng)用[J];企業(yè)技術(shù)開發(fā);2011年16期

9 ;幽默[J];程序員;2010年11期

10 陳乃塘;;側(cè)看《嵌入式系統(tǒng)軟件》的未來[J];電子與電腦;2011年09期

相關(guān)會議論文 前10條

1 張志剛;;基于動態(tài)跟蹤模式的軍用嵌入式軟件需求質(zhì)量改進(jìn)方法研究[A];質(zhì)量——持續(xù)發(fā)展的源動力：中國質(zhì)量學(xué)術(shù)與創(chuàng)新論壇論文集（下）[C];2010年

2 曹松;李慧軍;惠平;;航天嵌入式軟件的發(fā)展趨勢[A];中國空間科學(xué)學(xué)會空間探測專業(yè)委員會第十六次學(xué)術(shù)會議論文集（下）[C];2003年

3 李友峰;;機(jī)車柴油機(jī)電控系統(tǒng)嵌入式軟件的開發(fā)與研究[A];第十七屆全國大功率柴油機(jī)學(xué)術(shù)年會論文集[C];2011年

4 趙琰;;基于VxWorks操作系統(tǒng)下的星載嵌入式軟件動態(tài)測試技術(shù)應(yīng)用研究[A];第二十三屆全國空間探測學(xué)術(shù)交流會論文摘要集[C];2010年

5 畢經(jīng)存;;一種實用的嵌入式軟件測試方法研究[A];2008’“先進(jìn)集成技術(shù)”院士論壇暨第二屆儀表、自動化與先進(jìn)集成技術(shù)大會論文集[C];2008年

6 蘇運霖;;智能嵌入式軟件初探[A];第十屆全國電工數(shù)學(xué)學(xué)術(shù)年會論文集[C];2005年

7 張軍;羅永紅;;實時嵌入式軟件仿真測試平臺研究[A];2009系統(tǒng)仿真技術(shù)及其應(yīng)用學(xué)術(shù)會議論文集[C];2009年

8 李永成;喬廬峰;李建華;林龍;杜昌賢;;MSAP系統(tǒng)的軟硬件聯(lián)合設(shè)計[A];2008通信理論與技術(shù)新進(jìn)展——第十三屆全國青年通信學(xué)術(shù)會議論文集（上）[C];2008年

9 楊云松;孫旭光;梅文華;;嵌入式軟件的加解密分析[A];第六屆全國計算機(jī)應(yīng)用聯(lián)合學(xué)術(shù)會議論文集[C];2002年

10 范海霞;徐濤;;嵌入式軟件覆蓋測試的優(yōu)化技術(shù)的研究[A];中國電子學(xué)會第十七屆信息論學(xué)術(shù)年會論文集[C];2010年

相關(guān)重要報紙文章 前10條

1 本報記者 許泳;嵌入式軟件:磨練開發(fā)質(zhì)量[N];計算機(jī)世界;2011年

2 記者 朱宇;寧波軟件主攻“嵌入式”[N];寧波日報;2005年

3 本報記者 張學(xué)琦　莎莎;內(nèi)需拉動嵌入式軟件增長 重點在行業(yè)應(yīng)用[N];中國電子報;2008年

4 ;中國手機(jī)嵌入式軟件市場潛力巨大[N];人民郵電;2005年

5 李燃;時代牽手北航 共推嵌入式軟件產(chǎn)業(yè)發(fā)展[N];中國經(jīng)營報;2005年

6 本報記者 陳曉晟;嵌入式軟件發(fā)展關(guān)鍵在人才[N];通信信息報;2007年

7 諶力;給嵌入式軟件降降溫[N];網(wǎng)絡(luò)世界;2006年

8 申銀萬國 尹沿技;計算機(jī)業(yè)軟件服務(wù)業(yè)司設(shè)立 關(guān)注嵌入式軟件[N];上海證券報;2008年

9 史興國;產(chǎn)業(yè)發(fā)展需要企業(yè)做穩(wěn)做實[N];中國電子報;2008年

10 記者 侯力明 王芳 實習(xí)生 戴子寧;嵌入式軟件，下一塊誘人的“奶酪”[N];江蘇經(jīng)濟(jì)報;2006年

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

1 祝義;嵌入式軟件需求規(guī)約到軟件體系結(jié)構(gòu)模型的轉(zhuǎn)換研究[D];南京航空航天大學(xué);2011年

2 魯曉成;嵌入式軟件保護(hù)關(guān)鍵技術(shù)研究與應(yīng)用[D];武漢理工大學(xué);2011年

3 古幼鵬;嵌入式實時軟件的構(gòu)件化開發(fā)技術(shù)研究[D];電子科技大學(xué);2005年

4 鄧阿群;面向方面技術(shù)在大規(guī)模嵌入式軟件中的應(yīng)用[D];浙江大學(xué);2007年

5 高志剛;基于模型的汽車電子軟件綜合方法研究[D];浙江大學(xué);2008年

6 楊年華;模型驅(qū)動架構(gòu)中的可信嵌入式軟件建模與分析[D];華東理工大學(xué);2011年

7 郭兵;嵌入式軟件開放式集成開發(fā)平臺體系結(jié)構(gòu)研究[D];電子科技大學(xué);2002年

8 徐戰(zhàn)亞;可移植嵌入式導(dǎo)航平臺關(guān)鍵技術(shù)研究[D];中國地質(zhì)大學(xué);2010年

9 蔣建春;異構(gòu)多核嵌入式軟件關(guān)鍵問題研究[D];重慶大學(xué);2011年

10 吳全玉;基于外周動脈壓力波形的脈搏傳導(dǎo)時間獲取方法研究及應(yīng)用[D];中國科學(xué)技術(shù)大學(xué);2012年

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

1 原義盈;嵌入式軟件堆棧溢出的靜態(tài)測試方法研究[D];北京交通大學(xué);2011年

2 于炳霞;基于嵌入式軟件的覆蓋測試技術(shù)研究[D];南京航空航天大學(xué);2010年

3 熊利;嵌入式軟件測試用例生成方法研究[D];大連理工大學(xué);2010年

4 趙玉輝;嵌入式軟件綜合測試平臺技術(shù)研究[D];電子科技大學(xué);2010年

5 肖俊賢;基于積極防御編程的嵌入式軟件缺陷預(yù)防方法及其實踐[D];北京郵電大學(xué);2010年

6 龔榮;基于NXT的嵌入式軟件生產(chǎn)線的設(shè)計和實現(xiàn)[D];電子科技大學(xué);2011年

7 張春梅;構(gòu)件化嵌入式軟件的服務(wù)質(zhì)量研究[D];陜西師范大學(xué);2010年

8 楊盛;AFC感應(yīng)型檢票機(jī)嵌入式軟件構(gòu)架設(shè)計與實現(xiàn)[D];東華大學(xué);2010年

9 路翠;嵌入式軟件白盒測試中插樁技術(shù)的研究與應(yīng)用[D];北京工業(yè)大學(xué);2010年

10 易旭東;μC/OS在嵌入式系統(tǒng)中的應(yīng)用[D];四川大學(xué);2003年

本文編號：2826148