資料介紹
內(nèi)存泄漏是C/C++程序的一種常見的、難以發(fā)現(xiàn)的缺陷,一直困擾著軟件開發(fā)者,尤其是針對長時間運(yùn)行的程序或者系統(tǒng)軟件,內(nèi)存泄漏的后果十分嚴(yán)重.針對內(nèi)存泄漏的檢測,目前主要有靜態(tài)分析和動態(tài)測試兩種方法.動態(tài)測試實(shí)際運(yùn)行程序具有較大開銷,同時依賴測試用例的質(zhì)量;靜態(tài)分析技術(shù)及自動化工具已被學(xué)術(shù)界和工業(yè)界廣泛運(yùn)用于內(nèi)存泄漏缺陷檢測中,然而由于靜態(tài)分析采取了保守的策略,其結(jié)果往往包含數(shù)量巨大的誤報,需要通過進(jìn)一步的人工確認(rèn)來甄別誤報.但人工確認(rèn)靜態(tài)分析的結(jié)果耗時且容易出錯,嚴(yán)重限制了靜態(tài)分析技術(shù)的實(shí)用性.提出一種基于混合執(zhí)行測試的靜態(tài)內(nèi)存泄漏警報的自動化確認(rèn)方法:首先,針對靜態(tài)分析報告的目標(biāo)程序中內(nèi)存泄漏的靜態(tài)警報,對目標(biāo)程序進(jìn)行控制流分析,并計算警報的可達(dá)性,形成制導(dǎo)信息;其次,基于警報制導(dǎo)信息對目標(biāo)程序進(jìn)行混合執(zhí)行測試;最后,在混合執(zhí)行測試過程中,監(jiān)控追蹤內(nèi)存對象的狀態(tài),判定內(nèi)存泄漏是否發(fā)生,對靜態(tài)警報進(jìn)行動態(tài)確認(rèn)并分類.實(shí)驗(yàn)結(jié)果表明:該方法可對靜態(tài)內(nèi)存泄漏警報進(jìn)行有效的分類,顯著降低了人工確認(rèn)的工作量。
- 一個自動化的測試流程 0次下載
- 批生產(chǎn)衛(wèi)星的桌面電接口自動化測試系統(tǒng)綜述 15次下載
- 可提升樣本程序軟件質(zhì)量的自動化測試工具 19次下載
- 基于機(jī)器學(xué)習(xí)的內(nèi)存泄漏測試腳本預(yù)測方法 29次下載
- 面向Java的Randoop自動化單元測試生成工具 8次下載
- 結(jié)合混合符號執(zhí)行的導(dǎo)向式灰盒模糊測試方法 14次下載
- 嵌入式裝置內(nèi)存泄漏檢測系統(tǒng)設(shè)計 3次下載
- 配電自動化潮流計算測試平臺設(shè)計 2次下載
- GUI自動化測試系統(tǒng) 1次下載
- C++內(nèi)存泄漏分析方法 5次下載
- 基于Web的自動化測試框架的研究 0次下載
- 自動化測試趨勢展望2012 0次下載
- 動態(tài)內(nèi)存錯誤的靜態(tài)檢測 52次下載
- 自動化回歸測試的技術(shù)和實(shí)現(xiàn) 35次下載
- 軟件自動化測試方案的效益分析
- OTA自動化測試解決方案——實(shí)車級OTA測試系統(tǒng)PAVELINK.OTABOX 361次閱讀
- 自動化設(shè)備的伺服電機(jī)選型指南 489次閱讀
- 工業(yè)自動化和自動化區(qū)別是什么 1029次閱讀
- 過程自動化控制和運(yùn)動自動化控制的原理詳解 1350次閱讀
- OpenHarmony自動化測試框架開發(fā)指南 1108次閱讀
- Selenium在自動化中有何用處 1612次閱讀
- 介紹一款功能強(qiáng)大的自動化Deauth滲透測試工具 1125次閱讀
- 自動化測試框架unittes詳解 2730次閱讀
- 測試自動化的兩種方法 4334次閱讀
- 如何縮短周期的Android手機(jī)自動化測試方案 790次閱讀
- 伺服電機(jī)如何進(jìn)行快速的測試? 1w次閱讀
- ATE自動化測試系統(tǒng)是什么_ATE自動化測試系統(tǒng)介紹 3.2w次閱讀
- 一種基于仿真測試平臺的實(shí)物自動化測試環(huán)境 6163次閱讀
- 自動化領(lǐng)域初涉水 非標(biāo)自動化和自動化到底有哪些區(qū)別? 6088次閱讀
- 構(gòu)建以軟件為中心的下一代自動化測試系統(tǒng) 1183次閱讀
下載排行
本周
- 1電子電路原理第七版PDF電子教材免費(fèi)下載
- 0.00 MB | 1490次下載 | 免費(fèi)
- 2單片機(jī)典型實(shí)例介紹
- 18.19 MB | 93次下載 | 1 積分
- 3S7-200PLC編程實(shí)例詳細(xì)資料
- 1.17 MB | 27次下載 | 1 積分
- 4筆記本電腦主板的元件識別和講解說明
- 4.28 MB | 18次下載 | 4 積分
- 5開關(guān)電源原理及各功能電路詳解
- 0.38 MB | 10次下載 | 免費(fèi)
- 6基于AT89C2051/4051單片機(jī)編程器的實(shí)驗(yàn)
- 0.11 MB | 4次下載 | 免費(fèi)
- 7基于單片機(jī)和 SG3525的程控開關(guān)電源設(shè)計
- 0.23 MB | 3次下載 | 免費(fèi)
- 8基于單片機(jī)的紅外風(fēng)扇遙控
- 0.23 MB | 3次下載 | 免費(fèi)
本月
- 1OrCAD10.5下載OrCAD10.5中文版軟件
- 0.00 MB | 234313次下載 | 免費(fèi)
- 2PADS 9.0 2009最新版 -下載
- 0.00 MB | 66304次下載 | 免費(fèi)
- 3protel99下載protel99軟件下載(中文版)
- 0.00 MB | 51209次下載 | 免費(fèi)
- 4LabView 8.0 專業(yè)版下載 (3CD完整版)
- 0.00 MB | 51043次下載 | 免費(fèi)
- 5555集成電路應(yīng)用800例(新編版)
- 0.00 MB | 33562次下載 | 免費(fèi)
- 6接口電路圖大全
- 未知 | 30320次下載 | 免費(fèi)
- 7Multisim 10下載Multisim 10 中文版
- 0.00 MB | 28588次下載 | 免費(fèi)
- 8開關(guān)電源設(shè)計實(shí)例指南
- 未知 | 21539次下載 | 免費(fèi)
總榜
- 1matlab軟件下載入口
- 未知 | 935053次下載 | 免費(fèi)
- 2protel99se軟件下載(可英文版轉(zhuǎn)中文版)
- 78.1 MB | 537791次下載 | 免費(fèi)
- 3MATLAB 7.1 下載 (含軟件介紹)
- 未知 | 420026次下載 | 免費(fèi)
- 4OrCAD10.5下載OrCAD10.5中文版軟件
- 0.00 MB | 234313次下載 | 免費(fèi)
- 5Altium DXP2002下載入口
- 未知 | 233046次下載 | 免費(fèi)
- 6電路仿真軟件multisim 10.0免費(fèi)下載
- 340992 | 191183次下載 | 免費(fèi)
- 7十天學(xué)會AVR單片機(jī)與C語言視頻教程 下載
- 158M | 183277次下載 | 免費(fèi)
- 8proe5.0野火版下載(中文版免費(fèi)下載)
- 未知 | 138039次下載 | 免費(fèi)
評論
查看更多