電子發(fā)燒友App
創(chuàng)作
發(fā)文章
發(fā)帖 
提問 
發(fā)資料
發(fā)視頻資料介紹
軟件測(cè)試是發(fā)現(xiàn)程序中錯(cuò)誤或缺陷的重要方法，隨著程序規(guī)模及復(fù)雜性的增加，如何全面高效地測(cè)試程序代碼一直是業(yè)內(nèi)的研究熱點(diǎn)。雖然人工審計(jì)、靜態(tài)分析和動(dòng)態(tài)測(cè)試技術(shù)在安全領(lǐng)域有著廣泛應(yīng)用，但結(jié)合了靜態(tài)分析和動(dòng)態(tài)測(cè)試優(yōu)勢(shì)的Concolic測(cè)試技術(shù)近年來備受推崇。該技術(shù)一方面能夠通過生成新的輸入用例實(shí)現(xiàn)動(dòng)態(tài)檢測(cè)，一方面能夠通過求解新的路徑約束實(shí)現(xiàn)對(duì)路徑空間的覆蓋測(cè)試。
對(duì)規(guī)模較大的程序進(jìn)行安全測(cè)試過程中，Concolic測(cè)試常面臨路徑爆炸和求解能力不足等問題。為緩解此類問題，提出一種面向源代碼的導(dǎo)向Concolic測(cè)試方法。針對(duì)容易產(chǎn)生缺陷的危險(xiǎn)代碼區(qū)域，依據(jù)控制流和數(shù)據(jù)流屬性，采用回溯的方式推導(dǎo)出靜態(tài)可達(dá)路徑信息和必要的符號(hào)變量，實(shí)現(xiàn)僅針對(duì)危險(xiǎn)代碼區(qū)域的覆蓋測(cè)試。實(shí)證研究結(jié)果表明，通過規(guī)避對(duì)不關(guān)心路徑和符號(hào)變量的分析，所提方法顯著提升了覆蓋測(cè)試危險(xiǎn)代碼區(qū)域的效率和發(fā)現(xiàn)缺陷的概率。
- 課堂演示源代碼匯總下載 0次下載
- PID算法原理、調(diào)試方法及源代碼 17次下載
- 開源代碼倉庫的高效增量分析方法 2次下載
- DSP載波移相控制C語言源代碼下載 57次下載
- LED線性陣列顯示源代碼下載 6次下載
- matlab應(yīng)用程序及源代碼下載 36次下載
- 結(jié)合混合符號(hào)執(zhí)行的導(dǎo)向式灰盒模糊測(cè)試方法 14次下載
- 一種新的導(dǎo)向式灰盒模糊測(cè)試方法 7次下載
- 使用Arduino實(shí)現(xiàn)1602顯示的測(cè)試源代碼免費(fèi)下載 7次下載
- 基于版本控制的中文文檔到源代碼的自動(dòng)跟蹤方法 0次下載
- STM32測(cè)試程序，包含觸摸屏測(cè)試源代碼-通 29次下載
- 5402_測(cè)試代碼源代碼 25次下載
- 溫度測(cè)試VB源代碼 25次下載
- 白盒測(cè)試中源代碼變更管理方法的研究與實(shí)現(xiàn) 30次下載
- 面向UUT問題域的測(cè)試需求分析方法研究
- hex可以轉(zhuǎn)成源代碼么 1134次閱讀
- 線束耐久特性與觸點(diǎn)壓降測(cè)試方法的研究 1072次閱讀
- Python證件照制作小程序源代碼 3578次閱讀
- Python版超市管理系統(tǒng)源代碼 1762次閱讀
- Python版警察抓小偷游戲源代碼 1772次閱讀
- python日常記賬本源代碼 1386次閱讀
- 任務(wù)調(diào)度開源代碼是什么 950次閱讀
- 嵌入式代碼覆蓋率如何進(jìn)行統(tǒng)計(jì)有哪些方法和經(jīng)驗(yàn) 3108次閱讀
- SPI總線驅(qū)動(dòng)的C語言源代碼詳細(xì)概述 7357次閱讀
- C語言的源代碼文件和目標(biāo)文件與可執(zhí)行文件的詳細(xì)介紹 8765次閱讀
- GitHub趨勢(shì)榜榜首:超級(jí)命令行工具Semantic,比較解析源代碼 3250次閱讀
- 面向智能電表嵌入式應(yīng)用的測(cè)試方法 1330次閱讀
- 單片機(jī)閃爍燈匯編語言源代碼大全（四款閃爍燈的匯編語言源代碼） 2.5w次閱讀
- 單片機(jī)流水燈匯編語言源代碼大全（六款流水燈匯編語言源代碼） 5.5w次閱讀
- C51讀寫AT24C04源代碼及AT24C04測(cè)試程序 1.7w次閱讀
上傳資料賺積分下載排行
本周
- 1DC電源插座圖紙
- 0.67 MB | 2次下載 | 免費(fèi)
- 2AN158 GD32VW553 Wi-Fi開發(fā)指南
- 1.51MB | 2次下載 | 免費(fèi)
- 3AN148 GD32VW553射頻硬件開發(fā)指南
- 2.07MB | 1次下載 | 免費(fèi)
- 4AN111-LTC3219用戶指南
- 84.32KB | 次下載 | 免費(fèi)
- 5AN153-用于電源系統(tǒng)管理的Linduino
- 1.38MB | 次下載 | 免費(fèi)
- 6AN-283: Σ-Δ型ADC和DAC[中文版]
- 677.86KB | 次下載 | 免費(fèi)
- 7SM2018E 支持可控硅調(diào)光線性恒流控制芯片
- 402.24 KB | 次下載 | 免費(fèi)
- 8AN-1308: 電流檢測(cè)放大器共模階躍響應(yīng)
- 545.42KB | 次下載 | 免費(fèi)
本月
- 1ADI高性能電源管理解決方案
- 2.43 MB | 450次下載 | 免費(fèi)
- 2免費(fèi)開源CC3D飛控資料（電路圖&PCB源文件、BOM、
- 5.67 MB | 138次下載 | 1 積分
- 3基于STM32單片機(jī)智能手環(huán)心率計(jì)步器體溫顯示設(shè)計(jì)
- 0.10 MB | 130次下載 | 免費(fèi)
- 4使用單片機(jī)實(shí)現(xiàn)七人表決器的程序和仿真資料免費(fèi)下載
- 2.96 MB | 44次下載 | 免費(fèi)
- 53314A函數(shù)發(fā)生器維修手冊(cè)
- 16.30 MB | 31次下載 | 免費(fèi)
- 6美的電磁爐維修手冊(cè)大全
- 1.56 MB | 24次下載 | 5 積分
- 7如何正確測(cè)試電源的紋波
- 0.36 MB | 17次下載 | 免費(fèi)
- 8感應(yīng)筆電路圖
- 0.06 MB | 10次下載 | 免費(fèi)
總榜
- 1matlab軟件下載入口
- 未知 | 935121次下載 | 10 積分
- 2開源硬件-PMP21529.1-4 開關(guān)降壓/升壓雙向直流/直流轉(zhuǎn)換器 PCB layout 設(shè)計(jì)
- 1.48MB | 420062次下載 | 10 積分
- 3Altium DXP2002下載入口
- 未知 | 233088次下載 | 10 積分
- 4電路仿真軟件multisim 10.0免費(fèi)下載
- 340992 | 191367次下載 | 10 積分
- 5十天學(xué)會(huì)AVR單片機(jī)與C語言視頻教程 下載
- 158M | 183335次下載 | 10 積分
- 6labview8.5下載
- 未知 | 81581次下載 | 10 積分
- 7Keil工具M(jìn)DK-Arm免費(fèi)下載
- 0.02 MB | 73810次下載 | 10 積分
- 8LabVIEW 8.6下載
- 未知 | 65988次下載 | 10 積分
工商網(wǎng)監(jiān)
評(píng)論