電子發燒友App
創作
發文章
發帖 
提問 
發資料
發視頻資料介紹
時序特性是嵌入式軟件的重要特性，實時嵌入式軟件運行的正確性不僅依賴于任務執行結果，更依賴于任務執行時間，執行任務往往具有多個時間約束，且相互之間可能存在制約關系，對時間約束進行驗證和確認是嵌入式軟件測試的一個重要問題，文中提出一種基于執行片段的嵌入式軟件時序特性檢測方法（ Trace -Bascd Tcmporal Dcfcct Dctcction，TBTDD）．一方面，基于擴展語義接口自動機（Fxtcndcd Scmantic Intcrface Automata，ESIA）模型，刻畫嵌入式軟件時序特性需求，分析不同時間約束間存在的相關關系類型，并提出基于相關矩陣的相關時間約束識別算法；另一方面，在目標軟件運行環境中提取包含時間信息的執行片段，通過執行片段與時間約束模型的匹配，依據預先制定的時序特性檢測準則，檢驗執行序列是否滿足模型中各項獨立和相關時間約束的要求，進而發現被測軟件中存在的時序缺陷．實驗以衛星定位系統軟件為例進行建模與缺陷檢測，并在執行片段集和缺陷檢測能力等方面進行了對比分析．實驗表明，該方法可有效檢測軟件運行過程中存在的各類異常時序，提高了軟件時序測試的有效性和充分性．
下載該資料的人也在下載
下載該資料的人還在閱讀
更多 >
- 分享嵌入式軟件Bootloader設計與移植方法 3次下載
- 嵌入式軟件之c語言編碼規范 28次下載
- 嵌入式軟件測試研究意義,嵌入式軟件測試的研究
- 嵌入式系統的軟件組成
- 嵌入式軟件測試參考書籍
- 用于嵌入式系統中的無線通信方法
- 嵌入式軟件系統教程之嵌入式軟件體系結構的詳細資料說明 25次下載
- 嵌入式應該如何學習？嵌入式學習方法和嵌入式學習路線資料說明
- 嵌入式軟件方向的學習難點有哪些應該如何學習
- 如何使用ARM進行嵌入式系統設計詳細方法研究 9次下載
- 嵌入式系統死鎖檢測方法 0次下載
- 嵌入式軟件時序異常檢測 0次下載
- 基于模型檢查的嵌入式軟件驗證方法解析 0次下載
- 基于CodeTEST的嵌入式軟件測試技術
- 基于模塊化設計的嵌入式軟件測試方法
- 嵌入式fpga是什么意思 1311次閱讀
- 嵌入式軟件開發和軟件開發的區別 2358次閱讀
- 聊聊嵌入式軟件分層 701次閱讀
- 嵌入式軟件的設計模式（上） 1352次閱讀
- 小型和受限嵌入式系統的固件驗證 1481次閱讀
- 基于UML嵌入式軟件開發環境的自動取款機系統的應用方案 3777次閱讀
- 基于IPP跨平臺軟件庫實現嵌入式系統的應用設計 2999次閱讀
- 基于CPLD實現嵌入式軟件bootrom自動備份及切換功能的方法介紹 1292次閱讀
- 基于嵌入式軟件的JNI技術應用解析 1106次閱讀
- 優化嵌入式軟件時可以遵循幾個通用技巧盤點 670次閱讀
- 把軟件項目管理方法引入嵌入式系統的開發之中的設計淺析 2163次閱讀
- 嵌入式軟件開發編程規范介紹 4403次閱讀
- 嵌入式軟件開發的這些編程規范你了解嗎 3945次閱讀
- 關于嵌入式系統8大關鍵特性詳解 1153次閱讀
- 嵌入式軟件工程師和嵌入式硬件工程師有什么區別 7.1w次閱讀
上傳資料賺積分下載排行
本周
- 1DC電源插座圖紙
- 0.67 MB | 2次下載 | 免費
- 2AN158 GD32VW553 Wi-Fi開發指南
- 1.51MB | 2次下載 | 免費
- 3AN148 GD32VW553射頻硬件開發指南
- 2.07MB | 1次下載 | 免費
- 4AN111-LTC3219用戶指南
- 84.32KB | 次下載 | 免費
- 5AN153-用于電源系統管理的Linduino
- 1.38MB | 次下載 | 免費
- 6AN-283: Σ-Δ型ADC和DAC[中文版]
- 677.86KB | 次下載 | 免費
- 7SM2018E 支持可控硅調光線性恒流控制芯片
- 402.24 KB | 次下載 | 免費
- 8AN-1308: 電流檢測放大器共模階躍響應
- 545.42KB | 次下載 | 免費
本月
- 1ADI高性能電源管理解決方案
- 2.43 MB | 450次下載 | 免費
- 2免費開源CC3D飛控資料（電路圖&PCB源文件、BOM、
- 5.67 MB | 138次下載 | 1 積分
- 3基于STM32單片機智能手環心率計步器體溫顯示設計
- 0.10 MB | 130次下載 | 免費
- 4使用單片機實現七人表決器的程序和仿真資料免費下載
- 2.96 MB | 44次下載 | 免費
- 53314A函數發生器維修手冊
- 16.30 MB | 31次下載 | 免費
- 6美的電磁爐維修手冊大全
- 1.56 MB | 24次下載 | 5 積分
- 7如何正確測試電源的紋波
- 0.36 MB | 17次下載 | 免費
- 8感應筆電路圖
- 0.06 MB | 10次下載 | 免費
總榜
- 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 積分
工商網監
評論