电子发烧友App
创作
发文章
发帖 
提问 
发资料
发视频资料介绍
本文回顾和讨论了形式化方法和测试威廉希尔官方网站
，以及形式规格说明可以用于测试用例生成、测试顺序确定的途径；并提出了将形式化方法和测试威廉希尔官方网站
应用于安全保密设备。
关键词 形式化方法；测试威廉希尔官方网站 ；安全保密设备
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
关键词 形式化方法；测试威廉希尔官方网站 ；安全保密设备
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
下载该资料的人也在下载
下载该资料的人还在阅读
更多 >
- 无人机无线通信协议的形式化认证综述 9次下载
- 基于定理证明其的有限域及其形式化研究 1次下载
- 如何使用一种形式化方法的3D虚拟祭祀场景建模语言与环境 9次下载
- 软件形式化开发的水波优化方法 0次下载
- Web服务系统的形式化的语义模型 0次下载
- 通信协议形式化模型的研究 0次下载
- 操作系统汇编级形式化设计和验证方法 1次下载
- 一种形式化的学习过程建模_钟伟平 0次下载
- 一种服务网络拓扑结构的形式化描述方法_陈鹏 2次下载
- 基于Petri网的安全协议形式化描述和安全性验证 18次下载
- 基于Petri网的安全协议形式化分析 29次下载
- 基于Spin的Rdt2.2及其改进的形式化分析
- 一种快速安全认证协议及其形式化分析
- 隐标识身份认证方法及其形式化语义分析
- 可视化的安全策略形式化描述与验证系统
- 芯片失效分析中常见的测试设备及其特点 360次阅读
- 机器视觉威廉希尔官方网站 在工业自动化中的应用 466次阅读
- 继电器的常见封装形式及其特点 1728次阅读
- 网络安全渗透测试的7种主要类型 1406次阅读
- 芯片开发中形式化验证的是一个误区 1753次阅读
- 形式化建模（一） 1198次阅读
- 在SpinalHDL中的对应关系及声明形式 1412次阅读
- Python中参数化测试的实现思路解析 620次阅读
- 软件测试的方法有哪些有什么的规范 8621次阅读
- 在贴片加工厂中有哪些安全防护需要了解 1306次阅读
- 工控系统的安全现状和存在的问题及思想和形式说明 8127次阅读
- 一文看懂软件测试方法和规范 7098次阅读
- 蓝牙BR/EDR测试的测试指标及其测试方法 9.6w次阅读
- WEB测试环境搭建和测试方法 1.8w次阅读
- 基于在线分析仪器的测试方法与测试威廉希尔官方网站 1570次阅读
上传资料赚积分下载排行
本周
- 1电子电路原理第七版PDF电子教材免费下载
- 0.00 MB | 1490次下载 | 免费
- 2单片机典型实例介绍
- 18.19 MB | 93次下载 | 1 积分
- 3S7-200PLC编程实例详细资料
- 1.17 MB | 27次下载 | 1 积分
- 4笔记本电脑主板的元件识别和讲解说明
- 4.28 MB | 18次下载 | 4 积分
- 5开关电源原理及各功能电路详解
- 0.38 MB | 10次下载 | 免费
- 6基于AT89C2051/4051单片机编程器的实验
- 0.11 MB | 4次下载 | 免费
- 7基于单片机和 SG3525的程控开关电源设计
- 0.23 MB | 3次下载 | 免费
- 8基于单片机的红外风扇遥控
- 0.23 MB | 3次下载 | 免费
本月
- 1OrCAD10.5下载OrCAD10.5中文版软件
- 0.00 MB | 234313次下载 | 免费
- 2PADS 9.0 2009最新版 -下载
- 0.00 MB | 66304次下载 | 免费
- 3protel99下载protel99软件下载(中文版)
- 0.00 MB | 51209次下载 | 免费
- 4LabView 8.0 专业版下载 (3CD完整版)
- 0.00 MB | 51043次下载 | 免费
- 5555集成电路应用800例(新编版)
- 0.00 MB | 33562次下载 | 免费
- 6接口电路图大全
- 未知 | 30320次下载 | 免费
- 7Multisim 10下载Multisim 10 中文版
- 0.00 MB | 28588次下载 | 免费
- 8开关电源设计实例指南
- 未知 | 21539次下载 | 免费
总榜
- 1matlab软件下载入口
- 未知 | 935053次下载 | 免费
- 2protel99se软件下载(可英文版转中文版)
- 78.1 MB | 537791次下载 | 免费
- 3MATLAB 7.1 下载 (含软件介绍)
- 未知 | 420026次下载 | 免费
- 4OrCAD10.5下载OrCAD10.5中文版软件
- 0.00 MB | 234313次下载 | 免费
- 5Altium DXP2002下载入口
- 未知 | 233046次下载 | 免费
- 6电路仿真软件multisim 10.0免费下载
- 340992 | 191183次下载 | 免费
- 7十天学会AVR单片机与C语言视频教程 下载
- 158M | 183277次下载 | 免费
- 8proe5.0野火版下载(中文版免费下载)
- 未知 | 138039次下载 | 免费
工商网监
评论