2024年8月31日
星期六
|
欢迎来到南京江宁区图书馆•公共文化服务平台
登录
|
注册
|
进入后台
[
APP下载]
[
APP下载]
扫一扫,既下载
全民阅读
职业技能
专家智库
参考咨询
您的位置:
专家智库
>
>
雷炜
作品数:
3
被引量:4
H指数:1
供职机构:
广东工业大学
更多>>
发文基金:
广东省教育部产学研结合项目
国家科技支撑计划
更多>>
相关领域:
自动化与计算机技术
更多>>
合作作者
欧毓毅
广东工业大学计算机学院
作品列表
供职机构
相关作者
所获基金
研究领域
题名
作者
机构
关键词
文摘
任意字段
作者
题名
机构
关键词
文摘
任意字段
在结果中检索
文献类型
2篇
期刊文章
1篇
学位论文
领域
3篇
自动化与计算...
主题
3篇
安全测试
2篇
FSM
1篇
时序逻辑
1篇
树模型
1篇
状态机
1篇
状态机模型
1篇
故障树
1篇
故障树模型
1篇
安全性
1篇
安全性测试
1篇
FTA
机构
3篇
广东工业大学
作者
3篇
雷炜
2篇
欧毓毅
传媒
1篇
计算机应用与...
1篇
现代计算机(...
年份
1篇
2013
2篇
2012
共
3
条 记 录,以下是 1-3
全选
清除
导出
排序方式:
相关度排序
被引量排序
时效排序
基于故障注入的安全测试方法综述
被引量:4
2012年
软件安全测试是指有关验证软件安全等级和识别潜在安全性缺陷的过程,是保证软件安全性的重要手段,故障注入的安全性测试是软件安全性测试的一个很重要的方法,详细介绍模拟故障注入技术和原型故障注入技术的各种方法。
雷炜
欧毓毅
关键词:
安全性测试
基于FSM模型检验的安全测试技术研究
2012年
安全性、可靠性是计算机软硬件系统达到用户满意度的重要指标,为了保证其安全,在系统投入使用之前必须要经过严格的安全性测试。提出一种基于FSM(Finate State Machine)和FTA(fault tree analysis)的模型检测的形式化安全性测试方法来验证被测系统的安全性。该方法具有较高的通用性,能详细地分析软件模型可能出现的故障。
雷炜
欧毓毅
关键词:
FSM
基于FSM模型检验的安全测试技术研究
随着计算机技术的不断发展,计算机软硬件系统已经深入渗透到实际生活中的各个领域,若这些系统一旦出错,将给人类带来不可承受的损失,所以,安全问题已经逐渐成为人们的重点关注对象,但随着功能逐渐强大、设计日益复杂的发展,如何降低...
雷炜
关键词:
状态机模型
故障树模型
时序逻辑
全选
清除
导出
共1页
<
1
>
聚类工具
0
执行
隐藏
清空
用户登录
用户反馈
标题:
*标题长度不超过50
邮箱:
*
反馈意见:
反馈意见字数长度不超过255
验证码:
看不清楚?点击换一张