電子發(fā)燒友App
創(chuàng)作
發(fā)文章
發(fā)帖 
提問(wèn) 
發(fā)資料
發(fā)視頻資料介紹
目前嵌人式軟件應(yīng)用越來(lái)越廣泛。軟件規(guī)模日益龐大、結(jié)構(gòu)趨于復(fù)雜，對(duì)軟件測(cè)試水平提出了更高的要求。在嵌人式系統(tǒng)中，由于系統(tǒng)高實(shí)時(shí)性要求，經(jīng)常使用嵌人式實(shí)時(shí)操作系統(tǒng)和中斷技術(shù)，使專用軟件操作更加靈活，功能更加強(qiáng)大，但同時(shí)這也可能會(huì)導(dǎo)致共享資源沖突。這種沖突在早期不易被人發(fā)現(xiàn)，在運(yùn)行中一旦發(fā)生造成的后果是嚴(yán)重的，可能引人系統(tǒng)崩潰。目前對(duì)于軟件共享資源沖突檢測(cè)的軟件少之又少，主要通過(guò)人工代碼走查來(lái)檢測(cè)資源沖突，過(guò)于依賴測(cè)試人員的個(gè)人經(jīng)驗(yàn)，漏檢概率較大?；凇霸鐪y(cè)試、早發(fā)現(xiàn)”的原則4，本設(shè)計(jì)采用靜態(tài)分析的方法，通過(guò)詞法分析、語(yǔ)法分析、語(yǔ)義分析以及軟件并發(fā)性分析，在軟件開(kāi)發(fā)早期對(duì)代碼進(jìn)行自動(dòng)檢測(cè)，判斷是否存在共享資源沖突問(wèn)題。
嵌入式
加入交流群
掃碼添加小助手
加入工程師交流群
下載該資料的人也在下載
下載該資料的人還在閱讀
更多 >
- IIOT嵌入式邊緣軟件方案介紹Edge XRT-廣州虹科
- 嵌入式軟件開(kāi)發(fā)的特點(diǎn)、設(shè)計(jì)流程、嵌入式軟件的結(jié)構(gòu)
- 嵌入式軟件之c語(yǔ)言編碼規(guī)范 29次下載
- 嵌入式系統(tǒng)軟件并發(fā)缺陷的建模方法 2次下載
- 嵌入式軟件方向的學(xué)習(xí)難點(diǎn)有哪些應(yīng)該如何學(xué)習(xí)
- 嵌入式系統(tǒng)死鎖檢測(cè)方法 0次下載
- 基于執(zhí)行片段的嵌入式軟件時(shí)序特性檢測(cè)方法 0次下載
- 嵌入式軟件時(shí)序異常檢測(cè) 0次下載
- 基于雙十字鏈表存儲(chǔ)的共享資源矩陣方法特性研究 0次下載
- 嵌入式軟件技術(shù)應(yīng)用設(shè)計(jì)方案匯總 4次下載
- 基于令牌的共享資源分配算法_雷鳴 0次下載
- UCOS擴(kuò)展例程-UCOSIII使用信號(hào)量訪問(wèn)共享資源區(qū) 19次下載
- UCOS擴(kuò)展例程-UCOSIII直接訪問(wèn)共享資源區(qū) 20次下載
- 嵌入式實(shí)時(shí)多任務(wù)軟件的軟總線結(jié)構(gòu)設(shè)計(jì)
- 基于模塊化設(shè)計(jì)的嵌入式軟件測(cè)試方法
- 嵌入式軟件開(kāi)發(fā)和軟件開(kāi)發(fā)的區(qū)別 3.8k次閱讀
- 聊聊嵌入式軟件分層 1.2k次閱讀
- 嵌入式軟件的設(shè)計(jì)模式（上） 2.2k次閱讀
- 基于UML嵌入式軟件開(kāi)發(fā)環(huán)境的自動(dòng)取款機(jī)系統(tǒng)的應(yīng)用方案 4.3k次閱讀
- 基于TMS320C6x網(wǎng)絡(luò)開(kāi)發(fā)環(huán)境和TCP/IP NDK實(shí)現(xiàn)嵌入式系統(tǒng)的應(yīng)用 4.2k次閱讀
- 基于IPP跨平臺(tái)軟件庫(kù)實(shí)現(xiàn)嵌入式系統(tǒng)的應(yīng)用設(shè)計(jì) 3.9k次閱讀
- 基于嵌入式軟件的JNI技術(shù)應(yīng)用解析 1.4k次閱讀
- 嵌入式軟件開(kāi)發(fā)編程規(guī)范介紹 5k次閱讀
- 嵌入式軟件開(kāi)發(fā)的這些編程規(guī)范你了解嗎 4.6k次閱讀
- 基于SCADE模型的高安全性嵌入式軟件解決方案設(shè)計(jì) 3.3k次閱讀
- 關(guān)于嵌入式軟件系統(tǒng)測(cè)試策略和方案設(shè)計(jì)詳解 9.7k次閱讀
- 什么是嵌入式操作系統(tǒng) 常見(jiàn)的嵌入式系統(tǒng)有哪些 4.1w次閱讀
- 嵌入式操作系統(tǒng)是什么_嵌入式操作系統(tǒng)有哪些 2.1w次閱讀
- 嵌入式軟件工程師和嵌入式硬件工程師有什么區(qū)別 8.3w次閱讀
- 嵌入式應(yīng)用的 USB 3.0 鏈路共享 2.9k次閱讀
上傳資料賺積分下載排行
本周
- 1冷柜-電氣控制系統(tǒng)講解
- 13.68 MB | 4次下載 | 10 積分
- 2安川A1000變頻器中文版說(shuō)明書(shū)
- 20.16 MB | 3次下載 | 3 積分
- 3直流電路的組成和基本定律
- 1.67 MB | 2次下載 | 免費(fèi)
- 4丹佛斯2800系列變頻器說(shuō)明書(shū)
- 8.00 MB | 1次下載 | 5 積分
- 5PC8011同步開(kāi)關(guān)型降壓3.5A單節(jié)鋰電池充電管理電路技術(shù)手冊(cè)
- 0.74 MB | 1次下載 | 免費(fèi)
- 6ES7243E+ES8311音頻錄制與播放電路資料
- 0.06 MB | 1次下載 | 5 積分
- 7SDM02 激光測(cè)距模塊產(chǎn)品手冊(cè)
- 0.43 MB | 1次下載 | 免費(fèi)
- 8SDFM 激光測(cè)距模塊模組手冊(cè)
- 0.54 MB | 1次下載 | 免費(fèi)
本月
- 1CH341編程器軟件NeoProgrammer_2.2.0.10
- 20.47 MB | 170次下載 | 1 積分
- 22025智能家居傳感器市場(chǎng)分析及創(chuàng)新應(yīng)用
- 3.11 MB | 43次下載 | 免費(fèi)
- 3RV1126B系列開(kāi)發(fā)板產(chǎn)品資料
- 4.19 MB | 18次下載 | 免費(fèi)
- 4CH341編程軟件下載
- 2.50 MB | 16次下載 | 5 積分
- 5全志系列-米爾基于T153核心板開(kāi)發(fā)板 四核異構(gòu)、3路千兆網(wǎng)，賦能多元化工業(yè)場(chǎng)景
- 3.05 MB | 12次下載 | 免費(fèi)
- 6【開(kāi)源】60余套STM32單片機(jī)、嵌入式Linux、物聯(lián)網(wǎng)、人工智能項(xiàng)目案例及入門學(xué)習(xí)資源包
- 10.55 MB | 8次下載 | 免費(fèi)
- 7冷柜-電氣控制系統(tǒng)講解
- 13.68 MB | 4次下載 | 10 積分
- 8特斯拉MODEL S車載充電機(jī)主電路回路原理圖
- 0.81 MB | 4次下載 | 3 積分
總榜
- 1matlab軟件下載入口
- 未知 | 935137次下載 | 10 積分
- 2開(kāi)源硬件-PMP21529.1-4 開(kāi)關(guān)降壓/升壓雙向直流/直流轉(zhuǎn)換器 PCB layout 設(shè)計(jì)
- 1.48MB | 420064次下載 | 10 積分
- 3Altium DXP2002下載入口
- 未知 | 233094次下載 | 10 積分
- 4電路仿真軟件multisim 10.0免費(fèi)下載
- 340992 | 191448次下載 | 10 積分
- 5十天學(xué)會(huì)AVR單片機(jī)與C語(yǔ)言視頻教程 下載
- 158M | 183356次下載 | 10 積分
- 6labview8.5下載
- 未知 | 81604次下載 | 10 積分
- 7Keil工具M(jìn)DK-Arm免費(fèi)下載
- 0.02 MB | 73824次下載 | 10 積分
- 8LabVIEW 8.6下載
- 未知 | 65991次下載 | 10 積分
工商網(wǎng)監(jiān)
評(píng)論