本文關(guān)鍵詞：基于文法簡(jiǎn)化和語(yǔ)句深度的靜態(tài)結(jié)構(gòu)模型嵌入式軟件分析

  更多相關(guān)文章： 嵌入式系統(tǒng) 靜態(tài)結(jié)構(gòu)模型 軟件分析

【摘要】：提出了一種基于文法簡(jiǎn)化和配合語(yǔ)句深度的靜態(tài)結(jié)構(gòu)模型的嵌入式軟件分析方法。該方法設(shè)計(jì)了文法簡(jiǎn)化的詞法分析和配合語(yǔ)句深度的語(yǔ)法分析,結(jié)合控制流/數(shù)據(jù)流分析,對(duì)嵌入式軟件進(jìn)行分析。以智能電能表開源軟件作為案例,進(jìn)行了30次實(shí)驗(yàn),將人為插入的錯(cuò)誤代碼作為驗(yàn)證對(duì)象,同PC-Lint和Splint測(cè)試工具進(jìn)行對(duì)比,本方法能夠正確分析的概率為91%,介于PC-Lint的95%和Splint的90%之間。該方法在解決了編譯器對(duì)嵌入式平臺(tái)不兼容問(wèn)題以及保障正確率的情況下,提高了測(cè)試的效率。實(shí)驗(yàn)結(jié)果證明本方法適用于通過(guò)編譯的C(含嵌入式)程序。
【作者單位】： 國(guó)網(wǎng)天津市電力公司電力科學(xué)研究院;武漢大學(xué)計(jì)算機(jī)學(xué)院;
【關(guān)鍵詞】： 嵌入式系統(tǒng) 靜態(tài)結(jié)構(gòu)模型 軟件分析
【基金】：國(guó)網(wǎng)天津電力公司項(xiàng)目(KJ15-1-32)資助
【分類號(hào)】：TP311.53
【正文快照】： 1引言隨著嵌入式技術(shù)的發(fā)展和嵌入式設(shè)備的普及,基于嵌入式設(shè)備的軟件編程已經(jīng)成為了計(jì)算機(jī)軟件開發(fā)的重要工作。然而嵌入式系統(tǒng)由于采用不同的核心硬件,例如MCU的型號(hào)差異等,導(dǎo)致與之對(duì)應(yīng)的軟件在開發(fā)細(xì)節(jié)上更是千差萬(wàn)別。因此,對(duì)嵌入系統(tǒng)軟件的代碼質(zhì)量進(jìn)行科學(xué)的管理更困難

【相似文獻(xiàn)】

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

1 葉雨新;“嵌入式”與我們的機(jī)遇──發(fā)展嵌入式軟件的幾點(diǎn)思考[J];軟件世界;2001年03期

2 李巖;嵌入式軟件技術(shù)的現(xiàn)狀與發(fā)展動(dòng)向[J];遼寧高職學(xué)報(bào);2002年03期

3 鐘錫昌;嵌入式軟件面臨良好發(fā)展機(jī)遇[J];科技廣場(chǎng);2003年06期

4 蘇珊 ,依然;好產(chǎn)品是賣出來(lái)的——“道系統(tǒng)”自主知識(shí)產(chǎn)權(quán)的嵌入式軟件產(chǎn)品[J];電子設(shè)計(jì)應(yīng)用;2003年Z1期

5 王繼春;嵌入式軟件及其應(yīng)用領(lǐng)域與發(fā)展趨勢(shì)[J];信息技術(shù)與信息化;2004年04期

6 方天選;淺談嵌入式軟件[J];山西電子技術(shù);2004年05期

7 吳朝暉;;嵌入式軟件發(fā)展的十個(gè)觀點(diǎn)[J];計(jì)算機(jī)教育;2005年05期

8 彭敏;嵌入式軟件:人才仍是關(guān)鍵[J];軟件世界;2005年11期

9 吳朝暉;嵌入式軟件發(fā)展趨勢(shì)[J];電子產(chǎn)品世界;2005年03期

10 ;嵌入式軟件,“嵌入”了什么?[J];軟件世界;2006年10期

中國(guó)重要會(huì)議論文全文數(shù)據(jù)庫(kù) 前10條

1 劉華;;通信設(shè)備嵌入式軟件可靠性研究[A];第九屆中國(guó)通信學(xué)會(huì)學(xué)術(shù)年會(huì)論文集[C];2012年

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

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

4 貢巖;黃琳;;指揮自動(dòng)化系統(tǒng)嵌入式軟件可靠性評(píng)估[A];中國(guó)電子學(xué)會(huì)可靠性分會(huì)第十三屆學(xué)術(shù)年會(huì)論文選[C];2006年

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

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

7 劉旭;謝家強(qiáng);林嵐;;建立嵌入式軟件出口統(tǒng)計(jì)目錄的探討[A];國(guó)際服務(wù)貿(mào)易評(píng)論（總第7輯）[C];2013年

8 范東麗;孫長(zhǎng)嵩;;嵌入式軟件的測(cè)試策略初探[A];2006北京地區(qū)高校研究生學(xué)術(shù)交流會(huì)——通信與信息技術(shù)會(huì)議論文集（下）[C];2006年

9 黎燕霞;;嵌入式軟件可靠性測(cè)試的方法研究[A];2010第十五屆可靠性學(xué)術(shù)年會(huì)論文集[C];2010年

10 徐菊芳;羅東芳;;椅載嵌入式軟件覆蓋率自動(dòng)化測(cè)試技術(shù)[A];探索 創(chuàng)新 交流——第五屆中國(guó)航空學(xué)會(huì)青年科技論壇文集(第5集)[C];2012年

中國(guó)重要報(bào)紙全文數(shù)據(jù)庫(kù) 前10條

1 記者　 李佳師;嵌入式軟件期待整體突破[N];中國(guó)電子報(bào);2006年

2 陳軍梅;嵌入式軟件市場(chǎng)掘金[N];中國(guó)質(zhì)量報(bào);2006年

3 陳先鋒;嵌入式軟件人才面臨著嚴(yán)重短缺[N];經(jīng)濟(jì)參考報(bào);2007年

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

5 高麗華;嵌入式軟件大有可為[N];計(jì)算機(jī)世界;2007年

6 章苒;嵌入式軟件成“十一五”我國(guó)軟件產(chǎn)業(yè)研發(fā)重點(diǎn)[N];民營(yíng)經(jīng)濟(jì)報(bào);2006年

7 楊波;邵峰晶：加快發(fā)展嵌入式軟件產(chǎn)業(yè)[N];青島日?qǐng)?bào);2007年

8 本報(bào)記者　 劉涓涓;信產(chǎn)部“松綁”嵌入式軟件[N];21世紀(jì)經(jīng)濟(jì)報(bào)道;2006年

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

10 賈娟;中國(guó)嵌入式軟件需盡快拉長(zhǎng)產(chǎn)業(yè)鏈[N];國(guó)際商報(bào);2007年

中國(guó)博士學(xué)位論文全文數(shù)據(jù)庫(kù) 前7條

1 徐丙鳳;構(gòu)件化嵌入式軟件安全性分析方法研究[D];南京航空航天大學(xué);2014年

2 孫福振;基于模型檢查的嵌入式軟件構(gòu)件化分析與驗(yàn)證[D];北京理工大學(xué);2015年

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

4 夏一行;面向數(shù)字化儀器設(shè)備的嵌入式軟件應(yīng)用框架研究[D];浙江大學(xué);2007年

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

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

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

中國(guó)碩士學(xué)位論文全文數(shù)據(jù)庫(kù) 前10條

1 肖前遠(yuǎn);航空嵌入式軟件全數(shù)字仿真測(cè)試技術(shù)研究[D];南京航空航天大學(xué);2010年

2 姜兆義;星載嵌入式軟件集成開發(fā)環(huán)境設(shè)計(jì)與關(guān)鍵技術(shù)研究[D];國(guó)防科學(xué)技術(shù)大學(xué);2004年

3 張濤;嵌入式軟件模擬測(cè)試平臺(tái)中符號(hào)測(cè)試命令語(yǔ)言[D];西北工業(yè)大學(xué);2005年

4 朱江;電子計(jì)量產(chǎn)品嵌入式軟件質(zhì)量評(píng)估方法研究[D];中國(guó)計(jì)量學(xué)院;2012年

5 李顯杰;中斷驅(qū)動(dòng)的嵌入式軟件性能動(dòng)態(tài)評(píng)測(cè)方法[D];大連理工大學(xué);2013年

6 王微;嵌入式軟件自動(dòng)回歸測(cè)試方法的研究[D];內(nèi)蒙古大學(xué);2011年

7 王淑娥;嵌入式軟件動(dòng)態(tài)分析技術(shù)的研究[D];電子科技大學(xué);2011年

8 肖芳雄;面向通信領(lǐng)域嵌入式軟件平臺(tái)核心的研究與實(shí)現(xiàn)[D];電子科技大學(xué);2004年

9 朱麗;嵌入式軟件動(dòng)態(tài)測(cè)試平臺(tái)的研究與實(shí)現(xiàn)[D];福建師范大學(xué);2013年

10 洪波;儀器儀表中嵌入式軟件單元測(cè)試技術(shù)研究[D];杭州電子科技大學(xué);2013年

本文編號(hào)：850247