電子發燒友App
創作
發文章
發帖 
提問 
發資料
發視頻資料介紹
目前嵌人式軟件應用越來越廣泛。軟件規模日益龐大、結構趨于復雜，對軟件測試水平提出了更高的要求。在嵌人式系統中，由于系統高實時性要求，經常使用嵌人式實時操作系統和中斷技術，使專用軟件操作更加靈活，功能更加強大，但同時這也可能會導致共享資源沖突。這種沖突在早期不易被人發現，在運行中一旦發生造成的后果是嚴重的，可能引人系統崩潰。目前對于軟件共享資源沖突檢測的軟件少之又少，主要通過人工代碼走查來檢測資源沖突，過于依賴測試人員的個人經驗，漏檢概率較大。基于“早測試、早發現”的原則4，本設計采用靜態分析的方法，通過詞法分析、語法分析、語義分析以及軟件并發性分析，在軟件開發早期對代碼進行自動檢測，判斷是否存在共享資源沖突問題。
下載該資料的人也在下載
下載該資料的人還在閱讀
更多 >
- IIOT嵌入式邊緣軟件方案介紹Edge XRT-廣州虹科
- 嵌入式軟件開發的特點、設計流程、嵌入式軟件的結構
- 嵌入式軟件之c語言編碼規范 28次下載
- 嵌入式系統軟件并發缺陷的建模方法 2次下載
- 嵌入式軟件方向的學習難點有哪些應該如何學習
- 嵌入式系統死鎖檢測方法 0次下載
- 基于執行片段的嵌入式軟件時序特性檢測方法 0次下載
- 嵌入式軟件時序異常檢測 0次下載
- 基于雙十字鏈表存儲的共享資源矩陣方法特性研究 0次下載
- 嵌入式軟件技術應用設計方案匯總 4次下載
- 基于令牌的共享資源分配算法_雷鳴 0次下載
- UCOS擴展例程-UCOSIII使用信號量訪問共享資源區 19次下載
- UCOS擴展例程-UCOSIII直接訪問共享資源區 20次下載
- 嵌入式實時多任務軟件的軟總線結構設計
- 基于模塊化設計的嵌入式軟件測試方法
- 嵌入式軟件開發和軟件開發的區別 2357次閱讀
- 聊聊嵌入式軟件分層 700次閱讀
- 嵌入式軟件的設計模式（上） 1352次閱讀
- 基于UML嵌入式軟件開發環境的自動取款機系統的應用方案 3777次閱讀
- 基于TMS320C6x網絡開發環境和TCP/IP NDK實現嵌入式系統的應用 3715次閱讀
- 基于IPP跨平臺軟件庫實現嵌入式系統的應用設計 2999次閱讀
- 基于嵌入式軟件的JNI技術應用解析 1106次閱讀
- 嵌入式軟件開發編程規范介紹 4403次閱讀
- 嵌入式軟件開發的這些編程規范你了解嗎 3945次閱讀
- 基于SCADE模型的高安全性嵌入式軟件解決方案設計 2815次閱讀
- 關于嵌入式軟件系統測試策略和方案設計詳解 9318次閱讀
- 什么是嵌入式操作系統 常見的嵌入式系統有哪些 4w次閱讀
- 嵌入式操作系統是什么_嵌入式操作系統有哪些 2w次閱讀
- 嵌入式軟件工程師和嵌入式硬件工程師有什么區別 7.1w次閱讀
- 嵌入式應用的 USB 3.0 鏈路共享 2353次閱讀
上傳資料賺積分下載排行
本周
- 1AN158 GD32VW553 Wi-Fi開發指南
- 1.51MB | 2次下載 | 免費
- 2嵌入式軟件開發符合ISO 26262 功能安全標準
- 1.61 MB | 1次下載 | 免費
- 3AN148 GD32VW553射頻硬件開發指南
- 2.07MB | 1次下載 | 免費
- 4PZT驅動開關電路
- 0.09 MB | 1次下載 | 免費
- 5模擬電路仿真實現
- 2.94MB | 1次下載 | 免費
- 6PCB繪制基礎知識
- 2.44MB | 1次下載 | 免費
- 7EE-38：ADSP-2181 IDMA端口-周期竊取時序
- 75.0KB | 次下載 | 免費
- 8EE-82：使用ADSP-2181 DSP的IO空間對另一個ADSP-2181進行IDMA引導
- 86.86KB | 次下載 | 免費
本月
- 1ADI高性能電源管理解決方案
- 2.43 MB | 452次下載 | 免費
- 2免費開源CC3D飛控資料（電路圖&PCB源文件、BOM、
- 5.67 MB | 139次下載 | 1 積分
- 3基于STM32單片機智能手環心率計步器體溫顯示設計
- 0.10 MB | 132次下載 | 免費
- 4美的電磁爐維修手冊大全
- 1.56 MB | 24次下載 | 5 積分
- 5如何正確測試電源的紋波
- 0.36 MB | 19次下載 | 免費
- 6感應筆電路圖
- 0.06 MB | 10次下載 | 免費
- 7LZC3106G高性能諧振控制器中文手冊
- 1.29 MB | 9次下載 | 1 積分
- 8萬用表UT58A原理圖
- 0.09 MB | 9次下載 | 5 積分
總榜
- 1matlab軟件下載入口
- 未知 | 935121次下載 | 10 積分
- 2開源硬件-PMP21529.1-4 開關降壓/升壓雙向直流/直流轉換器 PCB layout 設計
- 1.48MB | 420062次下載 | 10 積分
- 3Altium DXP2002下載入口
- 未知 | 233088次下載 | 10 積分
- 4電路仿真軟件multisim 10.0免費下載
- 340992 | 191367次下載 | 10 積分
- 5十天學會AVR單片機與C語言視頻教程 下載
- 158M | 183335次下載 | 10 積分
- 6labview8.5下載
- 未知 | 81581次下載 | 10 積分
- 7Keil工具MDK-Arm免費下載
- 0.02 MB | 73810次下載 | 10 積分
- 8LabVIEW 8.6下載
- 未知 | 65988次下載 | 10 積分
工商網監
評論