资料介绍
本文回顾和讨论了形式化方法和测试技术,以及形式规格说明可以用于测试用例生成、测试顺序确定的途径;并提出了将形式化方法和测试技术应用于安全保密设备。
关键词 形式化方法;测试技术;安全保密设备
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次阅读
下载排行
本周
- 1HFSS电磁仿真设计应用详解PDF电子教程免费下载
- 24.30 MB | 126次下载 | 1 积分
- 2H桥中的电流感测
- 545.39KB | 7次下载 | 免费
- 3雷达的基本分类方法
- 1.25 MB | 4次下载 | 4 积分
- 4I3C–下一代串行通信接口
- 608.47KB | 3次下载 | 免费
- 5电感技术讲解
- 827.73 KB | 2次下载 | 免费
- 6从 MSP430™ MCU 到 MSPM0 MCU 的迁移指南
- 1.17MB | 2次下载 | 免费
- 7有源低通滤波器设计应用说明
- 1.12MB | 2次下载 | 免费
- 8RA-Eco-RA2E1-48PIN-V1.0开发板资料
- 35.59 MB | 2次下载 | 免费
本月
- 12024年工控与通信行业上游发展趋势和热点解读
- 2.61 MB | 763次下载 | 免费
- 2HFSS电磁仿真设计应用详解PDF电子教程免费下载
- 24.30 MB | 126次下载 | 1 积分
- 3继电保护原理
- 2.80 MB | 36次下载 | 免费
- 4正激、反激、推挽、全桥、半桥区别和特点
- 0.91 MB | 32次下载 | 1 积分
- 5labview实现DBC在界面加载配置
- 0.57 MB | 21次下载 | 5 积分
- 6在设计中使用MOSFET瞬态热阻抗曲线
- 1.57MB | 15次下载 | 免费
- 7GBT 4706.1-2024家用和类似用途电器的安全第1部分:通用要求
- 7.43 MB | 13次下载 | 免费
- 8PADS-3D库文件
- 2.70 MB | 10次下载 | 2 积分
总榜
- 1matlab软件下载入口
- 未知 | 935113次下载 | 10 积分
- 2开源硬件-PMP21529.1-4 开关降压/升压双向直流/直流转换器 PCB layout 设计
- 1.48MB | 420061次下载 | 10 积分
- 3Altium DXP2002下载入口
- 未知 | 233084次下载 | 10 积分
- 4电路仿真软件multisim 10.0免费下载
- 340992 | 191360次下载 | 10 积分
- 5十天学会AVR单片机与C语言视频教程 下载
- 158M | 183329次下载 | 10 积分
- 6labview8.5下载
- 未知 | 81578次下载 | 10 积分
- 7Keil工具MDK-Arm免费下载
- 0.02 MB | 73804次下载 | 10 积分
- 8LabVIEW 8.6下载
- 未知 | 65985次下载 | 10 积分
评论