電子發(fā)燒友App
創(chuàng)作
發(fā)文章
發(fā)帖 
提問 
發(fā)資料
發(fā)視頻資料介紹
安全苛刻系統(tǒng)的可信性需求迫切，支持可信性評估的數(shù)據(jù)主要來自于測試．為了保證測試數(shù)據(jù)的可靠性和正確性，特別是對安全苛刻系統(tǒng)這類復雜系統(tǒng)，手工測試實際不可行，研發(fā)測試語言是實現(xiàn)自動化測試的有效途徑，也是安全苛刻系統(tǒng)自動化測試發(fā)展的必然趨勢．針對安全苛刻系統(tǒng)通用測試語言應獨立于具體設備包括被測安全苛刻系統(tǒng)、測試設備的應用需求，對安全苛刻系統(tǒng)測試中的測試設備協(xié)同語句展開研究，針對安全苛刻系統(tǒng)測試中測試設備協(xié)同任務中的高階性、實時性等特點通過給出測試語言中測試設備協(xié)同相關類型、設備協(xié)同表達式，定義測試設備協(xié)同語句，并通過設備協(xié)同表達式求值定義設備協(xié)同語句的操作語義規(guī)則．最后，對語句的正確性給出相關證明，從而支持安全苛刻系統(tǒng)測試過程中測試設備協(xié)同過程的動態(tài)性和開放性，支持安全苛刻系統(tǒng)測試語言的通用性．
測試設備
加入交流群
掃碼添加小助手
加入工程師交流群
下載該資料的人也在下載
下載該資料的人還在閱讀
更多 >
- 艦載微波著艦引導系統(tǒng)設備動態(tài)飛行校驗測試 20次下載
- 基于測試樣本誤差重構的協(xié)同表示分類方法 5次下載
- 基于隨機森林與轉換算法實現(xiàn)海洋數(shù)據(jù)的協(xié)同轉換 1次下載
- 結合混合符號執(zhí)行的導向式灰盒模糊測試方法 14次下載
- Python中的基本語句詳細資料說明 43次下載
- SQL的語句大全總結 7次下載
- 如何使用SQL修復語句程序說明 5次下載
- C語言的for循環(huán)語句的程序和電路圖免費下載
- 8051單片機的語句詳細資料說明
- 電子設備整體測試系統(tǒng)的研制
- 開關語句和循環(huán)語句
- matlab基本語句
- 基于標準的系統(tǒng)安全測試指標體系的研究
- 基于PXI總線的飛控設備自動測試系統(tǒng)
- 系統(tǒng)功能安全測試技術研究
- 使用HEX340電氣安全性能綜合分析儀進行醫(yī)療電氣安全測試 692次閱讀
- 物流倉儲系統(tǒng)中自動化設備與軟件系統(tǒng)的高效協(xié)同策略 428次閱讀
- 電磁兼容與信息安全測試系統(tǒng)平臺軟件 602次閱讀
- assign語句和always語句的用法 4.7k次閱讀
- 環(huán)境試驗設備的安全保護系統(tǒng)都有哪些？ 1.1k次閱讀
- Rust的 match 語句用法 1.7k次閱讀
- 詳解Verilog賦值語句、塊語句、條件語句 8.9k次閱讀
- 詳解Python條件語句 1.3k次閱讀
- 條件判斷語句（if語句） 4.8k次閱讀
- 什么是SystemVerilog-決策語句-if-else語句？ 2.1k次閱讀
- continue和break跳轉語句介紹 2.8k次閱讀
- 決策語句允許程序塊的執(zhí)行流程 1.7k次閱讀
- systemverilog的決策語句if…else語句介紹 4.5k次閱讀
- PLC控制系統(tǒng)設計時如何考慮安全問題 1.9k次閱讀
- Verilog可綜合的循環(huán)語句 2w次閱讀
上傳資料賺積分下載排行
本周
- 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連接器設計報告
- 1.06 MB | 次下載 | 免費
- 6新一代網(wǎng)絡可視化（NPB 2.0）
- 3.40 MB | 次下載 | 免費
- 7MS1000TA 超聲波測量模擬前端芯片技術手冊
- 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 開關降壓/升壓雙向直流/直流轉換器 PCB layout 設計
- 1.48MB | 420064次下載 | 10 積分
- 3Altium DXP2002下載入口
- 未知 | 233089次下載 | 10 積分
- 4電路仿真軟件multisim 10.0免費下載
- 340992 | 191439次下載 | 10 積分
- 5十天學會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)
評論