電子發(fā)燒友App
創(chuàng)作
發(fā)文章
發(fā)帖 
提問 
發(fā)資料
發(fā)視頻資料介紹
針對并行軟件的狀態(tài)空間規(guī)模大導(dǎo)致測試難度大的問題，提出一種基于著色Petri網(wǎng)（CPN）的針對待測行為的并行模型化簡方法。首先，將原模型根據(jù)模型中出現(xiàn)的并發(fā)變遷、同步變遷、分叉庫所、匯合庫所等特殊節(jié)點(diǎn)的個(gè)數(shù)分成若干個(gè)子模塊；其次，判斷待測行為在模型中的位置，建立待測行為測試集；最后，對每一個(gè)并行模塊中符合化簡條件的非待測行為設(shè)定執(zhí)行優(yōu)先級。通過對化簡前后狀態(tài)空間分析報(bào)告的對比，狀態(tài)空間中節(jié)點(diǎn)的縮減率至少達(dá)到40%以上，并且在化簡前后對于待測行為生成的全覆蓋測試路徑不受影響。
加入交流群
掃碼添加小助手
加入工程師交流群
下載該資料的人也在下載
下載該資料的人還在閱讀
更多 >
- 模型驅(qū)動的分布式衛(wèi)星終端用戶行為仿真 17次下載
- 車聯(lián)網(wǎng)環(huán)境中混合車流的車輛換道行為決策模型 14次下載
- 行為關(guān)聯(lián)網(wǎng)絡(luò)：針對視頻中的完整行為建模 3次下載
- 基于遷移學(xué)習(xí)的駕駛分心行為識別模型 10次下載
- 針對Kaminsky攻擊的異常行為檢測方法 6次下載
- 依據(jù)待分類實(shí)例顯著局部特征的懶惰式分類模型 6次下載
- 一種上下文信息融合的時(shí)序行為提名方法 5次下載
- 結(jié)合動態(tài)行為和機(jī)器學(xué)習(xí)的惡意代碼檢測方法 11次下載
- 用于網(wǎng)絡(luò)用戶行為聚類分析的簇標(biāo)簽自動生成方法 15次下載
- 大電網(wǎng)潮流修正方程并行求解實(shí)現(xiàn)方法 0次下載
- 面向翻譯查詞行為的預(yù)測模型 0次下載
- 一種新的軟件測試模型—軟件層次化模型 0次下載
- 基于Web行為軌跡的防御模型 0次下載
- 基于模塊化設(shè)計(jì)的嵌入式軟件測試方法
- 基于ESL方法的DSP微處理器行為模型設(shè)計(jì)
- 邏輯函數(shù)的化簡方法有哪兩種 3.7k次閱讀
- 動態(tài)追溯方法：徹底革新軟件測試 1.1k次閱讀
- 仿真測試與軟件測試的區(qū)別 2k次閱讀
- 基于PyTorch的模型并行分布式訓(xùn)練Megatron解析 5.5k次閱讀
- 大模型分布式訓(xùn)練并行技術(shù)（一）-概述 2.5k次閱讀
- 數(shù)字電子技術(shù)基礎(chǔ)----邏輯函數(shù)的化簡方法 2.5w次閱讀
- TTCN測試模型及測試方法的研究分析 5.2k次閱讀
- 軟件測試的方法有哪些有什么的規(guī)范 9.5k次閱讀
- 基于OpenMP的電磁場FDTD并行方法的程序設(shè)計(jì) 1.7k次閱讀
- 軟件測試書籍有哪些_軟件測試書籍推薦 1.6w次閱讀
- 一文看懂軟件測試方法和規(guī)范 8k次閱讀
- 卡諾圖化簡法例題詳解 33.2w次閱讀
- 基于FPGA的并行硬件ECC模型的設(shè)計(jì) 6.5k次閱讀
- LTE協(xié)議棧軟件分析測試方法 7.5k次閱讀
- SHARC并行系統(tǒng)軟件設(shè)計(jì)方法 1.8k次閱讀
上傳資料賺積分下載排行
本周
- 1MDD品牌三極管MMBT3906數(shù)據(jù)手冊
- 2.33 MB | 次下載 | 免費(fèi)
- 2MDD品牌三極管S9012數(shù)據(jù)手冊
- 2.62 MB | 次下載 | 免費(fèi)
- 3聯(lián)想flex2-14D/15D說明書
- 4.92 MB | 次下載 | 免費(fèi)
- 4收音環(huán)繞擴(kuò)音機(jī) AVR-1507手冊
- 2.50 MB | 次下載 | 免費(fèi)
- 524Pin Type-C連接器設(shè)計(jì)報(bào)告
- 1.06 MB | 次下載 | 免費(fèi)
- 6新一代網(wǎng)絡(luò)可視化（NPB 2.0）
- 3.40 MB | 次下載 | 免費(fèi)
- 7MS1000TA 超聲波測量模擬前端芯片技術(shù)手冊
- 0.60 MB | 次下載 | 免費(fèi)
- 8MS1022高精度時(shí)間測量(TDC)電路數(shù)據(jù)手冊
- 1.81 MB | 次下載 | 免費(fèi)
本月
- 1愛華AIWA HS-J202維修手冊
- 3.34 MB | 37次下載 | 免費(fèi)
- 2PC5502負(fù)載均流控制電路數(shù)據(jù)手冊
- 1.63 MB | 23次下載 | 免費(fèi)
- 3NB-IoT芯片廠商的資料說明
- 0.31 MB | 22次下載 | 1 積分
- 4H110主板CPU PWM芯片ISL95858HRZ-T核心供電電路圖資料
- 0.63 MB | 6次下載 | 1 積分
- 5UWB653Pro USB口測距通信定位模塊規(guī)格書
- 838.47 KB | 5次下載 | 免費(fèi)
- 6技嘉H110主板IT8628E_BX IO電路圖資料
- 2.61 MB | 4次下載 | 1 積分
- 7蘇泊爾DCL6907(即CHK-S007)單芯片電磁爐原理圖資料
- 0.04 MB | 4次下載 | 1 積分
- 8100W準(zhǔn)諧振反激式恒流電源電路圖資料
- 0.09 MB | 2次下載 | 1 積分
總榜
- 1matlab軟件下載入口
- 未知 | 935137次下載 | 10 積分
- 2開源硬件-PMP21529.1-4 開關(guān)降壓/升壓雙向直流/直流轉(zhuǎn)換器 PCB layout 設(shè)計(jì)
- 1.48MB | 420064次下載 | 10 積分
- 3Altium DXP2002下載入口
- 未知 | 233089次下載 | 10 積分
- 4電路仿真軟件multisim 10.0免費(fèi)下載
- 340992 | 191439次下載 | 10 積分
- 5十天學(xué)會AVR單片機(jī)與C語言視頻教程 下載
- 158M | 183353次下載 | 10 積分
- 6labview8.5下載
- 未知 | 81602次下載 | 10 積分
- 7Keil工具M(jìn)DK-Arm免費(fèi)下載
- 0.02 MB | 73822次下載 | 10 積分
- 8LabVIEW 8.6下載
- 未知 | 65991次下載 | 10 積分
工商網(wǎng)監(jiān)
評論