資料介紹
為分析由軟件缺陷引發(fā)的程序異常行為,首先給出了程序行為的表征方法,并對(duì)程序基準(zhǔn)行為和故障行為進(jìn)行定義和形式化描述。在此基礎(chǔ)上,提出了能夠反映程序故障行為特性的三個(gè)量化指標(biāo)。其次,提出并實(shí)現(xiàn)了一種以系統(tǒng)調(diào)用為程序狀態(tài)提取粒度的故障行為分析( PFBA)方法,并以嵌入式基準(zhǔn)程序?yàn)閷?duì)象進(jìn)行故障注入實(shí)驗(yàn)以獲得上述故障行為特征的各量化指標(biāo)。實(shí)驗(yàn)結(jié)果表明,不同故障類型下的程序行為特征存在較大差異,且這些差異主要來(lái)源于與嵌入式程序的實(shí)現(xiàn)機(jī)制、結(jié)構(gòu)特性等相關(guān)的固有特性。因此,該故障行為特征及其量化指標(biāo)能夠準(zhǔn)確地揭示嵌入式程序運(yùn)行時(shí)的故障行為,為程序開(kāi)發(fā)過(guò)程提供了有效的回溯信息。
- 嵌入式系統(tǒng)系列叢書(shū)-時(shí)間觸發(fā)嵌入式系統(tǒng)設(shè)計(jì)模式 0次下載
- 嵌入式開(kāi)發(fā)(一):嵌入式開(kāi)發(fā)新手入門(mén)
- 嵌入式RFID的驅(qū)動(dòng)程序設(shè)計(jì)
- ARM嵌入式系統(tǒng)BSP的程序設(shè)計(jì)總結(jié)
- 嵌入式Linux應(yīng)用程序例程
- 如何使用ARM進(jìn)行嵌入式linux的系統(tǒng)設(shè)計(jì)
- 如何使用ARM進(jìn)行嵌入式系統(tǒng)的設(shè)計(jì)與實(shí)現(xiàn) 14次下載
- 嵌入式教程之《嵌入式實(shí)時(shí)內(nèi)核設(shè)計(jì)》電子教材免費(fèi)下載 27次下載
- TI的嵌入式分析技術(shù)使設(shè)備更加智能 9次下載
- 嵌入式系統(tǒng)與C程序設(shè)計(jì) 13次下載
- 基于ARM的嵌入式系統(tǒng)實(shí)驗(yàn)分析
- 嵌入式設(shè)備故障檢測(cè)和診斷系統(tǒng)設(shè)計(jì)
- 嵌入式開(kāi)發(fā)系列課程六:?jiǎn)?dòng)程序BootLoader的分析
- 嵌入式系統(tǒng)的C程序設(shè)計(jì)
- 嵌入式系統(tǒng)的C程序設(shè)計(jì)
- 嵌入式系統(tǒng)中的實(shí)時(shí)操作系統(tǒng) 264次閱讀
- 用C語(yǔ)言構(gòu)建高效的嵌入式程序 498次閱讀
- 什么是嵌入式系統(tǒng)?嵌入式系統(tǒng)的具體應(yīng)用 2096次閱讀
- 嵌入式程序基于源代碼仿真調(diào)試 905次閱讀
- 基于嵌入式軟件的JNI技術(shù)應(yīng)用解析 1020次閱讀
- 基于μC/OS嵌入式操作系統(tǒng)的嵌入式數(shù)據(jù)管理設(shè)計(jì) 1179次閱讀
- 該如何正確選擇嵌入式操作系統(tǒng) 2707次閱讀
- 嵌入式時(shí)代已經(jīng)來(lái)臨,嵌入式學(xué)習(xí)的方法你知道多少呢? 2920次閱讀
- 關(guān)于嵌入式系統(tǒng)8大關(guān)鍵特性詳解 1059次閱讀
- 嵌入式系統(tǒng)開(kāi)發(fā)中驅(qū)動(dòng)程序設(shè)計(jì)的5個(gè)方法盤(pán)點(diǎn) 3058次閱讀
- 嵌入式行業(yè)發(fā)展?fàn)顩r_嵌入式行業(yè)人才需求_嵌入式系統(tǒng)就業(yè)前景分析 2.3w次閱讀
- 嵌入式C實(shí)現(xiàn)延時(shí)程序的不同變量的區(qū)別 幾種Linux嵌入式開(kāi)發(fā)環(huán)境的簡(jiǎn)單介紹 1566次閱讀
- 學(xué)嵌入式開(kāi)發(fā)入門(mén)_學(xué)嵌入式開(kāi)發(fā)需要看哪些書(shū)籍 2.4w次閱讀
- 嵌入式開(kāi)發(fā)就業(yè)前景分析_嵌入式領(lǐng)域的職業(yè)發(fā)展方向 1.8w次閱讀
- 基于嵌入式技術(shù)的智能儀器觸摸屏接口設(shè)計(jì) 2731次閱讀
下載排行
本周
- 1HFSS電磁仿真設(shè)計(jì)應(yīng)用詳解PDF電子教程免費(fèi)下載
- 24.30 MB | 126次下載 | 1 積分
- 2H橋中的電流感測(cè)
- 545.39KB | 7次下載 | 免費(fèi)
- 3雷達(dá)的基本分類方法
- 1.25 MB | 4次下載 | 4 積分
- 4I3C–下一代串行通信接口
- 608.47KB | 3次下載 | 免費(fèi)
- 5電感技術(shù)講解
- 827.73 KB | 2次下載 | 免費(fèi)
- 6從 MSP430? MCU 到 MSPM0 MCU 的遷移指南
- 1.17MB | 2次下載 | 免費(fèi)
- 7有源低通濾波器設(shè)計(jì)應(yīng)用說(shuō)明
- 1.12MB | 2次下載 | 免費(fèi)
- 8RA-Eco-RA2E1-48PIN-V1.0開(kāi)發(fā)板資料
- 35.59 MB | 2次下載 | 免費(fèi)
本月
- 12024年工控與通信行業(yè)上游發(fā)展趨勢(shì)和熱點(diǎn)解讀
- 2.61 MB | 763次下載 | 免費(fèi)
- 2HFSS電磁仿真設(shè)計(jì)應(yīng)用詳解PDF電子教程免費(fèi)下載
- 24.30 MB | 126次下載 | 1 積分
- 3繼電保護(hù)原理
- 2.80 MB | 36次下載 | 免費(fèi)
- 4正激、反激、推挽、全橋、半橋區(qū)別和特點(diǎn)
- 0.91 MB | 32次下載 | 1 積分
- 5labview實(shí)現(xiàn)DBC在界面加載配置
- 0.57 MB | 21次下載 | 5 積分
- 6在設(shè)計(jì)中使用MOSFET瞬態(tài)熱阻抗曲線
- 1.57MB | 15次下載 | 免費(fèi)
- 7GBT 4706.1-2024家用和類似用途電器的安全第1部分:通用要求
- 7.43 MB | 13次下載 | 免費(fèi)
- 8PADS-3D庫(kù)文件
- 2.70 MB | 10次下載 | 2 積分
總榜
- 1matlab軟件下載入口
- 未知 | 935113次下載 | 10 積分
- 2開(kāi)源硬件-PMP21529.1-4 開(kāi)關(guān)降壓/升壓雙向直流/直流轉(zhuǎn)換器 PCB layout 設(shè)計(jì)
- 1.48MB | 420061次下載 | 10 積分
- 3Altium DXP2002下載入口
- 未知 | 233084次下載 | 10 積分
- 4電路仿真軟件multisim 10.0免費(fèi)下載
- 340992 | 191360次下載 | 10 積分
- 5十天學(xué)會(huì)AVR單片機(jī)與C語(yǔ)言視頻教程 下載
- 158M | 183329次下載 | 10 積分
- 6labview8.5下載
- 未知 | 81578次下載 | 10 積分
- 7Keil工具M(jìn)DK-Arm免費(fèi)下載
- 0.02 MB | 73804次下載 | 10 積分
- 8LabVIEW 8.6下載
- 未知 | 65985次下載 | 10 積分
評(píng)論
查看更多