電子發(fā)燒友App
創(chuàng)作
發(fā)文章
發(fā)帖 
提問 
發(fā)資料
發(fā)視頻資料介紹
時序特性是嵌入式軟件的重要特性，實時嵌入式軟件運行的正確性不僅依賴于任務執(zhí)行結果，更依賴于任務執(zhí)行時間，執(zhí)行任務往往具有多個時間約束，且相互之間可能存在制約關系，對時間約束進行驗證和確認是嵌入式軟件測試的一個重要問題，文中提出一種基于執(zhí)行片段的嵌入式軟件時序特性檢測方法（ Trace -Bascd Tcmporal Dcfcct Dctcction，TBTDD）．一方面，基于擴展語義接口自動機（Fxtcndcd Scmantic Intcrface Automata，ESIA）模型，刻畫嵌入式軟件時序特性需求，分析不同時間約束間存在的相關關系類型，并提出基于相關矩陣的相關時間約束識別算法；另一方面，在目標軟件運行環(huán)境中提取包含時間信息的執(zhí)行片段，通過執(zhí)行片段與時間約束模型的匹配，依據(jù)預先制定的時序特性檢測準則，檢驗執(zhí)行序列是否滿足模型中各項獨立和相關時間約束的要求，進而發(fā)現(xiàn)被測軟件中存在的時序缺陷．實驗以衛(wèi)星定位系統(tǒng)軟件為例進行建模與缺陷檢測，并在執(zhí)行片段集和缺陷檢測能力等方面進行了對比分析．實驗表明，該方法可有效檢測軟件運行過程中存在的各類異常時序，提高了軟件時序測試的有效性和充分性．
下載該資料的人也在下載
下載該資料的人還在閱讀
更多 >
- 分享嵌入式軟件Bootloader設計與移植方法 3次下載
- 嵌入式軟件之c語言編碼規(guī)范 28次下載
- 嵌入式軟件測試研究意義,嵌入式軟件測試的研究
- 嵌入式系統(tǒng)的軟件組成
- 嵌入式軟件測試參考書籍
- 用于嵌入式系統(tǒng)中的無線通信方法
- 嵌入式軟件系統(tǒng)教程之嵌入式軟件體系結構的詳細資料說明 25次下載
- 嵌入式應該如何學習？嵌入式學習方法和嵌入式學習路線資料說明
- 嵌入式軟件方向的學習難點有哪些應該如何學習
- 如何使用ARM進行嵌入式系統(tǒng)設計詳細方法研究 9次下載
- 嵌入式系統(tǒng)死鎖檢測方法 0次下載
- 嵌入式軟件時序異常檢測 0次下載
- 基于模型檢查的嵌入式軟件驗證方法解析 0次下載
- 基于CodeTEST的嵌入式軟件測試技術
- 基于模塊化設計的嵌入式軟件測試方法
- 嵌入式fpga是什么意思 992次閱讀
- 嵌入式軟件開發(fā)和軟件開發(fā)的區(qū)別 1742次閱讀
- 聊聊嵌入式軟件分層 527次閱讀
- 嵌入式軟件的設計模式（上） 1119次閱讀
- 小型和受限嵌入式系統(tǒng)的固件驗證 1304次閱讀
- 基于UML嵌入式軟件開發(fā)環(huán)境的自動取款機系統(tǒng)的應用方案 3608次閱讀
- 基于IPP跨平臺軟件庫實現(xiàn)嵌入式系統(tǒng)的應用設計 2683次閱讀
- 基于CPLD實現(xiàn)嵌入式軟件bootrom自動備份及切換功能的方法介紹 1177次閱讀
- 基于嵌入式軟件的JNI技術應用解析 1020次閱讀
- 優(yōu)化嵌入式軟件時可以遵循幾個通用技巧盤點 628次閱讀
- 把軟件項目管理方法引入嵌入式系統(tǒng)的開發(fā)之中的設計淺析 2034次閱讀
- 嵌入式軟件開發(fā)編程規(guī)范介紹 4208次閱讀
- 嵌入式軟件開發(fā)的這些編程規(guī)范你了解嗎 3809次閱讀
- 關于嵌入式系統(tǒng)8大關鍵特性詳解 1059次閱讀
- 嵌入式軟件工程師和嵌入式硬件工程師有什么區(qū)別 7w次閱讀
上傳資料賺積分下載排行
本周
- 1HFSS電磁仿真設計應用詳解PDF電子教程免費下載
- 24.30 MB | 126次下載 | 1 積分
- 2H橋中的電流感測
- 545.39KB | 7次下載 | 免費
- 3雷達的基本分類方法
- 1.25 MB | 4次下載 | 4 積分
- 4I3C–下一代串行通信接口
- 608.47KB | 3次下載 | 免費
- 5電感技術講解
- 827.73 KB | 2次下載 | 免費
- 6從 MSP430? MCU 到 MSPM0 MCU 的遷移指南
- 1.17MB | 2次下載 | 免費
- 7有源低通濾波器設計應用說明
- 1.12MB | 2次下載 | 免費
- 8RA-Eco-RA2E1-48PIN-V1.0開發(fā)板資料
- 35.59 MB | 2次下載 | 免費
本月
- 12024年工控與通信行業(yè)上游發(fā)展趨勢和熱點解讀
- 2.61 MB | 763次下載 | 免費
- 2HFSS電磁仿真設計應用詳解PDF電子教程免費下載
- 24.30 MB | 126次下載 | 1 積分
- 3繼電保護原理
- 2.80 MB | 36次下載 | 免費
- 4正激、反激、推挽、全橋、半橋區(qū)別和特點
- 0.91 MB | 32次下載 | 1 積分
- 5labview實現(xiàn)DBC在界面加載配置
- 0.57 MB | 21次下載 | 5 積分
- 6在設計中使用MOSFET瞬態(tài)熱阻抗曲線
- 1.57MB | 15次下載 | 免費
- 7GBT 4706.1-2024家用和類似用途電器的安全第1部分:通用要求
- 7.43 MB | 13次下載 | 免費
- 8PADS-3D庫文件
- 2.70 MB | 10次下載 | 2 積分
總榜
- 1matlab軟件下載入口
- 未知 | 935113次下載 | 10 積分
- 2開源硬件-PMP21529.1-4 開關降壓/升壓雙向直流/直流轉換器 PCB layout 設計
- 1.48MB | 420061次下載 | 10 積分
- 3Altium DXP2002下載入口
- 未知 | 233084次下載 | 10 積分
- 4電路仿真軟件multisim 10.0免費下載
- 340992 | 191360次下載 | 10 積分
- 5十天學會AVR單片機與C語言視頻教程 下載
- 158M | 183329次下載 | 10 積分
- 6labview8.5下載
- 未知 | 81578次下載 | 10 積分
- 7Keil工具MDK-Arm免費下載
- 0.02 MB | 73804次下載 | 10 積分
- 8LabVIEW 8.6下載
- 未知 | 65985次下載 | 10 積分
工商網監(jiān)
評論