電子發(fā)燒友App
創(chuàng)作
發(fā)文章
發(fā)帖 
提問 
發(fā)資料
發(fā)視頻資料介紹
目前嵌人式軟件應(yīng)用越來越廣泛。軟件規(guī)模日益龐大、結(jié)構(gòu)趨于復(fù)雜，對軟件測試水平提出了更高的要求。在嵌人式系統(tǒng)中，由于系統(tǒng)高實時性要求，經(jīng)常使用嵌人式實時操作系統(tǒng)和中斷技術(shù)，使專用軟件操作更加靈活，功能更加強大，但同時這也可能會導(dǎo)致共享資源沖突。這種沖突在早期不易被人發(fā)現(xiàn)，在運行中一旦發(fā)生造成的后果是嚴(yán)重的，可能引人系統(tǒng)崩潰。目前對于軟件共享資源沖突檢測的軟件少之又少，主要通過人工代碼走查來檢測資源沖突，過于依賴測試人員的個人經(jīng)驗，漏檢概率較大。基于“早測試、早發(fā)現(xiàn)”的原則4，本設(shè)計采用靜態(tài)分析的方法，通過詞法分析、語法分析、語義分析以及軟件并發(fā)性分析，在軟件開發(fā)早期對代碼進行自動檢測，判斷是否存在共享資源沖突問題。
下載該資料的人也在下載
下載該資料的人還在閱讀
更多 >
- IIOT嵌入式邊緣軟件方案介紹Edge XRT-廣州虹科
- 嵌入式軟件開發(fā)的特點、設(shè)計流程、嵌入式軟件的結(jié)構(gòu)
- 嵌入式軟件之c語言編碼規(guī)范 28次下載
- 嵌入式系統(tǒng)軟件并發(fā)缺陷的建模方法 2次下載
- 嵌入式軟件方向的學(xué)習(xí)難點有哪些應(yīng)該如何學(xué)習(xí)
- 嵌入式系統(tǒng)死鎖檢測方法 0次下載
- 基于執(zhí)行片段的嵌入式軟件時序特性檢測方法 0次下載
- 嵌入式軟件時序異常檢測 0次下載
- 基于雙十字鏈表存儲的共享資源矩陣方法特性研究 0次下載
- 嵌入式軟件技術(shù)應(yīng)用設(shè)計方案匯總 4次下載
- 基于令牌的共享資源分配算法_雷鳴 0次下載
- UCOS擴展例程-UCOSIII使用信號量訪問共享資源區(qū) 19次下載
- UCOS擴展例程-UCOSIII直接訪問共享資源區(qū) 20次下載
- 嵌入式實時多任務(wù)軟件的軟總線結(jié)構(gòu)設(shè)計
- 基于模塊化設(shè)計的嵌入式軟件測試方法
- 嵌入式軟件開發(fā)和軟件開發(fā)的區(qū)別 1738次閱讀
- 聊聊嵌入式軟件分層 525次閱讀
- 嵌入式軟件的設(shè)計模式（上） 1119次閱讀
- 基于UML嵌入式軟件開發(fā)環(huán)境的自動取款機系統(tǒng)的應(yīng)用方案 3608次閱讀
- 基于TMS320C6x網(wǎng)絡(luò)開發(fā)環(huán)境和TCP/IP NDK實現(xiàn)嵌入式系統(tǒng)的應(yīng)用 3598次閱讀
- 基于IPP跨平臺軟件庫實現(xiàn)嵌入式系統(tǒng)的應(yīng)用設(shè)計 2681次閱讀
- 基于嵌入式軟件的JNI技術(shù)應(yīng)用解析 1020次閱讀
- 嵌入式軟件開發(fā)編程規(guī)范介紹 4206次閱讀
- 嵌入式軟件開發(fā)的這些編程規(guī)范你了解嗎 3809次閱讀
- 基于SCADE模型的高安全性嵌入式軟件解決方案設(shè)計 2665次閱讀
- 關(guān)于嵌入式軟件系統(tǒng)測試策略和方案設(shè)計詳解 9081次閱讀
- 什么是嵌入式操作系統(tǒng) 常見的嵌入式系統(tǒng)有哪些 4w次閱讀
- 嵌入式操作系統(tǒng)是什么_嵌入式操作系統(tǒng)有哪些 2w次閱讀
- 嵌入式軟件工程師和嵌入式硬件工程師有什么區(qū)別 7w次閱讀
- 嵌入式應(yīng)用的 USB 3.0 鏈路共享 2266次閱讀
上傳資料賺積分下載排行
本周
- 1TC358743XBG評估板參考手冊
- 1.36 MB | 330次下載 | 免費
- 2開關(guān)電源基礎(chǔ)知識
- 5.73 MB | 6次下載 | 免費
- 3100W短波放大電路圖
- 0.05 MB | 4次下載 | 3 積分
- 4嵌入式linux-聊天程序設(shè)計
- 0.60 MB | 3次下載 | 免費
- 5基于FPGA的光纖通信系統(tǒng)的設(shè)計與實現(xiàn)
- 0.61 MB | 2次下載 | 免費
- 6基于FPGA的C8051F單片機開發(fā)板設(shè)計
- 0.70 MB | 2次下載 | 免費
- 751單片機窗簾控制器仿真程序
- 1.93 MB | 2次下載 | 免費
- 8基于51單片機的RGB調(diào)色燈程序仿真
- 0.86 MB | 2次下載 | 免費
本月
- 1OrCAD10.5下載OrCAD10.5中文版軟件
- 0.00 MB | 234315次下載 | 免費
- 2555集成電路應(yīng)用800例(新編版)
- 0.00 MB | 33564次下載 | 免費
- 3接口電路圖大全
- 未知 | 30323次下載 | 免費
- 4開關(guān)電源設(shè)計實例指南
- 未知 | 21548次下載 | 免費
- 5電氣工程師手冊免費下載(新編第二版pdf電子書)
- 0.00 MB | 15349次下載 | 免費
- 6數(shù)字電路基礎(chǔ)pdf(下載)
- 未知 | 13750次下載 | 免費
- 7電子制作實例集錦 下載
- 未知 | 8113次下載 | 免費
- 8《LED驅(qū)動電路設(shè)計》 溫德爾著
- 0.00 MB | 6653次下載 | 免費
總榜
- 1matlab軟件下載入口
- 未知 | 935054次下載 | 免費
- 2protel99se軟件下載(可英文版轉(zhuǎn)中文版)
- 78.1 MB | 537796次下載 | 免費
- 3MATLAB 7.1 下載 (含軟件介紹)
- 未知 | 420026次下載 | 免費
- 4OrCAD10.5下載OrCAD10.5中文版軟件
- 0.00 MB | 234315次下載 | 免費
- 5Altium DXP2002下載入口
- 未知 | 233046次下載 | 免費
- 6電路仿真軟件multisim 10.0免費下載
- 340992 | 191185次下載 | 免費
- 7十天學(xué)會AVR單片機與C語言視頻教程 下載
- 158M | 183278次下載 | 免費
- 8proe5.0野火版下載(中文版免費下載)
- 未知 | 138040次下載 | 免費
工商網(wǎng)監(jiān)
評論