電子發(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
下載該資料的人也在下載
下載該資料的人還在閱讀
更多 >
- 無(wú)人機(jī)無(wú)線通信協(xié)議的形式化認(rèn)證綜述 9次下載
- 基于定理證明其的有限域及其形式化研究 1次下載
- 如何使用一種形式化方法的3D虛擬祭祀場(chǎng)景建模語(yǔ)言與環(huán)境 9次下載
- 軟件形式化開發(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)
- 探索無(wú)損密封檢測(cè)技術(shù)：真空衰減法測(cè)試的原理及實(shí)踐 205次閱讀
- 芯片失效分析中常見的測(cè)試設(shè)備及其特點(diǎn) 967次閱讀
- 機(jī)器視覺技術(shù)在工業(yè)自動(dòng)化中的應(yīng)用 921次閱讀
- 繼電器的常見封裝形式及其特點(diǎn) 2566次閱讀
- 芯片開發(fā)中形式化驗(yàn)證的是一個(gè)誤區(qū) 1976次閱讀
- 形式化建模（一） 1387次閱讀
- 在SpinalHDL中的對(duì)應(yīng)關(guān)系及聲明形式 1589次閱讀
- Python中參數(shù)化測(cè)試的實(shí)現(xiàn)思路解析 637次閱讀
- 軟件測(cè)試的方法有哪些有什么的規(guī)范 8826次閱讀
- 在貼片加工廠中有哪些安全防護(hù)需要了解 1408次閱讀
- 工控系統(tǒng)的安全現(xiàn)狀和存在的問(wèn)題及思想和形式說(shuō)明 8335次閱讀
- 一文看懂軟件測(cè)試方法和規(guī)范 7301次閱讀
- 藍(lán)牙BR/EDR測(cè)試的測(cè)試指標(biāo)及其測(cè)試方法 10.1w次閱讀
- WEB測(cè)試環(huán)境搭建和測(cè)試方法 1.8w次閱讀
- 基于在線分析儀器的測(cè)試方法與測(cè)試技術(shù) 1694次閱讀
上傳資料賺積分下載排行
本周
- 1電子電路原理第七版PDF電子教材免費(fèi)下載
- 0.00 MB | 1490次下載 | 免費(fèi)
- 2單片機(jī)典型實(shí)例介紹
- 18.19 MB | 93次下載 | 1 積分
- 3S7-200PLC編程實(shí)例詳細(xì)資料
- 1.17 MB | 27次下載 | 1 積分
- 4筆記本電腦主板的元件識(shí)別和講解說(shuō)明
- 4.28 MB | 18次下載 | 4 積分
- 5開關(guān)電源原理及各功能電路詳解
- 0.38 MB | 10次下載 | 免費(fèi)
- 6基于AT89C2051/4051單片機(jī)編程器的實(shí)驗(yàn)
- 0.11 MB | 4次下載 | 免費(fèi)
- 7基于單片機(jī)和 SG3525的程控開關(guān)電源設(shè)計(jì)
- 0.23 MB | 3次下載 | 免費(fèi)
- 8基于單片機(jī)的紅外風(fēng)扇遙控
- 0.23 MB | 3次下載 | 免費(fèi)
本月
- 1OrCAD10.5下載OrCAD10.5中文版軟件
- 0.00 MB | 234313次下載 | 免費(fèi)
- 2PADS 9.0 2009最新版 -下載
- 0.00 MB | 66304次下載 | 免費(fèi)
- 3protel99下載protel99軟件下載(中文版)
- 0.00 MB | 51209次下載 | 免費(fèi)
- 4LabView 8.0 專業(yè)版下載 (3CD完整版)
- 0.00 MB | 51043次下載 | 免費(fèi)
- 5555集成電路應(yīng)用800例(新編版)
- 0.00 MB | 33562次下載 | 免費(fèi)
- 6接口電路圖大全
- 未知 | 30320次下載 | 免費(fèi)
- 7Multisim 10下載Multisim 10 中文版
- 0.00 MB | 28588次下載 | 免費(fèi)
- 8開關(guān)電源設(shè)計(jì)實(shí)例指南
- 未知 | 21539次下載 | 免費(fèi)
總榜
- 1matlab軟件下載入口
- 未知 | 935053次下載 | 免費(fèi)
- 2protel99se軟件下載(可英文版轉(zhuǎn)中文版)
- 78.1 MB | 537791次下載 | 免費(fèi)
- 3MATLAB 7.1 下載 (含軟件介紹)
- 未知 | 420026次下載 | 免費(fèi)
- 4OrCAD10.5下載OrCAD10.5中文版軟件
- 0.00 MB | 234313次下載 | 免費(fèi)
- 5Altium DXP2002下載入口
- 未知 | 233046次下載 | 免費(fèi)
- 6電路仿真軟件multisim 10.0免費(fèi)下載
- 340992 | 191183次下載 | 免費(fèi)
- 7十天學(xué)會(huì)AVR單片機(jī)與C語(yǔ)言視頻教程 下載
- 158M | 183277次下載 | 免費(fèi)
- 8proe5.0野火版下載(中文版免費(fèi)下載)
- 未知 | 138039次下載 | 免費(fèi)
工商網(wǎng)監(jiān)
評(píng)論