資料介紹
軟件測試是發現程序中錯誤或缺陷的重要方法,隨著程序規模及復雜性的增加,如何全面高效地測試程序代碼一直是業內的研究熱點。雖然人工審計、靜態分析和動態測試技術在安全領域有著廣泛應用,但結合了靜態分析和動態測試優勢的Concolic測試技術近年來備受推崇。該技術一方面能夠通過生成新的輸入用例實現動態檢測,一方面能夠通過求解新的路徑約束實現對路徑空間的覆蓋測試。
對規模較大的程序進行安全測試過程中,Concolic測試常面臨路徑爆炸和求解能力不足等問題。為緩解此類問題,提出一種面向源代碼的導向Concolic測試方法。針對容易產生缺陷的危險代碼區域,依據控制流和數據流屬性,采用回溯的方式推導出靜態可達路徑信息和必要的符號變量,實現僅針對危險代碼區域的覆蓋測試。實證研究結果表明,通過規避對不關心路徑和符號變量的分析,所提方法顯著提升了覆蓋測試危險代碼區域的效率和發現缺陷的概率。
- 課堂演示源代碼匯總下載 0次下載
- PID算法原理、調試方法及源代碼 13次下載
- 開源代碼倉庫的高效增量分析方法 2次下載
- DSP載波移相控制C語言源代碼下載 56次下載
- LED線性陣列顯示源代碼下載 6次下載
- matlab應用程序及源代碼下載 35次下載
- 結合混合符號執行的導向式灰盒模糊測試方法 14次下載
- 一種新的導向式灰盒模糊測試方法 7次下載
- 使用Arduino實現1602顯示的測試源代碼免費下載 7次下載
- 基于版本控制的中文文檔到源代碼的自動跟蹤方法 0次下載
- STM32測試程序,包含觸摸屏測試源代碼-通 29次下載
- 5402_測試代碼源代碼 25次下載
- 溫度測試VB源代碼 25次下載
- 白盒測試中源代碼變更管理方法的研究與實現 30次下載
- 面向UUT問題域的測試需求分析方法研究
- hex可以轉成源代碼么 175次閱讀
- 線束耐久特性與觸點壓降測試方法的研究 811次閱讀
- Python證件照制作小程序源代碼 3139次閱讀
- Python版超市管理系統源代碼 1468次閱讀
- Python版警察抓小偷游戲源代碼 1422次閱讀
- python日常記賬本源代碼 1172次閱讀
- 任務調度開源代碼是什么 788次閱讀
- 嵌入式代碼覆蓋率如何進行統計有哪些方法和經驗 2946次閱讀
- SPI總線驅動的C語言源代碼詳細概述 6997次閱讀
- C語言的源代碼文件和目標文件與可執行文件的詳細介紹 8302次閱讀
- GitHub趨勢榜榜首:超級命令行工具Semantic,比較解析源代碼 3138次閱讀
- 面向智能電表嵌入式應用的測試方法 1258次閱讀
- 單片機閃爍燈匯編語言源代碼大全(四款閃爍燈的匯編語言源代碼) 2.5w次閱讀
- 單片機流水燈匯編語言源代碼大全(六款流水燈匯編語言源代碼) 5.4w次閱讀
- C51讀寫AT24C04源代碼及AT24C04測試程序 1.6w次閱讀
下載排行
本周
- 1電子電路原理第七版PDF電子教材免費下載
- 0.00 MB | 1490次下載 | 免費
- 2單片機典型實例介紹
- 18.19 MB | 93次下載 | 1 積分
- 3S7-200PLC編程實例詳細資料
- 1.17 MB | 27次下載 | 1 積分
- 4筆記本電腦主板的元件識別和講解說明
- 4.28 MB | 18次下載 | 4 積分
- 5開關電源原理及各功能電路詳解
- 0.38 MB | 11次下載 | 免費
- 6100W短波放大電路圖
- 0.05 MB | 4次下載 | 3 積分
- 7基于AT89C2051/4051單片機編程器的實驗
- 0.11 MB | 4次下載 | 免費
- 8基于單片機的紅外風扇遙控
- 0.23 MB | 3次下載 | 免費
本月
- 1OrCAD10.5下載OrCAD10.5中文版軟件
- 0.00 MB | 234313次下載 | 免費
- 2PADS 9.0 2009最新版 -下載
- 0.00 MB | 66304次下載 | 免費
- 3protel99下載protel99軟件下載(中文版)
- 0.00 MB | 51209次下載 | 免費
- 4LabView 8.0 專業版下載 (3CD完整版)
- 0.00 MB | 51043次下載 | 免費
- 5555集成電路應用800例(新編版)
- 0.00 MB | 33562次下載 | 免費
- 6接口電路圖大全
- 未知 | 30320次下載 | 免費
- 7Multisim 10下載Multisim 10 中文版
- 0.00 MB | 28588次下載 | 免費
- 8開關電源設計實例指南
- 未知 | 21539次下載 | 免費
總榜
- 1matlab軟件下載入口
- 未知 | 935053次下載 | 免費
- 2protel99se軟件下載(可英文版轉中文版)
- 78.1 MB | 537791次下載 | 免費
- 3MATLAB 7.1 下載 (含軟件介紹)
- 未知 | 420026次下載 | 免費
- 4OrCAD10.5下載OrCAD10.5中文版軟件
- 0.00 MB | 234313次下載 | 免費
- 5Altium DXP2002下載入口
- 未知 | 233046次下載 | 免費
- 6電路仿真軟件multisim 10.0免費下載
- 340992 | 191183次下載 | 免費
- 7十天學會AVR單片機與C語言視頻教程 下載
- 158M | 183277次下載 | 免費
- 8proe5.0野火版下載(中文版免費下載)
- 未知 | 138039次下載 | 免費
評論
查看更多