本文關(guān)鍵詞：基于缺陷模式匹配的靜態(tài)源碼分析技術(shù)研究

  更多相關(guān)文章： 軟件測試 靜態(tài)代碼 缺陷模式 檢測器

【摘要】：隨著信息技術(shù)的飛速發(fā)展,應(yīng)用軟件的規(guī)模不斷擴(kuò)大,越來越多的軟件安全問題頻頻出現(xiàn),因此如何保證和提高軟件質(zhì)量日益成為一個(gè)備受關(guān)注的問題。研究表明,在測試階段修正錯(cuò)誤所付出的成本比代碼編寫階段多出10倍,因此以靜態(tài)分析的方式來檢測軟件質(zhì)量能大大降低投入成本。基于缺陷模式的軟件測試是近些年發(fā)展起來的一種程序源代碼靜態(tài)分析技術(shù),主要用于自動或者半自動的軟件缺陷檢測及預(yù)防,此類缺陷檢測工具由于效率高和使用簡單等特點(diǎn)在高可信軟件測試中得到了廣泛應(yīng)用。所謂的缺陷模式,是指程序中經(jīng)常發(fā)生的錯(cuò)誤或缺陷所呈現(xiàn)出的特定規(guī)律。缺陷模式通常由具有領(lǐng)域程序設(shè)計(jì)經(jīng)驗(yàn)的人或者測試人員總結(jié)出來。本文通過利用開源軟件為實(shí)驗(yàn)工具,運(yùn)用靜態(tài)分析的相關(guān)理論,自定義檢測器對軟件項(xiàng)目做測試得出了一些存在的問題。
【作者單位】： 北京郵電大學(xué)計(jì)算機(jī)學(xué)院;
【分類號】：TP311.53
【正文快照】： 0引言隨著信息技術(shù)的發(fā)展,軟件的規(guī)模不斷擴(kuò)大,越來越多的軟件安全問題頻頻出現(xiàn),因此如何保證和提高軟件質(zhì)量在互聯(lián)網(wǎng)中成為一個(gè)備受關(guān)注的問題。根據(jù)Boehm的統(tǒng)計(jì),在軟件開發(fā)總成本中,用在測試上的開銷要占30%到50%,對于某些關(guān)系人類生命安全的關(guān)鍵軟件[1],其測試費(fèi)用甚至高達(dá)

【相似文獻(xiàn)】

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

1 劉勝;軟件測試及其自動化[J];信息技術(shù);2001年03期

2 黃萍,萬志軍;艦載指控軟件測試[J];艦船電子工程;2002年05期

3 孔學(xué)東,李丹,劉杰;軟件測試實(shí)驗(yàn)室能力認(rèn)可研究[J];電子產(chǎn)品可靠性與環(huán)境試驗(yàn);2003年03期

4 楊光巖;淺談軟件測試的組織與管理[J];中國金融電腦;2003年04期

5 趙彬,辛文逵;目前軟件測試發(fā)展中的誤區(qū)[J];信息與電子工程;2003年04期

6 楊根興,宗宇偉;軟件測試不確定性研究及解決途徑[J];計(jì)算機(jī)工程;2004年07期

7 ;旋極科技公司推動關(guān)鍵軟件測試[J];單片機(jī)與嵌入式系統(tǒng)應(yīng)用;2004年06期

8 劉利君;走出軟件測試的困境[J];軟件世界;2004年05期

9 林欽,潘健鴻;對軟件測試的進(jìn)一步研究及探討[J];中國科技信息;2005年16期

10 王泓;軟件測試文件的編制[J];電子產(chǎn)品可靠性與環(huán)境試驗(yàn);2005年05期

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

1 王彥麗;駱力明;;軟件測試?yán)碚撆c軟件測試實(shí)踐教學(xué)體系探索[A];第三屆全國軟件測試會議與移動計(jì)算、柵格、智能化高級論壇論文集[C];2009年

2 張雯婷;;軟件測試丟失數(shù)據(jù)遺補(bǔ)算法[A];第三屆全國軟件測試會議與移動計(jì)算、柵格、智能化高級論壇論文集[C];2009年

3 田麗芳;劉栓;;軟件測試的學(xué)習(xí)方法探究[A];第三屆全國軟件測試會議與移動計(jì)算、柵格、智能化高級論壇論文集[C];2009年

4 蔣方純;陸云帆;謝曉勇;;軟件測試?yán)碚撝械年庩枌W(xué)說[A];第六屆中國測試學(xué)術(shù)會議論文集[C];2010年

5 馬秦晉;劉世英;徐小輝;惠煜;;軟件測試的重要性及現(xiàn)狀分析[A];第六屆全國計(jì)算機(jī)應(yīng)用聯(lián)合學(xué)術(shù)會議論文集[C];2002年

6 徐拾義;;軟件測試新概念-軟件內(nèi)建自測試(摘要)[A];第十屆全國容錯(cuò)計(jì)算學(xué)術(shù)會議論文集[C];2003年

7 齊俊臣;彭道勇;劉春和;;重視軟件測試 提高軟件質(zhì)量與可靠性[A];2005第二屆電子信息系統(tǒng)質(zhì)量與可靠性學(xué)術(shù)研討會論文集[C];2005年

8 符開桂;胡澤平;;淺談軟件測試應(yīng)把握的幾個(gè)問題[A];海南省通信學(xué)會學(xué)術(shù)年會論文集（2006）[C];2006年

9 蔣方純;;基于覆蓋率的組合測試在游戲軟件測試中的應(yīng)用與分析[A];第五屆中國測試學(xué)術(shù)會議論文集[C];2008年

10 黃碧玲;;軟件測試的風(fēng)險(xiǎn)管理及應(yīng)用[A];浙江省電子學(xué)會2012學(xué)術(shù)年會論文集[C];2012年

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

1 趙健;軟件測試將成行業(yè)新寵[N];中國企業(yè)報(bào);2006年

2 張磊;軟件測試何以成為就業(yè)新寵？[N];中華工商時(shí)報(bào);2006年

3 成墨;軟件測試人才爭奪戰(zhàn)升級[N];中華工商時(shí)報(bào);2006年

4 仲琪;軟件測試人才進(jìn)入“黃金時(shí)代”[N];北京人才市場報(bào);2007年

5 李思;軟件測試,你了解多少？[N];上海金融報(bào);2008年

6 邵強(qiáng);越南有望成世界頂級軟件測試中心[N];人民郵電;2008年

7 王莉;天津軟件測試中心成立[N];中國貿(mào)易報(bào);2000年

8 本報(bào)實(shí)習(xí)記者 湯潯芳;軟件測試職業(yè)前景看好[N];計(jì)算機(jī)世界;2008年

9 王宇;首屆中國軟件測試$研討會將召開[N];中國計(jì)算機(jī)報(bào);2003年

10 ;測試空間：專業(yè)軟件測試外包服務(wù)商[N];中國計(jì)算機(jī)報(bào);2013年

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

1 夏啟明;軟件測試及評價(jià)的復(fù)用策略研究及其實(shí)現(xiàn)[D];武漢大學(xué);2010年

2 張廣梅;軟件測試與可靠性評估[D];中國科學(xué)院研究生院（計(jì)算技術(shù)研究所）;2006年

3 繆力;依賴性分析及其在軟件測試中的應(yīng)用[D];湖南大學(xué);2006年

4 蔡立志;基于形式化的軟件測試復(fù)用若干關(guān)鍵技術(shù)的研究[D];上海大學(xué);2009年

5 王雅文;基于缺陷模式的軟件測試技術(shù)研究[D];北京郵電大學(xué);2009年

6 王鴻燕;GIS軟件測試的關(guān)鍵問題與應(yīng)用實(shí)踐[D];武漢大學(xué);2010年

7 郭健強(qiáng);面向?qū)ο筌浖䴗y試?yán)碚撆c技術(shù)的研究[D];西安電子科技大學(xué);1999年

8 姚礪;面向?qū)ο筌浖䴗y試的研究[D];浙江大學(xué);2002年

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

1 鄭凱;基于GQM軟件測試有效性評估模型的研究[D];西南交通大學(xué);2015年

2 田奇才;基于云計(jì)算的移動app測試研究[D];陜西師范大學(xué);2015年

3 高瑞敏;基于演化算法的軟件測試資源分配問題的研究[D];中國科學(xué)技術(shù)大學(xué);2015年

4 馬駿杰;軟件測試Bug管理系統(tǒng)設(shè)計(jì)與實(shí)現(xiàn)[D];電子科技大學(xué);2014年

5 趙萃娟;質(zhì)量管理在軟件測試組織中的應(yīng)用研究[D];上海交通大學(xué);2014年

6 林晨;嵌入式箭載計(jì)算機(jī)控制軟件測試關(guān)鍵技術(shù)研究[D];上海交通大學(xué);2014年

7 張露丹;中冶北方人力資源管理系統(tǒng)的設(shè)計(jì)與實(shí)現(xiàn)[D];大連理工大學(xué);2015年

8 周慧婷;Solution Configurator項(xiàng)目測試方法的設(shè)計(jì)與實(shí)現(xiàn)[D];南京大學(xué);2014年

9 竺曉梅;基于RUP的軟件測試質(zhì)量管理的研究與實(shí)現(xiàn)[D];復(fù)旦大學(xué);2013年

10 陸海婧;SaaS應(yīng)用公共測試平臺的設(shè)計(jì)與實(shí)現(xiàn)[D];北京工業(yè)大學(xué);2014年

，

本文編號：1218827