發(fā)布時(shí)間：2017-08-23 15:29

  本文關(guān)鍵詞：特型軟件代碼審查方法在軍用嵌入式軟件領(lǐng)域應(yīng)用研究

  更多相關(guān)文章： 代碼審查 軍用嵌入式軟件 特型軟件代碼審查方法

【摘要】：通過分析軍用嵌入式軟件測(cè)試代碼審查的現(xiàn)狀,針對(duì)目前軍用嵌入式軟件代碼審查的不足,提出一種基于通用代碼審查標(biāo)準(zhǔn)與應(yīng)用領(lǐng)域的知識(shí)相結(jié)合的代碼審查方法,該方法在軍用嵌入式軟件應(yīng)用領(lǐng)域根據(jù)軟件的需求、功能進(jìn)行分類優(yōu)化,訂制個(gè)性代碼審查標(biāo)準(zhǔn)。通過此方法能夠高效地發(fā)現(xiàn)特定領(lǐng)域代碼的缺陷問題,提升軍用嵌入式軟件代碼審查的效率和質(zhì)量。該方法的引入對(duì)軍用嵌入式軟件的代碼審查水平的提高有一定的應(yīng)用價(jià)值。
【作者單位】： 中國空空導(dǎo)彈研究院;
【關(guān)鍵詞】： 代碼審查 軍用嵌入式軟件 特型軟件代碼審查方法
【分類號(hào)】：TP311.53
【正文快照】： 引言軍用嵌入式軟件更新發(fā)展速度的加快,軟件復(fù)雜程度的增加、規(guī)模的增大,軟件的開發(fā)周期卻越來越短,隨著近代航空武器系統(tǒng)的不斷發(fā)展,軍用嵌入式軟件在軍用產(chǎn)品中得到廣泛應(yīng)用。軟件質(zhì)量的好壞直接影響著產(chǎn)品的價(jià)值,如何提高軍用嵌入式軟件的質(zhì)量就顯得極為重要。軟件測(cè)試技

【相似文獻(xiàn)】

中國期刊全文數(shù)據(jù)庫 前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)品是賣出來的——“道系統(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期

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

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

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

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

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

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

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

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

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

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

10 江乾坤;王澤霞;;嵌入式軟件產(chǎn)品銷售收入核算方法研究[A];中國會(huì)計(jì)學(xué)會(huì)高等工科院校分會(huì)2006年學(xué)術(shù)年會(huì)暨第十三屆年會(huì)論文集[C];2006年

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

1 孫愛民;倪光南：嵌入式軟件是邁向創(chuàng)造的契機(jī)[N];中國電子報(bào);2004年

2 王紹斌;嵌入式軟件是個(gè)大市場(chǎng)[N];中國電子報(bào);2004年

3 周嫻;大連嵌入式軟件走向黃金期[N];中國電子報(bào);2004年

4 記者 楊慶廣;中國力量謀劃嵌入式軟件[N];中國電子報(bào);2005年

5 黃志敏;以嵌入式軟件技術(shù)帶動(dòng)軟件產(chǎn)業(yè)大發(fā)展[N];大連日?qǐng)?bào);2005年

6 顧汶;嵌入式軟件成熱點(diǎn) 行業(yè)標(biāo)準(zhǔn)亟待出臺(tái)[N];中國高新技術(shù)產(chǎn)業(yè)導(dǎo)報(bào);2005年

7 張偉;嵌入式軟件產(chǎn)業(yè) 熱豆腐不能急吃[N];中國高新技術(shù)產(chǎn)業(yè)導(dǎo)報(bào);2005年

8 顧衛(wèi)民;嵌入式軟件契機(jī)乍現(xiàn) 高新區(qū)一馬當(dāng)先嗑[N];中國高新技術(shù)產(chǎn)業(yè)導(dǎo)報(bào);2005年

9 ;韓國嵌入式軟件市場(chǎng)掃描[N];中國計(jì)算機(jī)報(bào);2004年

10 霍峰 孟繁;高新區(qū)全力打造嵌入式軟件產(chǎn)業(yè)[N];青島日?qǐng)?bào);2005年

中國博士學(xué)位論文全文數(shù)據(jù)庫 前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年

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

1 郭旺;嵌入式軟件覆蓋測(cè)試通用技術(shù)研究[D];西南大學(xué);2015年

2 朱晏慶;衛(wèi)星控制系統(tǒng)嵌入式軟件虛擬化測(cè)試平臺(tái)技術(shù)研究[D];上海交通大學(xué);2014年

3 朱柯潤;基于ARM的船用雷達(dá)嵌入式軟件可靠性研究[D];電子科技大學(xué);2014年

4 林紅;實(shí)時(shí)系統(tǒng)嵌入式軟件可靠性分析與測(cè)試案例研究[D];電子科技大學(xué);2014年

5 趙少杰;數(shù)字示波器接口擴(kuò)展模塊嵌入式軟件的設(shè)計(jì)與實(shí)現(xiàn)[D];電子科技大學(xué);2014年

6 郭春榮;嵌入式Linux軟件構(gòu)建工具的設(shè)計(jì)與實(shí)現(xiàn)[D];中國科學(xué)院大學(xué)(工程管理與信息技術(shù)學(xué)院);2015年

7 郝旭;面向C語言的嵌入式軟件能耗估算方法的研究與設(shè)計(jì)[D];東北大學(xué);2014年

8 趙繁華;基于可信的某嵌入式軟件自動(dòng)化測(cè)試平臺(tái)的設(shè)計(jì)與實(shí)現(xiàn)[D];北京工業(yè)大學(xué);2015年

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

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

，

本文編號(hào)：725822