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

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

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

【相似文獻】

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

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

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

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

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

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

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

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

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

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

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

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

1 王彥麗;駱力明;;軟件測試理論與軟件測試實踐教學體系探索[A];第三屆全國軟件測試會議與移動計算、柵格、智能化高級論壇論文集[C];2009年

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

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

4 蔣方純;陸云帆;謝曉勇;;軟件測試理論中的陰陽學說[A];第六屆中國測試學術會議論文集[C];2010年

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

6 徐拾義;;軟件測試新概念-軟件內建自測試(摘要)[A];第十屆全國容錯計算學術會議論文集[C];2003年

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

8 符開桂;胡澤平;;淺談軟件測試應把握的幾個問題[A];海南省通信學會學術年會論文集（2006）[C];2006年

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

10 黃碧玲;;軟件測試的風險管理及應用[A];浙江省電子學會2012學術年會論文集[C];2012年

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

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

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

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

4 仲琪;軟件測試人才進入“黃金時代”[N];北京人才市場報;2007年

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

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

7 王莉;天津軟件測試中心成立[N];中國貿易報;2000年

8 本報實習記者 湯潯芳;軟件測試職業(yè)前景看好[N];計算機世界;2008年

9 王宇;首屆中國軟件測試$研討會將召開[N];中國計算機報;2003年

10 ;測試空間：專業(yè)軟件測試外包服務商[N];中國計算機報;2013年

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

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

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

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

4 蔡立志;基于形式化的軟件測試復用若干關鍵技術的研究[D];上海大學;2009年

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

6 王鴻燕;GIS軟件測試的關鍵問題與應用實踐[D];武漢大學;2010年

7 郭健強;面向對象軟件測試理論與技術的研究[D];西安電子科技大學;1999年

8 姚礪;面向對象軟件測試的研究[D];浙江大學;2002年

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

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

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

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

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

5 趙萃娟;質量管理在軟件測試組織中的應用研究[D];上海交通大學;2014年

6 林晨;嵌入式箭載計算機控制軟件測試關鍵技術研究[D];上海交通大學;2014年

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

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

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

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

，

本文編號：1218827