電子發(fā)燒友App
創(chuàng)作
發(fā)文章
發(fā)帖 
提問 
發(fā)資料
發(fā)視頻資料介紹
時序特性是嵌入式軟件的重要特性，實時嵌入式軟件運行的正確性不僅依賴于任務(wù)執(zhí)行結(jié)果，更依賴于任務(wù)執(zhí)行時間，執(zhí)行任務(wù)往往具有多個時間約束，且相互之間可能存在制約關(guān)系，對時間約束進行驗證和確認是嵌入式軟件測試的一個重要問題，文中提出一種基于執(zhí)行片段的嵌入式軟件時序特性檢測方法（ Trace -Bascd Tcmporal Dcfcct Dctcction，TBTDD）．一方面，基于擴展語義接口自動機（Fxtcndcd Scmantic Intcrface Automata，ESIA）模型，刻畫嵌入式軟件時序特性需求，分析不同時間約束間存在的相關(guān)關(guān)系類型，并提出基于相關(guān)矩陣的相關(guān)時間約束識別算法；另一方面，在目標軟件運行環(huán)境中提取包含時間信息的執(zhí)行片段，通過執(zhí)行片段與時間約束模型的匹配，依據(jù)預(yù)先制定的時序特性檢測準則，檢驗執(zhí)行序列是否滿足模型中各項獨立和相關(guān)時間約束的要求，進而發(fā)現(xiàn)被測軟件中存在的時序缺陷．實驗以衛(wèi)星定位系統(tǒng)軟件為例進行建模與缺陷檢測，并在執(zhí)行片段集和缺陷檢測能力等方面進行了對比分析．實驗表明，該方法可有效檢測軟件運行過程中存在的各類異常時序，提高了軟件時序測試的有效性和充分性．
下載該資料的人也在下載
下載該資料的人還在閱讀
更多 >
- 嵌入式軟件開發(fā)的特點、設(shè)計流程、嵌入式軟件的結(jié)構(gòu)
- 嵌入式軟件之c語言編碼規(guī)范 29次下載
- 嵌入式軟件開發(fā)環(huán)境
- 嵌入式軟件測試研究意義,嵌入式軟件測試的研究
- 嵌入式軟件測試參考書籍
- 嵌入式模擬題
- 基于ARM11的嵌入式肺癌氣體檢測系統(tǒng)控制軟件設(shè)計
- 基于Python的實時嵌入式軟件測試腳本總結(jié)
- 基于RTOS的嵌入式系統(tǒng)軟件的設(shè)計講解
- 嵌入式軟件系統(tǒng)教程之嵌入式軟件體系結(jié)構(gòu)的詳細資料說明 25次下載
- 嵌入式軟件方向的學(xué)習(xí)難點有哪些應(yīng)該如何學(xué)習(xí)
- 嵌入式系統(tǒng)死鎖檢測方法 0次下載
- 基于執(zhí)行片段的嵌入式軟件時序特性檢測方法 0次下載
- ARM嵌入式軟件開發(fā) 65次下載
- 基于CodeTEST的嵌入式軟件測試技術(shù)
- 嵌入式軟件開發(fā)和軟件開發(fā)的區(qū)別 3.8k次閱讀
- 基于功能安全的汽車嵌入式軟件單元驗證技術(shù)研究 2.1k次閱讀
- 聊聊嵌入式軟件分層 1.2k次閱讀
- 嵌入式軟件的設(shè)計模式（上） 2.2k次閱讀
- 嵌入式系統(tǒng)的軟件架構(gòu)設(shè)計 4.9k次閱讀
- 基于UML嵌入式軟件開發(fā)環(huán)境的自動取款機系統(tǒng)的應(yīng)用方案 4.3k次閱讀
- 基于嵌入式C語言開發(fā)中的異常堆棧錯誤追蹤機制的設(shè)計 1.5k次閱讀
- 基于嵌入式軟件的JNI技術(shù)應(yīng)用解析 1.4k次閱讀
- 優(yōu)化嵌入式軟件時可以遵循幾個通用技巧盤點 868次閱讀
- 嵌入式軟件開發(fā)編程規(guī)范介紹 5k次閱讀
- 嵌入式軟件開發(fā)的這些編程規(guī)范你了解嗎 4.6k次閱讀
- 嵌入式軟件工程師職業(yè)規(guī)劃必知 7.1k次閱讀
- 基于SCADE模型的高安全性嵌入式軟件解決方案設(shè)計 3.3k次閱讀
- 嵌入式操作系統(tǒng)是什么_嵌入式操作系統(tǒng)有哪些 2.1w次閱讀
- 嵌入式軟件工程師和嵌入式硬件工程師有什么區(qū)別 8.3w次閱讀
上傳資料賺積分下載排行
本周
- 1MDD品牌三極管MMBT3906數(shù)據(jù)手冊
- 2.33 MB | 次下載 | 免費
- 2MDD品牌三極管S9012數(shù)據(jù)手冊
- 2.62 MB | 次下載 | 免費
- 3聯(lián)想flex2-14D/15D說明書
- 4.92 MB | 次下載 | 免費
- 4收音環(huán)繞擴音機 AVR-1507手冊
- 2.50 MB | 次下載 | 免費
- 524Pin Type-C連接器設(shè)計報告
- 1.06 MB | 次下載 | 免費
- 6新一代網(wǎng)絡(luò)可視化（NPB 2.0）
- 3.40 MB | 次下載 | 免費
- 7MS1000TA 超聲波測量模擬前端芯片技術(shù)手冊
- 0.60 MB | 次下載 | 免費
- 8MS1022高精度時間測量(TDC)電路數(shù)據(jù)手冊
- 1.81 MB | 次下載 | 免費
本月
- 1愛華AIWA HS-J202維修手冊
- 3.34 MB | 37次下載 | 免費
- 2PC5502負載均流控制電路數(shù)據(jù)手冊
- 1.63 MB | 23次下載 | 免費
- 3NB-IoT芯片廠商的資料說明
- 0.31 MB | 22次下載 | 1 積分
- 4H110主板CPU PWM芯片ISL95858HRZ-T核心供電電路圖資料
- 0.63 MB | 6次下載 | 1 積分
- 5UWB653Pro USB口測距通信定位模塊規(guī)格書
- 838.47 KB | 5次下載 | 免費
- 6技嘉H110主板IT8628E_BX IO電路圖資料
- 2.61 MB | 4次下載 | 1 積分
- 7蘇泊爾DCL6907(即CHK-S007)單芯片電磁爐原理圖資料
- 0.04 MB | 4次下載 | 1 積分
- 8100W準諧振反激式恒流電源電路圖資料
- 0.09 MB | 2次下載 | 1 積分
總榜
- 1matlab軟件下載入口
- 未知 | 935137次下載 | 10 積分
- 2開源硬件-PMP21529.1-4 開關(guān)降壓/升壓雙向直流/直流轉(zhuǎn)換器 PCB layout 設(shè)計
- 1.48MB | 420064次下載 | 10 積分
- 3Altium DXP2002下載入口
- 未知 | 233089次下載 | 10 積分
- 4電路仿真軟件multisim 10.0免費下載
- 340992 | 191439次下載 | 10 積分
- 5十天學(xué)會AVR單片機與C語言視頻教程 下載
- 158M | 183353次下載 | 10 積分
- 6labview8.5下載
- 未知 | 81602次下載 | 10 積分
- 7Keil工具MDK-Arm免費下載
- 0.02 MB | 73822次下載 | 10 積分
- 8LabVIEW 8.6下載
- 未知 | 65991次下載 | 10 積分
工商網(wǎng)監(jiān)
評論