電子發(fā)燒友App
創(chuàng)作
發(fā)文章
發(fā)帖 
提問(wèn) 
發(fā)資料
發(fā)視頻資料介紹
本文回顧和討論了形式化方法和測(cè)試技術(shù)，以及形式規(guī)格說(shuō)明可以用于測(cè)試用例生成、測(cè)試順序確定的途徑；并提出了將形式化方法和測(cè)試技術(shù)應(yīng)用于安全保密設(shè)備。
關(guān)鍵詞 形式化方法；測(cè)試技術(shù)；安全保密設(shè)備
Abstract This paper reviews and discusses formal methods and test technology, and the approaches in which formal specifications can be exploited for the generation of test cases, for sequencing the tests; and applying formal methods and test technology to security equipments is proposed.
Keywords Formal method; test technology; Security equipments
關(guān)鍵詞 形式化方法；測(cè)試技術(shù)；安全保密設(shè)備
Abstract This paper reviews and discusses formal methods and test technology, and the approaches in which formal specifications can be exploited for the generation of test cases, for sequencing the tests; and applying formal methods and test technology to security equipments is proposed.
Keywords Formal method; test technology; Security equipments
測(cè)試技術(shù)
加入交流群
掃碼添加小助手
加入工程師交流群
下載該資料的人也在下載
下載該資料的人還在閱讀
更多 >
- 無(wú)人機(jī)無(wú)線通信協(xié)議的形式化認(rèn)證綜述 9次下載
- 基于定理證明其的有限域及其形式化研究 1次下載
- 如何使用一種形式化方法的3D虛擬祭祀場(chǎng)景建模語(yǔ)言與環(huán)境 9次下載
- 軟件形式化開(kāi)發(fā)的水波優(yōu)化方法 0次下載
- Web服務(wù)系統(tǒng)的形式化的語(yǔ)義模型 0次下載
- 通信協(xié)議形式化模型的研究 0次下載
- 操作系統(tǒng)匯編級(jí)形式化設(shè)計(jì)和驗(yàn)證方法 1次下載
- 一種形式化的學(xué)習(xí)過(guò)程建模_鐘偉平 0次下載
- 一種服務(wù)網(wǎng)絡(luò)拓?fù)浣Y(jié)構(gòu)的形式化描述方法_陳鵬 2次下載
- 基于Petri網(wǎng)的安全協(xié)議形式化描述和安全性驗(yàn)證 18次下載
- 基于Petri網(wǎng)的安全協(xié)議形式化分析 29次下載
- 基于Spin的Rdt2.2及其改進(jìn)的形式化分析
- 一種快速安全認(rèn)證協(xié)議及其形式化分析
- 隱標(biāo)識(shí)身份認(rèn)證方法及其形式化語(yǔ)義分析
- 可視化的安全策略形式化描述與驗(yàn)證系統(tǒng)
- 汽車軟件安全測(cè)試中的痛點(diǎn)與Bugspot解決方案 565次閱讀
- 探索無(wú)損密封檢測(cè)技術(shù)：真空衰減法測(cè)試的原理及實(shí)踐 1.6k次閱讀
- 機(jī)器視覺(jué)技術(shù)在工業(yè)自動(dòng)化中的應(yīng)用 2k次閱讀
- 繼電器的常見(jiàn)封裝形式及其特點(diǎn) 4.6k次閱讀
- 芯片開(kāi)發(fā)中形式化驗(yàn)證的是一個(gè)誤區(qū) 2.8k次閱讀
- 形式化建模（一） 2k次閱讀
- 在SpinalHDL中的對(duì)應(yīng)關(guān)系及聲明形式 2.3k次閱讀
- Python中參數(shù)化測(cè)試的實(shí)現(xiàn)思路解析 747次閱讀
- 軟件測(cè)試的方法有哪些有什么的規(guī)范 9.5k次閱讀
- 在貼片加工廠中有哪些安全防護(hù)需要了解 2k次閱讀
- 工控系統(tǒng)的安全現(xiàn)狀和存在的問(wèn)題及思想和形式說(shuō)明 8.9k次閱讀
- 一文看懂軟件測(cè)試方法和規(guī)范 8k次閱讀
- 藍(lán)牙BR/EDR測(cè)試的測(cè)試指標(biāo)及其測(cè)試方法 11.2w次閱讀
- WEB測(cè)試環(huán)境搭建和測(cè)試方法 1.9w次閱讀
- 基于在線分析儀器的測(cè)試方法與測(cè)試技術(shù) 2.1k次閱讀
上傳資料賺積分下載排行
本周
- 1MDD品牌三極管MMBT3906數(shù)據(jù)手冊(cè)
- 2.33 MB | 次下載 | 免費(fèi)
- 2MDD品牌三極管S9012數(shù)據(jù)手冊(cè)
- 2.62 MB | 次下載 | 免費(fèi)
- 3聯(lián)想flex2-14D/15D說(shuō)明書(shū)
- 4.92 MB | 次下載 | 免費(fèi)
- 4收音環(huán)繞擴(kuò)音機(jī) AVR-1507手冊(cè)
- 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 超聲波測(cè)量模擬前端芯片技術(shù)手冊(cè)
- 0.60 MB | 次下載 | 免費(fèi)
- 8MS1022高精度時(shí)間測(cè)量(TDC)電路數(shù)據(jù)手冊(cè)
- 1.81 MB | 次下載 | 免費(fèi)
本月
- 1愛(ài)華AIWA HS-J202維修手冊(cè)
- 3.34 MB | 37次下載 | 免費(fèi)
- 2PC5502負(fù)載均流控制電路數(shù)據(jù)手冊(cè)
- 1.63 MB | 23次下載 | 免費(fèi)
- 3NB-IoT芯片廠商的資料說(shuō)明
- 0.31 MB | 22次下載 | 1 積分
- 4H110主板CPU PWM芯片ISL95858HRZ-T核心供電電路圖資料
- 0.63 MB | 6次下載 | 1 積分
- 5UWB653Pro USB口測(cè)距通信定位模塊規(guī)格書(shū)
- 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開(kāi)源硬件-PMP21529.1-4 開(kāi)關(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é)會(huì)AVR單片機(jī)與C語(yǔ)言視頻教程 下載
- 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)
評(píng)論